CIRCT
20.0.0git
|
Go to the source code of this file.
Namespaces | |
circt | |
The InstanceGraph op interface, see InstanceGraphInterface.td for more details. | |
Macros | |
#define | GEN_PASS_DECL_CONVERTHWTOSMT |
Functions | |
void | circt::populateHWToSMTConversionPatterns (TypeConverter &converter, RewritePatternSet &patterns) |
Get the HW to SMT conversion patterns. More... | |
void | circt::populateHWToSMTTypeConverter (TypeConverter &converter) |
Get the HW to SMT type conversions. More... | |