CIRCT 21.0.0git
|
#include "circt/Dialect/HW/HWDialect.h"
#include "circt/Dialect/SV/SVDialect.h"
#include "mlir/Pass/Pass.h"
#include "mlir/Pass/PassRegistry.h"
#include <memory>
#include "circt/Dialect/Verif/Passes.h.inc"
Go to the source code of this file.
Namespaces | |
namespace | circt |
The InstanceGraph op interface, see InstanceGraphInterface.td for more details. | |
namespace | circt::verif |
Macros | |
#define | GEN_PASS_DECL |
#define | GEN_PASS_REGISTRATION |
Enumerations | |
enum class | circt::verif::SymbolicValueLowering { circt::verif::ExtModule , circt::verif::Yosys } |
Ways to lower symbolic values. More... | |
Functions | |
static llvm::cl::ValuesClass | circt::verif::symbolicValueLoweringCLValues () |
Construct the command line options to pick one of the symbolic value lowerings. | |
#define GEN_PASS_DECL |
Definition at line 46 of file VerifPasses.h.
#define GEN_PASS_REGISTRATION |
Definition at line 47 of file VerifPasses.h.