circt::verif Namespace Reference

Classes
class	Visitor

Enumerations
enum class	SymbolicValueLowering { ExtModule , Yosys }
	Ways to lower symbolic values. More...

Functions
static llvm::cl::ValuesClass	symbolicValueLoweringCLValues ()
	Construct the command line options to pick one of the symbolic value lowerings.

Enumeration Type Documentation

SymbolicValueLowering

enum class circt::verif::SymbolicValueLowering

strong

Ways to lower symbolic values.

Enumerator
ExtModule	Lower to instances of an external module.
Yosys	Lower to wire declarations with a (* anyseq *) attribute.

Definition at line 29 of file VerifPasses.h.

Function Documentation

symbolicValueLoweringCLValues()

static llvm::cl::ValuesClass circt::verif::symbolicValueLoweringCLValues ( )

inlinestatic

Construct the command line options to pick one of the symbolic value lowerings.

Definition at line 38 of file VerifPasses.h.

References ExtModule, and Yosys.