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

The class for converting an abstraction from the synthesis engine to an ILA model. More...

#include <abst_to_ila.h>

Public Types

typedef std::shared_ptr< SynthAbsConverterSynthAbsConverterPtr
 Pointer type for normal use of SynAbsConverter.
 

Public Member Functions

 SynthAbsConverter ()
 Default constructor.
 
 ~SynthAbsConverter ()
 Default destructor.
 
InstrLvlAbsPtr Convert (const ilasynth::Abstraction &abs)
 Convert an abstraction from the synthesis engine to an ILA model. More...
 
void Port (const ilasynth::Abstraction &abs, const InstrLvlAbsPtr &ila)
 Convert an abstraction from the synthesis engine on top of an ILA. More...
 
ExprPtr ConvertSynthNodeToIlangExpr (const ilasynth::nptr_t &node, const InstrLvlAbsPtr &ila)
 Convert a node from the synthesis engine to an expression in ILA. More...
 

Static Public Member Functions

static SynthAbsConverterPtr New ()
 Create a new SynthAbsConverter. Used for hiding implementation specific type details.
 

Detailed Description

The class for converting an abstraction from the synthesis engine to an ILA model.

Member Function Documentation

◆ Convert()

InstrLvlAbsPtr ilang::SynthAbsConverter::Convert ( const ilasynth::Abstraction &  abs)

Convert an abstraction from the synthesis engine to an ILA model.

Parameters
[in]absthe abstraction model from the synthesis engine.
Returns
pointer to the converted ILA model.

◆ ConvertSynthNodeToIlangExpr()

ExprPtr ilang::SynthAbsConverter::ConvertSynthNodeToIlangExpr ( const ilasynth::nptr_t &  node,
const InstrLvlAbsPtr ila 
)

Convert a node from the synthesis engine to an expression in ILA.

Parameters
[in]nodethe node pointer from the synthesis engine.
[in]ilathe host ILA model.
Returns
pointer to the converted expression.

◆ Port()

void ilang::SynthAbsConverter::Port ( const ilasynth::Abstraction &  abs,
const InstrLvlAbsPtr ila 
)

Convert an abstraction from the synthesis engine on top of an ILA.

Parameters
[in]absthe abstraction model from the synthesis engine.
[in]ilathe destination ILA to which abs will be ported.

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