circt::verif Namespace Reference

Classes
class	Visitor

Functions
std::unique_ptr< mlir::Pass >	createVerifyClockedAssertLikePass ()
std::unique_ptr< mlir::Pass >	createPrepareForFormalPass ()

Function Documentation

createPrepareForFormalPass()

std::unique_ptr< mlir::Pass > circt::verif::createPrepareForFormalPass

(

)

Definition at line 75 of file PrepareForFormal.cpp.

Referenced by circt::firtool::populateHWToBTOR2().

createVerifyClockedAssertLikePass()

std::unique_ptr< mlir::Pass > circt::verif::createVerifyClockedAssertLikePass

(

)

Definition at line 108 of file VerifyClockedAssertLike.cpp.

Referenced by circt::firtool::populateLowFIRRTLToHW(), and detail::populatePrepareForExportVerilog().