14 #ifndef CIRCT_CONVERSION_HWTOBTOR2_H
15 #define CIRCT_CONVERSION_HWTOBTOR2_H
17 #include "mlir/IR/BuiltinOps.h"
18 #include "mlir/Pass/Pass.h"
26 #define GEN_PASS_DECL_CONVERTHWTOBTOR2
27 #include "circt/Conversion/Passes.h.inc"
The InstanceGraph op interface, see InstanceGraphInterface.td for more details.
std::unique_ptr< mlir::Pass > createConvertHWToBTOR2Pass(llvm::raw_ostream &os)