Class | Description |
---|---|
CfgAssertBackend |
Backend for the HDL parser that substitutes assert nodes by the equivalent statements.
|
CfgBlockSeqBackend |
The control flow graph model visitor that transforms sequences of basic block nodes.
|
CfgEmptyCaseBackend |
Parser backend that merges empty case statements of one switch statement.
|
CfgEventListToNodeBackend |
Backend for the HDL parser that transforms processes' event lists
EventList
into top level CfgSwitchStatement switch statements. |
CfgInitialProcessBackend |
HDL parser backend that removes initial processes from model but keeps their data.
|
CfgLoopBackend |
The control flow graph model visitor that detects loops or cycles and transforms them.
|
CfgOneBlockProcessBackend |
Backend for
HdlParser engine
that detects one-basic-block processes and transforms them. |
CfgRangedSwitchBackend |
Parser backend that transforms sequences of switch statements with ranged variables in
conditions.
|
CfgStatisticBackend |
Backend for the HDL parser that gathers statistic information
about the module under consideration.
|
CfgSwitchSequenceBackend |
Control flow graph model visitor that detects and transforms sequences of switch nodes.
|
CfgVarRangeBlockBackend |
Parser backend that transforms assignments with variable ranges into control flow
sub-graphs that contain assignments with constant ranges only.
|
CfgWaitBackend |
Control flow graph model visitor that detects and transforms wait nodes.
|