circt.stage.phases

Phase that adds an OutputFileAnnotation if one does not already exist.

To determine the OutputFileAnnotation, the following precedence is used. Whichever happens first succeeds:

• Do nothing if an OutputFileAnnotation "--split-verilog" was specified
• Use the main in the first discovered FirrtlCircuitAnnotation (see note below)
• Use "a"

A phase that calls and runs CIRCT, specifically firtool, while preserving an AnnotationSeq API.

Check properties of an firrtl.AnnotationSeq! to look for errors before running CIRCT.