14#ifndef CIRCT_CONVERSION_VERIFTOSV_H
15#define CIRCT_CONVERSION_VERIFTOSV_H
22#define GEN_PASS_DECL_LOWERVERIFTOSV
23#include "circt/Conversion/Passes.h.inc"
The InstanceGraph op interface, see InstanceGraphInterface.td for more details.
std::unique_ptr< OperationPass< hw::HWModuleOp > > createLowerVerifToSVPass()
Create the Verif to SV conversion pass.