9 #ifndef CIRCT_CONVERSION_VERIFTOSMT_H
10 #define CIRCT_CONVERSION_VERIFTOSMT_H
21 #define GEN_PASS_DECL_CONVERTVERIFTOSMT
22 #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.