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.
|
CfgLoopBackend |
The control flow graph model visitor that detects loops or cycles and transforms them.
|
CfgOneBlockProcessBackend |
Control flow graph model visitor that detects one-basic-block processes and transforms them.
|
CfgRangedSwitchBackend |
Parser backend that transforms sequences of switch statements with ranged variables in
conditions.
|
CfgSwitchSequenceBackend |
Control flow graph model visitor that detects and transforms sequences of switch nodes.
|
CfgWaitBackend |
Control flow graph model visitor that detects and transforms wait nodes.
|