Options for the synth optimization pipeline. More...
#include <SynthesisPipeline.h>
Inheritance diagram for circt::synth::SynthOptimizationPipelineOptions:
Collaboration diagram for circt::synth::SynthOptimizationPipelineOptions:
Public Attributes | |
| PassOptions::ListOption< std::string > | abcCommands |
| PassOptions::Option< std::string > | abcPath |
| PassOptions::Option< bool > | ignoreAbcFailures |
| PassOptions::Option< bool > | disableWordToBits |
| PassOptions::Option< bool > | disableSOPBalancing |
| PassOptions::Option< bool > | disableFunctionalReduction |
| PassOptions::Option< int64_t > | functionalReductionConflictLimit |
| PassOptions::Option< bool > | timingAware |
Detailed Description
Options for the synth optimization pipeline.
Definition at line 49 of file SynthesisPipeline.h.
Member Data Documentation
◆ abcCommands
| PassOptions::ListOption<std::string> circt::synth::SynthOptimizationPipelineOptions::abcCommands |
Initial value:
{
*this, "abc-commands", llvm::cl::desc("ABC passes to run")}
Definition at line 51 of file SynthesisPipeline.h.
◆ abcPath
| PassOptions::Option<std::string> circt::synth::SynthOptimizationPipelineOptions::abcPath |
Initial value:
{
*this, "abc-path", llvm::cl::desc("Path to ABC"), llvm::cl::init("abc")}
Definition at line 54 of file SynthesisPipeline.h.
◆ disableFunctionalReduction
| PassOptions::Option<bool> circt::synth::SynthOptimizationPipelineOptions::disableFunctionalReduction |
Initial value:
{
*this, "disable-functional-reduction",
llvm::cl::desc("Disable FunctionalReduction pass"),
llvm::cl::init(false)}
Definition at line 70 of file SynthesisPipeline.h.
◆ disableSOPBalancing
| PassOptions::Option<bool> circt::synth::SynthOptimizationPipelineOptions::disableSOPBalancing |
Initial value:
{
*this, "disable-sop-balancing",
llvm::cl::desc("Disable SOPBalancing pass"), llvm::cl::init(true)}
Definition at line 66 of file SynthesisPipeline.h.
◆ disableWordToBits
| PassOptions::Option<bool> circt::synth::SynthOptimizationPipelineOptions::disableWordToBits |
Initial value:
{
*this, "disable-word-to-bits",
llvm::cl::desc("Disable LowerWordToBits pass"), llvm::cl::init(false)}
Definition at line 62 of file SynthesisPipeline.h.
◆ functionalReductionConflictLimit
| PassOptions::Option<int64_t> circt::synth::SynthOptimizationPipelineOptions::functionalReductionConflictLimit |
Initial value:
{
*this, "functional-reduction-conflict-limit",
llvm::cl::desc("Per-SAT-call conflict budget for FunctionalReduction. "
"-1 disables the limit."),
llvm::cl::init(100)}
Definition at line 75 of file SynthesisPipeline.h.
◆ ignoreAbcFailures
| PassOptions::Option<bool> circt::synth::SynthOptimizationPipelineOptions::ignoreAbcFailures |
Initial value:
{
*this, "ignore-abc-failures",
llvm::cl::desc("Continue on ABC failure instead of aborting"),
llvm::cl::init(false)}
Definition at line 57 of file SynthesisPipeline.h.
◆ timingAware
| PassOptions::Option<bool> circt::synth::SynthOptimizationPipelineOptions::timingAware |
Initial value:
{
*this, "timing-aware",
llvm::cl::desc("Lower operators in a timing-aware fashion"),
llvm::cl::init(false)}
Definition at line 81 of file SynthesisPipeline.h.
The documentation for this struct was generated from the following file:
- /home/runner/work/circt-www/circt-www/circt_src/include/circt/Dialect/Synth/Transforms/SynthesisPipeline.h
