Class | Description |
---|---|
CfgBasicBlockSequenceBackend |
This backend merges
BasicBlock basic block nodes,
following each other (i.e. |
CfgConcurrentBasicBlockBackend |
This backend transforms basic block
BasicBlock nodes
of concurrent (non-blocking) type into basic blocks of non-concurrent (blocking) type. |
CfgLoopBackend |
This backend detects loops or cycles in
Cfg
control flow graphs and transforms them into acyclic graphs. |
CfgMergeSequenceBackend |
This backend merges
Merge nodes,
following each other (i.e. |
CfgOneAssignmentProcessBackend |
This backend merges
Process processes,
which contain only one BasicBlock basic block node
of concurrent type, with only one Assignment assignment,
and equal EventList event lists. |
CfgSwitchSequenceBackend |
HDL parser backend that optimises sequences
of control flow graph model
Switch switch nodes. |
CfgWaitBackend |