File List

Here is a list of all files with brief descriptions:

[detail level 123456789]

docs
▼ include
► circt
► Analysis
DebugAnalysis.h
DebugInfo.h
DependenceAnalysis.h
FIRRTLInstanceInfo.h
OpCountAnalysis.h
SchedulingAnalysis.h
► Conversion
AffineToLoopSchedule.h
AIGToComb.h
ArcToLLVM.h
CalyxNative.h
CalyxToFSM.h
CalyxToHW.h
CFToHandshake.h
CombToAIG.h
CombToArith.h
CombToLLVM.h
CombToSMT.h
ConvertToArcs.h
DCToHW.h
ExportChiselInterface.h
ExportVerilog.h
FIRRTLToHW.h
FSMToSV.h
HandshakeToDC.h
HandshakeToHW.h
HWArithToHW.h
HWToBTOR2.h
HWToLLVM.h
HWToSMT.h
HWToSV.h
HWToSystemC.h
ImportVerilog.h
LoopScheduleToCalyx.h
LTLToCore.h
MooreToCore.h
Passes.h
PipelineToHW.h
SCFToCalyx.h
SeqToSV.h
SimToSV.h
SMTToZ3LLVM.h
VerifToSMT.h
VerifToSV.h
► Dialect
► AIG
AIGDialect.h
AIGOps.h
AIGPasses.h
► Arc
ArcCostModel.h
ArcDialect.h
ArcInterfaces.h
ArcOps.h
ArcPasses.h
ArcReductions.h
ArcTypes.h
ModelInfo.h
ModelInfoExport.h
► Calyx
CalyxDialect.h
CalyxEmitter.h
CalyxHelpers.h
CalyxLoweringUtils.h
CalyxOps.h
CalyxPasses.h
► Comb
CombDialect.h
CombOps.h
CombPasses.h
CombVisitors.h
► DC
DCDialect.h
DCOps.h
DCPasses.h
DCTypes.h
► Debug
DebugDialect.h
DebugOps.h
DebugTypes.h
► Emit
EmitDialect.h
EmitOpInterfaces.h
EmitOps.h
EmitPasses.h
► ESI
AppID.h
ESIAttributes.h
ESIDialect.h
ESIOps.h
ESIPasses.h
ESIServices.h
ESITypes.h
► FIRRTL
► Import
FIRAnnotations.h
AnnotationDetails.h
CHIRRTLDialect.h
CHIRRTLTypes.h
CHIRRTLVisitors.h
FieldRefCache.h
FIREmitter.h
FIRParser.h
FIRRTLAnnotationHelper.h
FIRRTLAnnotations.h
FIRRTLAttributes.h
FIRRTLDialect.h
FIRRTLFieldSource.h
FIRRTLInstanceGraph.h
FIRRTLInstanceImplementation.h
FIRRTLIntrinsics.h
FIRRTLOpInterfaces.h
FIRRTLOps.h
FIRRTLReductions.h
FIRRTLTypeInterfaces.h
FIRRTLTypes.h
FIRRTLUtils.h
FIRRTLVisitors.h
Namespace.h
NLATable.h
OwningModuleCache.h
Passes.h
► FSM
FSMDialect.h
FSMGraph.h
FSMOps.h
FSMPasses.h
FSMTypes.h
► Handshake
HandshakeDialect.h
HandshakeInterfaces.h
HandshakeOps.h
HandshakePasses.h
HandshakeUtils.h
Simulation.h
Visitor.h
► HW
ConversionPatterns.h
CustomDirectiveImpl.h
HWAttributes.h
HWDialect.h
HWEnums.h
HWInstanceGraph.h
HWInstanceImplementation.h
HWModuleGraph.h
HWOpInterfaces.h
HWOps.h
HWPasses.h
HWReductions.h
HWSymCache.h
HWTypeInterfaces.h
HWTypes.h
HWVisitors.h
InnerSymbolNamespace.h
InnerSymbolTable.h
ModuleImplementation.h
PortConverter.h
PortImplementation.h
► HWArith
HWArithDialect.h
HWArithOps.h
HWArithTypes.h
► Interop
InteropDialect.h
InteropOps.h
► Kanagawa
KanagawaDialect.h
KanagawaOps.h
KanagawaPasses.h
KanagawaPassPipelines.h
KanagawaTypes.h
► LLHD
► IR
LLHDDialect.h
LLHDOps.h
LLHDTypes.h
► Transforms
LLHDPasses.h
► LoopSchedule
LoopScheduleDialect.h
LoopScheduleOps.h
► LTL
LTLDialect.h
LTLOps.h
LTLTypes.h
LTLVisitors.h
► Moore
MooreAttributes.h
MooreDialect.h
MooreOps.h
MoorePasses.h
MooreTypes.h
► MSFT
DeviceDB.h
ExportTcl.h
MSFTAttributes.h
MSFTDialect.h
MSFTOpInterfaces.h
MSFTOps.h
MSFTPasses.h
► OM
► Evaluator
Evaluator.h
OMAttributes.h
OMDialect.h
OMOpInterfaces.h
OMOps.h
OMPasses.h
OMTypes.h
OMUtils.h
► Pipeline
PipelineDialect.h
PipelineOps.h
PipelinePasses.h
► RTG
► IR
RTGAttributes.h
RTGAttrInterfaces.h
RTGDialect.h
RTGISAAssemblyAttrInterfaces.h
RTGISAAssemblyOpInterfaces.h
RTGISAAssemblyTypeInterfaces.h
RTGOpInterfaces.h
RTGOps.h
RTGTypeInterfaces.h
RTGTypes.h
RTGVisitors.h
► Transforms
RTGPasses.h
► RTGTest
► IR
RTGTestAttributes.h
RTGTestDialect.h
RTGTestOps.h
RTGTestTypes.h
► Seq
SeqAttributes.h
SeqDialect.h
SeqEnums.h
SeqOpInterfaces.h
SeqOps.h
SeqPasses.h
SeqTypes.h
► Sim
SimDialect.h
SimOps.h
SimPasses.h
SimTypes.h
► SMT
SMTAttributes.h
SMTDialect.h
SMTOps.h
SMTTypes.h
SMTVisitors.h
► SSP
SSPAttributes.h
SSPDialect.h
SSPOps.h
SSPPasses.h
Utilities.h
► SV
SVAttributes.h
SVDialect.h
SVOps.h
SVPasses.h
SVTypes.h
SVVisitors.h
► SystemC
SystemCAttributes.h
SystemCDialect.h
SystemCOpInterfaces.h
SystemCOps.h
SystemCPasses.h
SystemCTypes.h
► Verif
VerifDialect.h
VerifOpInterfaces.h
VerifOps.h
VerifPasses.h
VerifVisitors.h
► Firtool
Firtool.h
► Reduce
GenericReductions.h
Reduction.h
ReductionUtils.h
Tester.h
► Scheduling
Algorithms.h
DependenceIterator.h
Problems.h
Utilities.h
► Support
APInt.h
BackedgeBuilder.h
BuilderUtils.h
CustomDirectiveImpl.h
Debug.h
FieldRef.h
FoldUtils.h
FVInt.h
InstanceGraph.h
InstanceGraphInterface.h
JSON.h
LLVM.h
LoweringOptions.h
LoweringOptionsParser.h
Namespace.h
Naming.h
ParsingUtils.h
Passes.h
Path.h
PrettyPrinter.h
PrettyPrinterHelpers.h
SymCache.h
Utils.h
ValueMapper.h
Version.h
► Target
DebugInfo.h
ExportSMTLIB.h
ExportSystemC.h
► Tools
► circt-bmc
Passes.h
► circt-lec
Passes.h
► circt-verilog-lsp-server
CirctVerilogLspServerMain.h
► rtgtool
RtgToolOptions.h
► Transforms
Passes.h
InitAllDialects.h
InitAllPasses.h
InitAllTranslations.h
► circt-c
► Dialect
Arc.h
CHIRRTL.h
Comb.h
DC.h
Debug.h
Emit.h
ESI.h
FIRRTL.h
FSM.h
Handshake.h
HW.h
HWArith.h
LLHD.h
LTL.h
Moore.h
MSFT.h
OM.h
RTG.h
RTGTest.h
Seq.h
SMT.h
SV.h
Verif.h
► Firtool
Firtool.h
Conversion.h
ExportFIRRTL.h
ExportSMTLIB.h
ExportVerilog.h
RtgTool.h
Transforms.h
▼ lib
► Analysis
DebugAnalysis.cpp
DebugInfo.cpp
DependenceAnalysis.cpp
FIRRTLInstanceInfo.cpp
OpCountAnalysis.cpp
SchedulingAnalysis.cpp
TestPasses.cpp
► Bindings
► Python
► dialects
comb.py
debug.py
emit.py
esi.py
fsm.py
handshake.py
hw.py
hwarith.py
ltl.py
msft.py
om.py
rtg.py
rtgtest.py
seq.py
smt.py
sv.py
verif.py
__init__.py
CIRCTModule.cpp
CIRCTModules.h
ESIModule.cpp
HWModule.cpp
MSFTModule.cpp
NanobindUtils.h
OMModule.cpp
RTGModule.cpp
RTGTestModule.cpp
rtgtool_support.py
RTGToolModule.cpp
SeqModule.cpp
setup.py
support.py
SupportModule.cpp
SVModule.cpp
► Tcl
circt_tcl.cpp
► CAPI
► Conversion
Passes.cpp
► Dialect
Arc.cpp
CHIRRTL.cpp
Comb.cpp
DC.cpp
Debug.cpp
Emit.cpp
ESI.cpp
FIRRTL.cpp
FSM.cpp
Handshake.cpp
HW.cpp
HWArith.cpp
LLHD.cpp
LTL.cpp
Moore.cpp
MSFT.cpp
OM.cpp
RTG.cpp
RTGTest.cpp
Seq.cpp
SMT.cpp
SV.cpp
Verif.cpp
► ExportFIRRTL
ExportFIRRTL.cpp
► ExportSMTLIB
ExportSMTLIB.cpp
► ExportVerilog
ExportVerilog.cpp
► Firtool
Firtool.cpp
► RtgTool
RtgTool.cpp
► Transforms
Transforms.cpp
► Conversion
► AffineToLoopSchedule
AffineToLoopSchedule.cpp
► AIGToComb
AIGToComb.cpp
► ArcToLLVM
LowerArcToLLVM.cpp
► CalyxNative
CalyxNative.cpp
► CalyxToFSM
CalyxToFSM.cpp
MaterializeFSM.cpp
RemoveGroupsFromFSM.cpp
► CalyxToHW
CalyxToHW.cpp
► CFToHandshake
CFToHandshake.cpp
► CombToAIG
CombToAIG.cpp
► CombToArith
CombToArith.cpp
► CombToLLVM
CombToLLVM.cpp
► CombToSMT
CombToSMT.cpp
► ConvertToArcs
ConvertToArcs.cpp
► DCToHW
DCToHW.cpp
► ExportChiselInterface
ExportChiselInterface.cpp
► ExportVerilog
ApplyLoweringOptions.cpp
ExportVerilog.cpp
ExportVerilogInternals.h
HWLowerInstanceChoices.cpp
LegalizeAnonEnums.cpp
LegalizeNames.cpp
PrepareForEmission.cpp
PruneZeroValuedLogic.cpp
► FIRRTLToHW
LowerToHW.cpp
► FSMToSV
FSMToSV.cpp
► HandshakeToDC
HandshakeToDC.cpp
► HandshakeToHW
HandshakeToHW.cpp
► HWArithToHW
HWArithToHW.cpp
► HWToBTOR2
HWToBTOR2.cpp
► HWToLLVM
HWToLLVM.cpp
► HWToSMT
HWToSMT.cpp
► HWToSV
HWToSV.cpp
► HWToSystemC
HWToSystemC.cpp
► ImportVerilog
Expressions.cpp
FormatStrings.cpp
HierarchicalNames.cpp
ImportVerilog.cpp
ImportVerilogInternals.h
Statements.cpp
Structure.cpp
TimingControls.cpp
Types.cpp
► LoopScheduleToCalyx
LoopScheduleToCalyx.cpp
► LTLToCore
LTLToCore.cpp
► MooreToCore
MooreToCore.cpp
► PipelineToHW
PipelineToHW.cpp
► SCFToCalyx
SCFToCalyx.cpp
► SeqToSV
FirMemLowering.cpp
FirMemLowering.h
FirRegLowering.cpp
FirRegLowering.h
LowerFirMem.cpp
SeqToSV.cpp
► SimToSV
SimToSV.cpp
► SMTToZ3LLVM
LowerSMTToZ3LLVM.cpp
► VerifToSMT
VerifToSMT.cpp
► VerifToSV
VerifToSV.cpp
► Dialect
► AIG
► Transforms
LowerVariadic.cpp
LowerWordToBits.cpp
AIGDialect.cpp
AIGOps.cpp
► Arc
► Export
ModelInfoExport.cpp
► Interfaces
RuntimeCostEstimateInterfaceImpl.cpp
► Transforms
AddTaps.cpp
AllocateState.cpp
ArcCanonicalizer.cpp
Dedup.cpp
FindInitialVectors.cpp
InferMemories.cpp
InferStateProperties.cpp
InlineArcs.cpp
IsolateClocks.cpp
LatencyRetiming.cpp
LowerArcsToFuncs.cpp
LowerClocksToFuncs.cpp
LowerLUT.cpp
LowerState.cpp
LowerVectorizations.cpp
LowerVerifSimulations.cpp
MakeTables.cpp
MergeIfs.cpp
MuxToControlFlow.cpp
PrintCostModel.cpp
SimplifyVariadicOps.cpp
SplitFuncs.cpp
SplitLoops.cpp
StripSV.cpp
ArcCostModel.cpp
ArcDialect.cpp
ArcFolds.cpp
ArcOps.cpp
ArcReductions.cpp
ArcTypes.cpp
ModelInfo.cpp
► Calyx
► Export
CalyxEmitter.cpp
► Transforms
AffineParallelUnroll.cpp
AffinePloopUnparallelize.cpp
AffineToSCF.cpp
CalyxHelpers.cpp
CalyxLoweringUtils.cpp
ClkResetInsertion.cpp
CompileControl.cpp
ExcludeExecuteRegionCanonicalize.cpp
GICM.cpp
GoInsertion.cpp
RemoveCombGroups.cpp
RemoveGroups.cpp
CalyxDialect.cpp
CalyxOps.cpp
► Comb
► Transforms
LowerComb.cpp
CombAnalysis.cpp
CombDialect.cpp
CombFolds.cpp
CombOps.cpp
► DC
► Transforms
DCMaterialization.cpp
DCPrintDot.cpp
DCDialect.cpp
DCOps.cpp
DCTypes.cpp
► Debug
DebugDialect.cpp
DebugOps.cpp
DebugTypes.cpp
► Emit
► Transforms
StripEmit.cpp
EmitDialect.cpp
EmitOpInterfaces.cpp
EmitOps.cpp
► ESI
► Passes
ESIAppIDHier.cpp
ESIBuildManifest.cpp
ESICleanMetadata.cpp
ESILowerBundles.cpp
ESILowerPhysical.cpp
ESILowerPorts.cpp
ESILowerToHW.cpp
ESILowerTypes.cpp
ESIVerifyConnections.cpp
► runtime
► cosim_dpi_server
dpi.h
DpiEntryPoints.cpp
driver.cpp
DummySvDpi.cpp
esi-cosim.py
svdpi.h
► cpp
► include
► esi
► backends
Cosim.h
RpcServer.h
Trace.h
Xrt.h
Accelerator.h
CLI.h
Common.h
Context.h
Design.h
Engines.h
Logging.h
Manifest.h
Ports.h
Services.h
Types.h
Utils.h
► lib
► backends
Cosim.cpp
RpcServer.cpp
Trace.cpp
Xrt.cpp
Accelerator.cpp
Common.cpp
Context.cpp
Design.cpp
Engines.cpp
Logging.cpp
Manifest.cpp
Ports.cpp
Services.cpp
Utils.cpp
► tools
esiquery.cpp
esitester.cpp
► python
► esiaccel
__init__.py
accelerator.py
codegen.py
esiCppAccel.cpp
types.py
utils.py
setup.py
AppID.cpp
ESIAttributes.cpp
ESIDialect.cpp
ESIFolds.cpp
ESIOps.cpp
ESIPasses.cpp
ESIServices.cpp
ESIStdServices.cpp
ESITypes.cpp
PassDetails.h
► FIRRTL
► Export
FIREmitter.cpp
► Import
FIRAnnotations.cpp
FIRAnnotations.h
FIRLexer.cpp
FIRLexer.h
FIRParser.cpp
FIRParserAsserts.cpp
► Transforms
AddSeqMemPorts.cpp
AdvancedLayerSink.cpp
AssignOutputDirs.cpp
BlackBoxReader.cpp
CheckCombLoops.cpp
CheckLayers.cpp
CheckRecursiveInstantiation.cpp
CreateCompanionAssume.cpp
CreateSiFiveMetadata.cpp
Dedup.cpp
DropConst.cpp
DropName.cpp
EliminateWires.cpp
ExpandWhens.cpp
ExtractInstances.cpp
FinalizeIR.cpp
FlattenMemory.cpp
GrandCentral.cpp
IMConstProp.cpp
IMDeadCodeElim.cpp
InferReadWrite.cpp
InferResets.cpp
InferWidths.cpp
InjectDUTHierarchy.cpp
InnerSymbolDCE.cpp
LayerMerge.cpp
LayerSink.cpp
LegacyWiring.cpp
Lint.cpp
LowerAnnotations.cpp
LowerCHIRRTL.cpp
LowerClasses.cpp
LowerDPI.cpp
LowerIntmodules.cpp
LowerIntrinsics.cpp
LowerLayers.cpp
LowerMatches.cpp
LowerMemory.cpp
LowerOpenAggs.cpp
LowerSignatures.cpp
LowerTypes.cpp
LowerXMR.cpp
MaterializeDebugInfo.cpp
MemToRegOfVec.cpp
MergeConnections.cpp
ModuleInliner.cpp
ModuleSummary.cpp
PassiveWires.cpp
PrintFIRRTLFieldSource.cpp
PrintInstanceGraph.cpp
PrintNLATable.cpp
ProbesToSignals.cpp
RandomizeRegisterInit.cpp
RegisterOptimizer.cpp
RemoveUnusedPorts.cpp
ResolvePaths.cpp
ResolveTraces.cpp
SFCCompat.cpp
SpecializeLayers.cpp
SpecializeOption.cpp
VBToBV.cpp
Vectorization.cpp
CHIRRTLDialect.cpp
CHIRRTLTypes.cpp
FieldRefCache.cpp
FIRRTLAnnotationHelper.cpp
FIRRTLAnnotations.cpp
FIRRTLAttributes.cpp
FIRRTLDialect.cpp
FIRRTLFieldSource.cpp
FIRRTLFolds.cpp
FIRRTLInstanceGraph.cpp
FIRRTLInstanceImplementation.cpp
FIRRTLIntrinsics.cpp
FIRRTLOpInterfaces.cpp
FIRRTLOps.cpp
FIRRTLReductions.cpp
FIRRTLTypes.cpp
FIRRTLUtils.cpp
NLATable.cpp
► FSM
► Transforms
PrintFSMGraph.cpp
FSMDialect.cpp
FSMGraph.cpp
FSMOps.cpp
FSMTypes.cpp
► Handshake
► Transforms
Analysis.cpp
Buffers.cpp
LegalizeMemrefs.cpp
LockFunctions.cpp
LowerExtmemToHW.cpp
Materialization.cpp
SplitMerges.cpp
HandshakeDialect.cpp
HandshakeExecutableOps.cpp
HandshakeOps.cpp
HandshakeUtils.cpp
► HW
► Transforms
FlattenIO.cpp
FlattenModules.cpp
FooWires.cpp
HWAggregateToComb.cpp
HWPrintInstanceGraph.cpp
HWSpecialize.cpp
PrintHWModuleGraph.cpp
VerifyInnerRefNamespace.cpp
ConversionPatterns.cpp
CustomDirectiveImpl.cpp
HWAttributes.cpp
HWDialect.cpp
HWEnums.cpp
HWInstanceGraph.cpp
HWInstanceImplementation.cpp
HWModuleOpInterface.cpp
HWOpInterfaces.cpp
HWOps.cpp
HWReductions.cpp
HWTypeInterfaces.cpp
HWTypes.cpp
InnerSymbolTable.cpp
ModuleImplementation.cpp
PortConverter.cpp
► HWArith
HWArithDialect.cpp
HWArithOps.cpp
HWArithTypes.cpp
► Interop
InteropDialect.cpp
InteropOps.cpp
► Kanagawa
► Transforms
KanagawaAddOperatorLibrary.cpp
KanagawaArgifyBlocksPass.cpp
KanagawaCallPrep.cpp
KanagawaCleanSelfdrivers.cpp
KanagawaContainerize.cpp
KanagawaContainersToHW.cpp
KanagawaConvertCFToHandshake.cpp
KanagawaConvertHandshakeToDC.cpp
KanagawaInlineSBlocksPass.cpp
KanagawaMethodsToContainers.cpp
KanagawaPassPipelines.cpp
KanagawaPortrefLowering.cpp
KanagawaPrepareScheduling.cpp
KanagawaReblockPass.cpp
KanagawaTunneling.cpp
KanagawaDialect.cpp
KanagawaOps.cpp
KanagawaTypes.cpp
► LLHD
► IR
LLHDDialect.cpp
LLHDOps.cpp
LLHDTypes.cpp
► Transforms
DesequentializationPass.cpp
EarlyCodeMotionPass.cpp
FunctionEliminationPass.cpp
HoistSignals.cpp
LowerProcesses.cpp
Mem2Reg.cpp
MemoryToBlockArgumentPass.cpp
ProcessLoweringPass.cpp
Sig2RegPass.cpp
TemporalCodeMotionPass.cpp
TemporalRegions.cpp
TemporalRegions.h
► LoopSchedule
LoopScheduleOps.cpp
► LTL
LTLDialect.cpp
LTLFolds.cpp
LTLOps.cpp
► Moore
► Transforms
LowerConcatRef.cpp
SimplifyProcedures.cpp
MooreAttributes.cpp
MooreDialect.cpp
MooreOps.cpp
MooreTypes.cpp
► MSFT
► Transforms
MSFTExportTcl.cpp
MSFTLowerConstructs.cpp
MSFTLowerInstances.cpp
PassCommon.cpp
PassDetails.h
DeviceDB.cpp
ExportQuartusTcl.cpp
MSFTAttributes.cpp
MSFTDialect.cpp
MSFTOpInterfaces.cpp
MSFTOps.cpp
► OM
► Evaluator
Evaluator.cpp
► Transforms
FreezePaths.cpp
LinkModules.cpp
StripOM.cpp
VerifyObjectFields.cpp
OMAttributes.cpp
OMDialect.cpp
OMOpInterfaces.cpp
OMOps.cpp
OMTypes.cpp
OMUtils.cpp
► Pipeline
► Transforms
ExplicitRegs.cpp
ScheduleLinearPipeline.cpp
PipelineOps.cpp
► RTG
► IR
RTGAttributes.cpp
RTGAttrInterfaces.cpp
RTGDialect.cpp
RTGISAAssemblyAttrInterfaces.cpp
RTGISAAssemblyOpInterfaces.cpp
RTGISAAssemblyTypeInterfaces.cpp
RTGOpInterfaces.cpp
RTGOps.cpp
RTGTypeInterfaces.cpp
RTGTypes.cpp
► Transforms
ElaborationPass.cpp
EmitRTGISAAssemblyPass.cpp
InlineSequencesPass.cpp
LinearScanRegisterAllocationPass.cpp
LowerUniqueLabelsPass.cpp
► RTGTest
► IR
RTGTestAttributes.cpp
RTGTestDialect.cpp
RTGTestOps.cpp
RTGTestTypes.cpp
► Seq
► Transforms
ExternalizeClockGate.cpp
HWMemSimImpl.cpp
LowerSeqFIFO.cpp
LowerSeqHLMem.cpp
LowerSeqShiftReg.cpp
SeqAttributes.cpp
SeqDialect.cpp
SeqOpInterfaces.cpp
SeqOps.cpp
SeqTypes.cpp
► Sim
► Transforms
LowerDPIFunc.cpp
ProceduralizeSim.cpp
SimDialect.cpp
SimOps.cpp
SimTypes.cpp
► SMT
SMTAttributes.cpp
SMTDialect.cpp
SMTOps.cpp
SMTTypes.cpp
► SSP
► Transforms
Print.cpp
Roundtrip.cpp
Schedule.cpp
SSPAttributes.cpp
SSPDialect.cpp
SSPOps.cpp
► SV
► Transforms
GeneratorCallout.cpp
HWCleanup.cpp
HWEliminateInOutPorts.cpp
HWExportModuleHierarchy.cpp
HWLegalizeModules.cpp
HWStubExternalModules.cpp
PrettifyVerilog.cpp
SVExtractTestCode.cpp
SVTraceIVerilog.cpp
SVAttributes.cpp
SVDialect.cpp
SVOps.cpp
SVTypes.cpp
► SystemC
► Transforms
SystemCLowerInstanceInterop.cpp
SystemCAttributes.cpp
SystemCDialect.cpp
SystemCOpInterfaces.cpp
SystemCOps.cpp
SystemCTypes.cpp
► Verif
► Transforms
LowerContracts.cpp
LowerFormalToHW.cpp
PrepareForFormal.cpp
SimplifyAssumeEq.cpp
StripContracts.cpp
VerifyClockedAssertLike.cpp
VerifDialect.cpp
VerifOpInterfaces.cpp
VerifOps.cpp
► Firtool
Firtool.cpp
► Reduce
GenericReductions.cpp
Reduction.cpp
ReductionUtils.cpp
Tester.cpp
► Scheduling
ASAPScheduler.cpp
ChainingSupport.cpp
CPSATSchedulers.cpp
LPSchedulers.cpp
Problems.cpp
SimplexSchedulers.cpp
Utilities.cpp
► Support
APInt.cpp
BackedgeBuilder.cpp
CustomDirectiveImpl.cpp
Debug.cpp
FieldRef.cpp
FVInt.cpp
InstanceGraph.cpp
JSON.cpp
LoweringOptions.cpp
Naming.cpp
ParsingUtils.cpp
Passes.cpp
Path.cpp
PrettyPrinter.cpp
PrettyPrinterHelpers.cpp
SymCache.cpp
ValueMapper.cpp
► Target
► DebugInfo
DumpDebugInfo.cpp
EmitHGLDD.cpp
TranslateRegistration.cpp
► ExportSMTLIB
ExportSMTLIB.cpp
► ExportSystemC
► Patterns
BuiltinEmissionPatterns.cpp
BuiltinEmissionPatterns.h
EmitCEmissionPatterns.cpp
EmitCEmissionPatterns.h
HWEmissionPatterns.cpp
HWEmissionPatterns.h
SystemCEmissionPatterns.cpp
SystemCEmissionPatterns.h
EmissionPattern.h
EmissionPatternSupport.h
EmissionPrinter.cpp
EmissionPrinter.h
ExportSystemC.cpp
RegisterAllEmitters.h
► Tools
► circt-bmc
ExternalizeRegisters.cpp
LowerToBMC.cpp
► circt-lec
ConstructLEC.cpp
► circt-verilog-lsp-server
► Utils
LSPUtils.cpp
LSPUtils.h
► VerilogServerImpl
VerilogServer.cpp
VerilogServer.h
CirctVerilogLspServerMain.cpp
LSPServer.cpp
LSPServer.h
► rtgtool
RtgToolOptions.cpp
► Transforms
FlattenMemRefs.cpp
HierarchicalRunner.cpp
IndexSwitchToIf.cpp
InsertMergeBlocks.cpp
MapArithToComb.cpp
MaximizeSSA.cpp
MemoryBanking.cpp
PrintOpCount.cpp
StripDebugInfoWithPred.cpp