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

Function object for flatten ILA tree. There is currently a problem: this func obj calls duplInst which in turn uses rewriteExpr and rewriteExpr does not change the host of of state variables, so the flatten expression still has the host pointed to their original ILA. This is fine for Verilog Gen, which only depends on variable names to generate variables but may not be good enough for other purpose. More...

#include <rewrite_ila.h>

Public Types

typedef CnstIlaMap IlaMap
 Type for storing ILA to ILA mapping.
 
typedef std::stack< ExprPtrValidCondStack
 

Public Member Functions

 FuncObjFlatIla (const InstrLvlAbsCnstPtr &top_, const IlaMap &ila_map, const ExprMap &expr_map)
 Constructor.
 
bool pre (const InstrLvlAbsCnstPtr src)
 Pre-processing: create new ILA based on the given source.
 
void post (const InstrLvlAbsCnstPtr src)
 Nothing.
 

Detailed Description

Function object for flatten ILA tree. There is currently a problem: this func obj calls duplInst which in turn uses rewriteExpr and rewriteExpr does not change the host of of state variables, so the flatten expression still has the host pointed to their original ILA. This is fine for Verilog Gen, which only depends on variable names to generate variables but may not be good enough for other purpose.


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