ilang  0.9.1
ILAng: A Modeling and Verification Platform for SoCs
Public Member Functions | List of all members
ilang::InstrRef Class Reference

The wrapper of Instr (instruction). More...

#include <ilang++.h>

Public Member Functions

 InstrRef (InstrPtr ptr)
 Constructor with the pointer of the actual data.
 
 ~InstrRef ()
 Default destructor.
 
void SetDecode (const ExprRef &decode)
 Set the decode function of the instruction. More...
 
void SetUpdate (const ExprRef &state, const ExprRef &update)
 Set the update function of the given state variable. More...
 
void SetProgram (const Ila &prog)
 Set the child-program of the instruction. More...
 
ExprRef GetDecode () const
 Get the decode function of the instruction. More...
 
ExprRef GetUpdate (const ExprRef &state) const
 Set the update function of the given state variable. More...
 
void ExportToVerilog (std::ostream &fout) const
 Export instruction without child-program as Verilog. More...
 
void ExportToVerilogWithChild (std::ostream &fout) const
 Export instruction with the child-program as Verilog. More...
 
InstrPtr get () const
 Return the wrapped ILA pointer.
 

Detailed Description

The wrapper of Instr (instruction).

Member Function Documentation

◆ ExportToVerilog()

void ilang::InstrRef::ExportToVerilog ( std::ostream &  fout) const

Export instruction without child-program as Verilog.

Parameters
[in]filenamethe file name of the generated Verilog source

◆ ExportToVerilogWithChild()

void ilang::InstrRef::ExportToVerilogWithChild ( std::ostream &  fout) const

Export instruction with the child-program as Verilog.

Parameters
[in]filenamethe file name of the generated Verilog source

◆ GetDecode()

ExprRef ilang::InstrRef::GetDecode ( ) const

Get the decode function of the instruction.

Returns
the decode function wrapped in Expression reference.

◆ GetUpdate()

ExprRef ilang::InstrRef::GetUpdate ( const ExprRef state) const

Set the update function of the given state variable.

Parameters
[in]statethe state variable to set.
Returns
the update function.

◆ SetDecode()

void ilang::InstrRef::SetDecode ( const ExprRef decode)

Set the decode function of the instruction.

Parameters
[in]decodethe Boolean typed decode function.

◆ SetProgram()

void ilang::InstrRef::SetProgram ( const Ila prog)

Set the child-program of the instruction.

Parameters
[in]progthe child-ILA representing the child-program.

◆ SetUpdate()

void ilang::InstrRef::SetUpdate ( const ExprRef state,
const ExprRef update 
)

Set the update function of the given state variable.

Parameters
[in]statethe state variable to set.
[in]updatethe update function (should be the same type as state).

The documentation for this class was generated from the following file: