|
CIRCT 24.0.0git
|
Set of options used to control the behavior of the firtool pipeline. More...
#include <Firtool.h>

Public Types | |
| enum | BuildMode { BuildModeDefault , BuildModeDebug , BuildModeRelease } |
| enum class | RandomKind { None , Mem , Reg , All } |
| enum class | DomainMode { Disable , Check , Infer , InferAll } |
Static Public Member Functions | |
| static constexpr std::optional< firrtl::InferDomainsMode > | toInferDomainsPassMode (DomainMode mode) |
| Convert the "domain mode" firtool option to a "firrtl::InferDomainsMode", the configuration for a pass. | |
| static RandomKind | mergeRandomKind (RandomKind current, RandomKind incoming) |
| Advance the disabled-randomization lattice. | |
Set of options used to control the behavior of the firtool pipeline.
|
strong |
|
strong |
| circt::firtool::FirtoolOptions::FirtoolOptions | ( | ) |
Definition at line 865 of file Firtool.cpp.
References addMuxPragmas, addVivadoRAMAddressConflictSynthesisBugWorkaround, blackBoxRootPath, buildMode, ckgEnableName, ckgInputName, ckgModuleName, ckgOutputName, ckgTestEnableName, clOptions, companionMode, dedupClasses, disableAggressiveMergeConnections, disableAnnotationsClassless, disableAnnotationsUnknown, disableLayerSink, disableOptimization, disableRandom, disableWireElimination, domainMode, emitAllBindFiles, emitSeparateAlwaysBlocks, enableAnnotationWarning, enableDebugInfo, exportModuleHierarchy, fixupEICGWrapper, ignoreReadEnableMem, inlineInputOnlyModules, lintStaticAsserts, lintXmrsInDesign, lowerAnnotationsNoRefTypePorts, lowerMemories, lowerToCore, noDedup, noViews, outputAnnotationFilename, outputFilename, preserveAggregate, preserveMode, probesToSignals, replSeqMem, replSeqMemFile, selectDefaultInstanceChoice, skippedDomains, stripDebugInfo, stripDomain, stripFirDebugInfo, symbolicValueLowering, vbToBV, verificationFlavor, and warnOnTruncation.
|
inline |
Definition at line 99 of file Firtool.h.
References blackBoxRootPath.
Referenced by circt::firtool::populateLowFIRRTLToHW().
|
inline |
Definition at line 112 of file Firtool.h.
References ckgEnableName, ckgInputName, ckgInstName, ckgModuleName, ckgOutputName, and ckgTestEnableName.
Referenced by circt::firtool::populateHWToSV().
|
inline |
Definition at line 108 of file Firtool.h.
References companionMode.
Referenced by circt::firtool::populateLowFIRRTLToHW().
|
inline |
Definition at line 183 of file Firtool.h.
References domainMode.
Referenced by circt::firtool::populateCHIRRTLToLowFIRRTL().
|
inline |
Definition at line 179 of file Firtool.h.
References emitAllBindFiles.
Referenced by circt::firtool::populateLowFIRRTLToHW().
|
inline |
Definition at line 175 of file Firtool.h.
References lintStaticAsserts.
Referenced by circt::firtool::populateLowFIRRTLToHW().
|
inline |
Definition at line 177 of file Firtool.h.
References lintXmrsInDesign.
Referenced by circt::firtool::populateLowFIRRTLToHW().
|
inline |
Definition at line 110 of file Firtool.h.
References noViews.
Referenced by circt::firtool::populateLowFIRRTLToHW().
|
inline |
Definition at line 101 of file Firtool.h.
References outputAnnotationFilename.
Referenced by circt::firtool::populateLowFIRRTLToHW().
|
inline |
Definition at line 98 of file Firtool.h.
References outputFilename.
Referenced by circt::firtool::populateLowFIRRTLToHW().
|
inline |
Definition at line 105 of file Firtool.h.
References preserveAggregate.
Referenced by circt::firtool::populateCHIRRTLToLowFIRRTL().
|
inline |
Definition at line 86 of file Firtool.h.
References buildMode, BuildModeDebug, BuildModeDefault, BuildModeRelease, circt::firrtl::PreserveValues::Named, circt::firrtl::PreserveValues::None, and preserveMode.
Referenced by circt::firtool::populateCHIRRTLToLowFIRRTL().
|
inline |
Definition at line 100 of file Firtool.h.
References replSeqMemFile.
Referenced by circt::firtool::populateCHIRRTLToLowFIRRTL().
|
inline |
Definition at line 187 of file Firtool.h.
References skippedDomains.
Referenced by circt::firtool::populateCHIRRTLToLowFIRRTL().
|
inline |
Definition at line 170 of file Firtool.h.
References symbolicValueLowering.
Referenced by circt::firtool::populateHWToSV().
|
inline |
Definition at line 156 of file Firtool.h.
References verificationFlavor.
Referenced by circt::firtool::populateLowFIRRTLToHW().
|
inline |
Definition at line 127 of file Firtool.h.
References outputFilename.
|
inline |
Definition at line 67 of file Firtool.h.
References All, and disableRandom.
Referenced by circt::firtool::populateCHIRRTLToLowFIRRTL(), and circt::firtool::populateHWToSV().
|
inline |
Definition at line 81 of file Firtool.h.
References disableRandom, and mergeRandomKind().
|
inlinestatic |
Advance the disabled-randomization lattice.
Calling this twice with the two individual kinds is equivalent to calling it once with All.
Definition at line 73 of file Firtool.h.
Referenced by mergeDisableRandom().
|
inline |
Definition at line 322 of file Firtool.h.
References addMuxPragmas.
|
inline |
Definition at line 338 of file Firtool.h.
References addVivadoRAMAddressConflictSynthesisBugWorkaround.
|
inline |
Definition at line 282 of file Firtool.h.
References blackBoxRootPath.
|
inline |
|
inline |
Definition at line 358 of file Firtool.h.
References ckgEnableName.
|
inline |
Definition at line 348 of file Firtool.h.
References ckgInputName.
|
inline |
Definition at line 343 of file Firtool.h.
References ckgModuleName.
|
inline |
Definition at line 353 of file Firtool.h.
References ckgOutputName.
|
inline |
Definition at line 363 of file Firtool.h.
References ckgTestEnableName.
|
inline |
Definition at line 117 of file Firtool.h.
References ckgEnableName, ckgInputName, ckgInstName, ckgModuleName, ckgOutputName, and ckgTestEnableName.
|
inline |
Definition at line 262 of file Firtool.h.
References companionMode.
|
inline |
Definition at line 210 of file Firtool.h.
References probesToSignals.
|
inline |
Definition at line 257 of file Firtool.h.
References dedupClasses.
|
inline |
Definition at line 272 of file Firtool.h.
References disableAggressiveMergeConnections.
|
inline |
Definition at line 200 of file Firtool.h.
References disableAnnotationsClassless.
|
inline |
Definition at line 388 of file Firtool.h.
References disableCSEinClasses.
|
inline |
Definition at line 237 of file Firtool.h.
References disableLayerSink.
|
inline |
Definition at line 242 of file Firtool.h.
References disableOptimization.
|
inline |
Definition at line 195 of file Firtool.h.
References disableAnnotationsUnknown.
|
inline |
Definition at line 403 of file Firtool.h.
References disableWireElimination.
|
inline |
Definition at line 428 of file Firtool.h.
References domainMode.
|
inline |
Definition at line 418 of file Firtool.h.
References emitAllBindFiles.
|
inline |
Definition at line 332 of file Firtool.h.
References emitSeparateAlwaysBlocks.
|
inline |
Definition at line 307 of file Firtool.h.
References enableAnnotationWarning.
|
inline |
Definition at line 227 of file Firtool.h.
References enableDebugInfo.
|
inline |
Definition at line 368 of file Firtool.h.
References exportModuleHierarchy.
|
inline |
Definition at line 383 of file Firtool.h.
References fixupEICGWrapper.
|
inline |
Definition at line 297 of file Firtool.h.
References ignoreReadEnableMem.
|
inline |
Definition at line 423 of file Firtool.h.
References inlineInputOnlyModules.
|
inline |
Definition at line 408 of file Firtool.h.
References lintStaticAsserts.
|
inline |
Definition at line 413 of file Firtool.h.
References lintXmrsInDesign.
|
inline |
Definition at line 205 of file Firtool.h.
References lowerAnnotationsNoRefTypePorts.
|
inline |
Definition at line 277 of file Firtool.h.
References lowerMemories.
|
inline |
Definition at line 317 of file Firtool.h.
References lowerToCore.
|
inline |
|
inline |
|
inline |
Definition at line 302 of file Firtool.h.
References outputAnnotationFilename.
|
inline |
Definition at line 190 of file Firtool.h.
References outputFilename.
|
inline |
Definition at line 216 of file Firtool.h.
References preserveAggregate.
|
inline |
Definition at line 222 of file Firtool.h.
References preserveMode.
|
inline |
Definition at line 287 of file Firtool.h.
References replSeqMem.
|
inline |
Definition at line 292 of file Firtool.h.
References replSeqMemFile.
|
inline |
Definition at line 393 of file Firtool.h.
References selectDefaultInstanceChoice.
|
inline |
Definition at line 378 of file Firtool.h.
References stripDebugInfo.
|
inline |
Definition at line 433 of file Firtool.h.
References stripDomain.
|
inline |
Definition at line 373 of file Firtool.h.
References stripFirDebugInfo.
|
inline |
Definition at line 398 of file Firtool.h.
References symbolicValueLowering.
|
inline |
|
inline |
Definition at line 327 of file Firtool.h.
References verificationFlavor.
|
inline |
Definition at line 312 of file Firtool.h.
References warnOnTruncation.
|
inline |
Definition at line 160 of file Firtool.h.
References addMuxPragmas.
Referenced by circt::firtool::populateHWToSV().
|
inline |
Definition at line 161 of file Firtool.h.
References addVivadoRAMAddressConflictSynthesisBugWorkaround.
Referenced by circt::firtool::populateHWToSV().
|
inline |
Definition at line 137 of file Firtool.h.
References probesToSignals.
Referenced by circt::firtool::populateCHIRRTLToLowFIRRTL().
|
inline |
Definition at line 146 of file Firtool.h.
References vbToBV.
Referenced by circt::firtool::populateCHIRRTLToLowFIRRTL().
|
inline |
Definition at line 142 of file Firtool.h.
References noDedup.
Referenced by circt::firtool::populateCHIRRTLToLowFIRRTL().
|
inline |
Definition at line 143 of file Firtool.h.
References dedupClasses.
Referenced by circt::firtool::populateCHIRRTLToLowFIRRTL().
|
inline |
Definition at line 150 of file Firtool.h.
References disableAggressiveMergeConnections.
Referenced by circt::firtool::populateCHIRRTLToLowFIRRTL().
|
inline |
Definition at line 131 of file Firtool.h.
References disableAnnotationsClassless.
Referenced by circt::firtool::populatePreprocessTransforms().
|
inline |
Definition at line 165 of file Firtool.h.
References disableCSEinClasses.
Referenced by circt::firtool::populateCHIRRTLToLowFIRRTL().
|
inline |
Definition at line 139 of file Firtool.h.
References disableLayerSink.
Referenced by circt::firtool::populateLowFIRRTLToHW().
|
inline |
Definition at line 140 of file Firtool.h.
References disableOptimization.
Referenced by circt::firtool::populateCHIRRTLToLowFIRRTL(), circt::firtool::populateHWToSV(), circt::firtool::populateLowFIRRTLToHW(), and detail::populatePrepareForExportVerilog().
|
inline |
Definition at line 128 of file Firtool.h.
References disableAnnotationsUnknown.
Referenced by circt::firtool::populatePreprocessTransforms().
|
inline |
Definition at line 173 of file Firtool.h.
References disableWireElimination.
Referenced by circt::firtool::populateCHIRRTLToLowFIRRTL().
|
inline |
Definition at line 157 of file Firtool.h.
References emitSeparateAlwaysBlocks.
Referenced by circt::firtool::populateHWToSV().
|
inline |
Definition at line 153 of file Firtool.h.
References enableAnnotationWarning.
Referenced by circt::firtool::populateLowFIRRTLToHW().
|
inline |
Definition at line 144 of file Firtool.h.
References enableDebugInfo.
Referenced by circt::firtool::populatePreprocessTransforms().
|
inline |
Definition at line 149 of file Firtool.h.
References exportModuleHierarchy.
Referenced by detail::populatePrepareForExportVerilog().
|
inline |
Definition at line 164 of file Firtool.h.
References fixupEICGWrapper.
Referenced by circt::firtool::populatePreprocessTransforms().
|
inline |
Definition at line 145 of file Firtool.h.
References ignoreReadEnableMem.
Referenced by circt::firtool::populateHWToSV().
|
inline |
Definition at line 181 of file Firtool.h.
References inlineInputOnlyModules.
Referenced by circt::firtool::populateCHIRRTLToLowFIRRTL().
|
inline |
Definition at line 141 of file Firtool.h.
References lowerMemories.
Referenced by circt::firtool::populateCHIRRTLToLowFIRRTL().
|
inline |
Definition at line 134 of file Firtool.h.
References lowerAnnotationsNoRefTypePorts.
Referenced by circt::firtool::populatePreprocessTransforms().
|
inline |
Definition at line 155 of file Firtool.h.
References lowerToCore.
Referenced by circt::firtool::populateLowFIRRTLToHW().
|
inline |
Definition at line 138 of file Firtool.h.
References replSeqMem.
Referenced by circt::firtool::populateCHIRRTLToLowFIRRTL(), and circt::firtool::populateHWToSV().
|
inline |
Definition at line 166 of file Firtool.h.
References selectDefaultInstanceChoice.
Referenced by circt::firtool::populateCHIRRTLToLowFIRRTL().
|
inline |
Definition at line 147 of file Firtool.h.
References stripDebugInfo.
Referenced by detail::populatePrepareForExportVerilog().
|
inline |
Definition at line 185 of file Firtool.h.
References stripDomain.
Referenced by circt::firtool::populateCHIRRTLToLowFIRRTL().
|
inline |
Definition at line 148 of file Firtool.h.
References stripFirDebugInfo.
Referenced by detail::populatePrepareForExportVerilog().
|
inline |
Definition at line 154 of file Firtool.h.
References warnOnTruncation.
Referenced by circt::firtool::populateCHIRRTLToLowFIRRTL().
|
inlinestaticconstexpr |
Convert the "domain mode" firtool option to a "firrtl::InferDomainsMode", the configuration for a pass.
Definition at line 54 of file Firtool.h.
References circt::firrtl::Check, Check, Disable, circt::firrtl::Infer, Infer, circt::firrtl::InferAll, and InferAll.
|
private |
Definition at line 469 of file Firtool.h.
Referenced by FirtoolOptions(), setAddMuxPragmas(), and shouldAddMuxPragmas().
|
private |
Definition at line 472 of file Firtool.h.
Referenced by FirtoolOptions(), setAddVivadoRAMAddressConflictSynthesisBugWorkaround(), and shouldAddVivadoRAMAddressConflictSynthesisBugWorkaround().
|
private |
Definition at line 460 of file Firtool.h.
Referenced by FirtoolOptions(), getBlackBoxRootPath(), and setBlackBoxRootPath().
|
private |
Definition at line 450 of file Firtool.h.
Referenced by FirtoolOptions(), getPreserveMode(), and setBuildMode().
|
private |
Definition at line 476 of file Firtool.h.
Referenced by FirtoolOptions(), getClockGateOptions(), setCkgEnableName(), and setClockGateOptions().
|
private |
Definition at line 474 of file Firtool.h.
Referenced by FirtoolOptions(), getClockGateOptions(), setCkgInputName(), and setClockGateOptions().
|
private |
Definition at line 478 of file Firtool.h.
Referenced by getClockGateOptions(), and setClockGateOptions().
|
private |
Definition at line 473 of file Firtool.h.
Referenced by FirtoolOptions(), getClockGateOptions(), setCkgModuleName(), and setClockGateOptions().
|
private |
Definition at line 475 of file Firtool.h.
Referenced by FirtoolOptions(), getClockGateOptions(), setCkgOutputName(), and setClockGateOptions().
|
private |
Definition at line 477 of file Firtool.h.
Referenced by FirtoolOptions(), getClockGateOptions(), setCkgTestEnableName(), and setClockGateOptions().
|
private |
Definition at line 456 of file Firtool.h.
Referenced by FirtoolOptions(), getCompanionMode(), and setCompanionMode().
|
private |
Definition at line 455 of file Firtool.h.
Referenced by FirtoolOptions(), setDedupClasses(), and shouldDedupClasses().
|
private |
Definition at line 458 of file Firtool.h.
Referenced by FirtoolOptions(), setDisableAggressiveMergeConnections(), and shouldDisableAggressiveMergeConnections().
|
private |
Definition at line 443 of file Firtool.h.
Referenced by FirtoolOptions(), setDisableAnnotationsClassless(), and shouldDisableClasslessAnnotations().
|
private |
Definition at line 442 of file Firtool.h.
Referenced by FirtoolOptions(), setDisableUnknownAnnotations(), and shouldDisableUnknownAnnotations().
|
private |
Definition at line 483 of file Firtool.h.
Referenced by setDisableCSEinClasses(), and shouldDisableCSEinClasses().
|
private |
Definition at line 451 of file Firtool.h.
Referenced by FirtoolOptions(), setDisableLayerSink(), and shouldDisableLayerSink().
|
private |
Definition at line 452 of file Firtool.h.
Referenced by FirtoolOptions(), setDisableOptimization(), and shouldDisableOptimization().
|
private |
Definition at line 464 of file Firtool.h.
Referenced by FirtoolOptions(), isRandomEnabled(), and mergeDisableRandom().
|
private |
Definition at line 486 of file Firtool.h.
Referenced by FirtoolOptions(), setDisableWireElimination(), and shouldDisableWireElimination().
|
private |
Definition at line 491 of file Firtool.h.
Referenced by FirtoolOptions(), getDomainMode(), and setDomainMode().
|
private |
Definition at line 489 of file Firtool.h.
Referenced by FirtoolOptions(), getEmitAllBindFiles(), and setEmitAllBindFiles().
|
private |
Definition at line 471 of file Firtool.h.
Referenced by FirtoolOptions(), setEmitSeparateAlwaysBlocks(), and shouldEmitSeparateAlwaysBlocks().
|
private |
Definition at line 466 of file Firtool.h.
Referenced by FirtoolOptions(), setEnableAnnotationWarning(), and shouldEnableAnnotationWarning().
|
private |
Definition at line 449 of file Firtool.h.
Referenced by FirtoolOptions(), setEnableDebugInfo(), and shouldEnableDebugInfo().
|
private |
Definition at line 479 of file Firtool.h.
Referenced by FirtoolOptions(), setExportModuleHierarchy(), and shouldExportModuleHierarchy().
|
private |
Definition at line 482 of file Firtool.h.
Referenced by FirtoolOptions(), setFixupEICGWrapper(), and shouldFixupEICGWrapper().
|
private |
Definition at line 463 of file Firtool.h.
Referenced by FirtoolOptions(), setIgnoreReadEnableMem(), and shouldIgnoreReadEnableMemories().
|
private |
Definition at line 490 of file Firtool.h.
Referenced by FirtoolOptions(), setInlineInputOnlyModules(), and shouldInlineInputOnlyModules().
|
private |
Definition at line 487 of file Firtool.h.
Referenced by FirtoolOptions(), getLintStaticAsserts(), and setLintStaticAsserts().
|
private |
Definition at line 488 of file Firtool.h.
Referenced by FirtoolOptions(), getLintXmrsInDesign(), and setLintXmrsInDesign().
|
private |
Definition at line 444 of file Firtool.h.
Referenced by FirtoolOptions(), setLowerAnnotationsNoRefTypePorts(), and shouldLowerNoRefTypePortAnnotations().
|
private |
Definition at line 459 of file Firtool.h.
Referenced by FirtoolOptions(), setLowerMemories(), and shouldLowerMemories().
|
private |
Definition at line 468 of file Firtool.h.
Referenced by FirtoolOptions(), setLowerToCore(), and shouldLowerToCore().
|
private |
Definition at line 454 of file Firtool.h.
Referenced by FirtoolOptions(), setNoDedup(), and shouldDedup().
|
private |
Definition at line 457 of file Firtool.h.
Referenced by FirtoolOptions(), getNoViews(), and setNoViews().
|
private |
Definition at line 465 of file Firtool.h.
Referenced by FirtoolOptions(), getOutputAnnotationFilename(), and setOutputAnnotationFilename().
|
private |
Definition at line 439 of file Firtool.h.
Referenced by FirtoolOptions(), getOutputFilename(), isDefaultOutputFilename(), and setOutputFilename().
|
private |
Definition at line 447 of file Firtool.h.
Referenced by FirtoolOptions(), getPreserveAggregate(), and setPreserveAggregate().
|
private |
Definition at line 448 of file Firtool.h.
Referenced by FirtoolOptions(), getPreserveMode(), and setPreserveValues().
|
private |
Definition at line 446 of file Firtool.h.
Referenced by FirtoolOptions(), setConvertProbesToSignals(), and shouldConvertProbesToSignals().
|
private |
Definition at line 461 of file Firtool.h.
Referenced by FirtoolOptions(), setReplSeqMem(), and shouldReplaceSequentialMemories().
|
private |
Definition at line 462 of file Firtool.h.
Referenced by FirtoolOptions(), getReplaceSequentialMemoriesFile(), and setReplSeqMemFile().
|
private |
Definition at line 484 of file Firtool.h.
Referenced by FirtoolOptions(), setSelectDefaultInstanceChoice(), and shouldSelectDefaultInstanceChoice().
|
private |
Definition at line 493 of file Firtool.h.
Referenced by FirtoolOptions(), and getSkippedDomains().
|
private |
Definition at line 481 of file Firtool.h.
Referenced by FirtoolOptions(), setStripDebugInfo(), and shouldStripDebugInfo().
|
private |
Definition at line 492 of file Firtool.h.
Referenced by FirtoolOptions(), setStripDomain(), and shouldStripDomain().
|
private |
Definition at line 480 of file Firtool.h.
Referenced by FirtoolOptions(), setStripFirDebugInfo(), and shouldStripFirDebugInfo().
|
private |
Definition at line 485 of file Firtool.h.
Referenced by FirtoolOptions(), getSymbolicValueLowering(), and setSymbolicValueLowering().
|
private |
Definition at line 453 of file Firtool.h.
Referenced by FirtoolOptions(), setVbToBV(), and shouldConvertVecOfBundle().
|
private |
Definition at line 470 of file Firtool.h.
Referenced by FirtoolOptions(), getVerificationFlavor(), and setVerificationFlavor().
|
private |
Definition at line 467 of file Firtool.h.
Referenced by FirtoolOptions(), setWarnOnTruncation(), and shouldWarnOnTruncation().