9 #ifndef CIRCT_CONVERSION_VERIFTOSMT_H
10 #define CIRCT_CONVERSION_VERIFTOSMT_H
17 #define GEN_PASS_DECL_CONVERTVERIFTOSMT
18 #include "circt/Conversion/Passes.h.inc"
The InstanceGraph op interface, see InstanceGraphInterface.td for more details.
void populateVerifToSMTConversionPatterns(TypeConverter &converter, RewritePatternSet &patterns)
Get the Verif to SMT conversion patterns.