#include "circt/Dialect/Comb/CombOps.h"#include "circt/Dialect/HW/HWOps.h"#include "circt/Dialect/Synth/SynthOps.h"#include "circt/Dialect/Synth/Transforms/SynthPasses.h"#include "circt/Support/SATSolver.h"#include "circt/Support/TruthTable.h"#include "mlir/IR/Builders.h"#include "mlir/IR/OperationSupport.h"#include "mlir/IR/PatternMatch.h"#include "mlir/Transforms/WalkPatternRewriteDriver.h"#include "llvm/ADT/ArrayRef.h"#include "llvm/ADT/STLExtras.h"#include "llvm/ADT/SmallVector.h"#include "llvm/Support/DebugLog.h"#include <array>#include <optional>#include <string>#include "circt/Dialect/Synth/Transforms/SynthPasses.h.inc"
Include dependency graph for ExactSynthesis.cpp:
Go to the source code of this file.
Namespaces | |
| namespace | circt |
| The InstanceGraph op interface, see InstanceGraphInterface.td for more details. | |
| namespace | circt::synth |
Macros | |
| #define | GEN_PASS_DEF_EXACTSYNTHESIS |
| #define | DEBUG_TYPE "synth-exact-synthesis" |
Macro Definition Documentation
◆ DEBUG_TYPE
| #define DEBUG_TYPE "synth-exact-synthesis" |
Definition at line 46 of file ExactSynthesis.cpp.
◆ GEN_PASS_DEF_EXACTSYNTHESIS
| #define GEN_PASS_DEF_EXACTSYNTHESIS |
Definition at line 37 of file ExactSynthesis.cpp.
