9 #ifndef CIRCT_CONVERSION_HWTOSMT_H
10 #define CIRCT_CONVERSION_HWTOSMT_H
24 #define GEN_PASS_DECL_CONVERTHWTOSMT
25 #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.