CheckCombLoops
Related Doc:
package passes
Perform the transform, encode renaming with RenameMap, and can delete annotations Called by runTransform.
Perform the transform, encode renaming with RenameMap, and can delete annotations Called by runTransform.
Input Firrtl AST
A transformed Firrtl AST
Convenience method to get annotations relevant to this Transform
Convenience method to get annotations relevant to this Transform
The CircuitState form which to extract annotations
A collection of annotations
The CircuitForm that this transform requires to operate on
The CircuitForm that this transform requires to operate on
A convenience function useful for debugging and error messages
A convenience function useful for debugging and error messages
The CircuitForm that this transform outputs
The CircuitForm that this transform outputs
Perform the transform and update annotations.
Perform the transform and update annotations.
Input Firrtl AST
A transformed Firrtl AST
Finds and detects combinational logic loops in a circuit, if any exist. Returns the input circuit with no modifications.
aCombLoopException if a loop is foundThe pass will throw exceptions on "false paths"
,The pass cannot find loops that pass through ExtModules
,The pass looks for loops through combinational-read memories
,Output form: Low FIRRTL (identity transform)
,Input form: Low FIRRTL