CIRCT
21.0.0git
Loading...
Searching...
No Matches
include
circt
Conversion
VerifToSMT.h
Go to the documentation of this file.
1
//===- VerifToSMT.h - Verif to SMT dialect conversion -----------*- C++ -*-===//
2
//
3
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4
// See https://llvm.org/LICENSE.txt for license information.
5
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6
//
7
//===----------------------------------------------------------------------===//
8
9
#ifndef CIRCT_CONVERSION_VERIFTOSMT_H
10
#define CIRCT_CONVERSION_VERIFTOSMT_H
11
12
#include "
circt/Support/LLVM.h
"
13
#include <memory>
14
15
namespace
circt
{
16
class
Namespace;
17
18
#define GEN_PASS_DECL_CONVERTVERIFTOSMT
19
#include "circt/Conversion/Passes.h.inc"
20
21
/// Get the Verif to SMT conversion patterns.
22
void
populateVerifToSMTConversionPatterns
(TypeConverter &converter,
23
RewritePatternSet &
patterns
,
24
Namespace &names,
25
bool
risingClocksOnly);
26
27
}
// namespace circt
28
29
#endif
// CIRCT_CONVERSION_VERIFTOSMT_H
LLVM.h
circt
The InstanceGraph op interface, see InstanceGraphInterface.td for more details.
Definition
DebugAnalysis.h:21
circt::populateVerifToSMTConversionPatterns
void populateVerifToSMTConversionPatterns(TypeConverter &converter, RewritePatternSet &patterns, Namespace &names, bool risingClocksOnly)
Get the Verif to SMT conversion patterns.
Definition
VerifToSMT.cpp:506
patterns
Definition
LTLFolds.cpp:45
Generated on Mon Jun 23 2025 00:10:38 for CIRCT by
1.9.8