CIRCT 20.0.0git
|
Go to the source code of this file.
Namespaces | |
namespace | 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. | |
void | circt::populateHWToSMTTypeConverter (TypeConverter &converter) |
Get the HW to SMT type conversions. | |