CIRCT  19.0.0git
Classes | Functions
circt::verif Namespace Reference

Classes

class  Visitor
 

Functions

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

Function Documentation

◆ createVerifyClockedAssertLikePass()

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