ilang
1.1.4
ILAng: A Modeling and Verification Platform for SoCs
|
Go to the source code of this file.
Namespaces | |
ilang | |
Functions | |
InstrLvlAbsPtr | ilang::ImportSynthAbsFromFile (const std::string &file_name, const std::string &ila_name="") |
Import from file the abstraction from the synthesis engine and convert it into an ILA model. More... | |
InstrLvlAbsPtr | ilang::ImportSynthAbsFromFileHier (const std::string &file_name, const InstrLvlAbsPtr &parent, const std::string &ila_name="") |
Import from file the abstraction from the synthesis engine and convert it into a child-ILA of the specified parent ILA. More... | |
Elevated interface for the synthesis engine.