llvm/circt

[ImportVerilog] Streaming operators fail on unpacked arrays 3 days ago

good first issue ImportVerilog

llvm/circt

2.2K

Circuit IR Compilers and Tools

C++

#circt#llvm#mlir

[MooreToCore] DPI calls with open array arguments are broken 3 days ago

good first issue Moore

llvm/circt

2.2K

Circuit IR Compilers and Tools

C++

#circt#llvm#mlir

[Moore] Missing conversions to open array types 3 days ago

good first issue Moore

llvm/circt

2.2K

Circuit IR Compilers and Tools

C++

#circt#llvm#mlir

[FIRRTL] Export Literal Identifiers Correctly 2 months ago

good first issue FIRRTL

llvm/circt

2.2K

Circuit IR Compilers and Tools

C++

#circt#llvm#mlir

[FSM] Tracking issue for canonicalization and optimization patterns 2 months ago

help wanted FSM

llvm/circt

2.2K

Circuit IR Compilers and Tools

C++

#circt#llvm#mlir

[CI] Include the Runner Version in the sccahe key (hashed or as a string) 3 months ago

good first issue CI/CD

llvm/circt

2.2K

Circuit IR Compilers and Tools

C++

#circt#llvm#mlir

[FIRRTL][circt-reduce] Extend the FIRRTL LayerDisable reduction to strip enabled layers 3 months ago

good first issue FIRRTL Reducer

llvm/circt

2.2K

Circuit IR Compilers and Tools

C++

#circt#llvm#mlir

[Synth][FunctionalReduction] Fold constants 3 months ago

good first issue Synth

llvm/circt

2.2K

Circuit IR Compilers and Tools

C++

#circt#llvm#mlir

[FIRRTL] Implement folder/canonicalizer for muxcell intrinsics 4 months ago

good first issue FIRRTL

llvm/circt

2.2K

Circuit IR Compilers and Tools

C++

#circt#llvm#mlir

[Synth][FunctionalReduction] Remove redundant reachable values from choice classes 4 months ago

good first issue Synth

llvm/circt

2.2K

Circuit IR Compilers and Tools

C++

#circt#llvm#mlir

[Synth][FunctionalReduction] Improve choice materialization with reachability of choice 4 months ago

good first issue Synth

llvm/circt

2.2K

Circuit IR Compilers and Tools

C++

#circt#llvm#mlir

[Synth][FunctionalReduction] Add a newVar interface to SATSolver and use it in FR 4 months ago

good first issue Synth

llvm/circt

2.2K

Circuit IR Compilers and Tools

C++

#circt#llvm#mlir

[Synth] Add a folder/canonicalization for synth.xor_inv 4 months ago

good first issue Synth

llvm/circt

2.2K

Circuit IR Compilers and Tools

C++

#circt#llvm#mlir

[AIGERImporter] Support Bad state and Inveriants for Formal Verification application 4 months ago

good first issue Synth

llvm/circt

2.2K

Circuit IR Compilers and Tools

C++

#circt#llvm#mlir

[Synth] Make passes runnable on any operation 4 months ago

good first issue Synth

llvm/circt

2.2K

Circuit IR Compilers and Tools

C++

#circt#llvm#mlir

[Synth] [LowerWordToBits] Constant defined outside of IsolatedAbove region 4 months ago

bug good first issue Synth

llvm/circt

2.2K

Circuit IR Compilers and Tools

C++

#circt#llvm#mlir

`-DMLIR_ENABLE_EXPENSIVE_PATTERN_API_CHECKS=ON` might have found some invalid API usages 4 months ago

help wanted FIRRTL Handshake HW LLHD Calyx Comb Arc LoopSchedule

llvm/circt

2.2K

Circuit IR Compilers and Tools

C++

#circt#llvm#mlir

[Synth][FunctionalReduction] Check inversion when creating equivalence class 4 months ago

good first issue Synth

llvm/circt

2.2K

Circuit IR Compilers and Tools

C++

#circt#llvm#mlir

[Synth] Add canonicalization for choice 5 months ago

good first issue

llvm/circt

2.2K

Circuit IR Compilers and Tools

C++

#circt#llvm#mlir

[FIRRTL] Replace redundant RewritePattern with OpRewritePattern 5 months ago

good first issue FIRRTL

llvm/circt

2.2K

Circuit IR Compilers and Tools

C++

#circt#llvm#mlir

[Synth] Add folder/canonicalization to maj_inv 5 months ago

good first issue

llvm/circt

2.2K

Circuit IR Compilers and Tools

C++

#circt#llvm#mlir

[SV] Crash in `P/BPAssignOp` verifiers for `hw.inout` ports 6 months ago

bug good first issue Verilog/SystemVerilog

llvm/circt

2.2K

Circuit IR Compilers and Tools

C++

#circt#llvm#mlir

[Seq] Register symbol with special characters does not round-trip 6 months ago

bug good first issue Seq

llvm/circt

2.2K

Circuit IR Compilers and Tools

C++

#circt#llvm#mlir

[InferResets] Print field/signal names in diagnostic 6 months ago

AI Summary: The `InferResets` pass in CIRCT's FIRRTL dialect currently produces diagnostic messages that lack specific field, signal, or port names, making debugging difficult, especially with complex bundles or multiple resets. The proposed solution is to implement a `guessName(FieldRef fieldRef)` function that traverses the FIRRTL IR to construct a hierarchical name for the field, which can then be included in the diagnostic output to provide more helpful context to the user.

Complexity: 3/5

good first issue FIRRTL

llvm/circt

2.2K

Circuit IR Compilers and Tools

C++

#circt#llvm#mlir

[FIRRTL] Improve Error Message on Uninferred Reset of Uninstantiated Module 6 months ago

enhancement good first issue

llvm/circt

2.2K

Circuit IR Compilers and Tools