9 #ifndef CIRCT_CONVERSION_HWTOSMT_H
10 #define CIRCT_CONVERSION_HWTOSMT_H
17 #define GEN_PASS_DECL_CONVERTHWTOSMT
18 #include "circt/Conversion/Passes.h.inc"
The InstanceGraph op interface, see InstanceGraphInterface.td for more details.
void populateHWToSMTConversionPatterns(TypeConverter &converter, RewritePatternSet &patterns)
Get the HW to SMT conversion patterns.
void populateHWToSMTTypeConverter(TypeConverter &converter)
Get the HW to SMT type conversions.