CIRCT  19.0.0git
Functions
LTLToCore.cpp File Reference
#include "circt/Conversion/LTLToCore.h"
#include "../PassDetail.h"
#include "circt/Conversion/HWToSV.h"
#include "circt/Dialect/Comb/CombOps.h"
#include "circt/Dialect/HW/HWOps.h"
#include "circt/Dialect/LTL/LTLDialect.h"
#include "circt/Dialect/LTL/LTLOps.h"
#include "circt/Dialect/SV/SVDialect.h"
#include "circt/Dialect/SV/SVOps.h"
#include "circt/Dialect/Seq/SeqOps.h"
#include "circt/Dialect/Verif/VerifOps.h"
#include "circt/Support/BackedgeBuilder.h"
#include "circt/Support/Namespace.h"
#include "mlir/Dialect/Func/IR/FuncOps.h"
#include "mlir/Dialect/LLVMIR/LLVMDialect.h"
#include "mlir/Dialect/SCF/IR/SCF.h"
#include "mlir/Transforms/DialectConversion.h"
#include "llvm/Support/MathExtras.h"
Include dependency graph for LTLToCore.cpp:

Go to the source code of this file.

Functions

static sv::EventControl ltlToSVEventControl (ltl::ClockEdge ce)
 

Function Documentation

◆ ltlToSVEventControl()

static sv::EventControl ltlToSVEventControl ( ltl::ClockEdge  ce)
static

Definition at line 36 of file LTLToCore.cpp.