CIRCT
18.0.0git
|
Go to the source code of this file.
Namespaces | |
mlir | |
circt | |
This file defines an intermediate representation for circuits acting as an abstraction for constraints defined over an SMT's solver context. | |
Functions | |
std::unique_ptr< mlir::Pass > | circt::createLowerFIRRTLToHWPass (bool enableAnnotationWarning=false, bool emitChiselAssertsAsSVA=false, bool disableMemRandomization=false, bool disableRegRandomization=false) |
This is the pass constructor. More... | |