Class | Description |
---|---|
CfgAssertBackend |
Backend for the HDL parser that substitutes assert nodes by the equivalent statements.
|
CfgBasicBlockSequenceBackend |
The control flow graph model visitor that transforms sequences of basic block nodes.
|
CfgLoopBackend |
The control flow graph model visitor that detects loops or cycles and transforms them.
|
CfgOneAssignmentProcessBackend |
Control flow graph model visitor that detects one-basic-block processes and transforms them.
|
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.
|