Search results

[Synth] Add attribute for linear delay model and pass to approximate them from NLDM attr

Status: Open.

#10382 In llvm/circt;

· uenoku opened on May 5, 2026

[InferResets][SpecializeOption] Option specialization creates dead modules and causes uninferred resets

Status: Open.

#10380 In llvm/circt;

· uenoku opened on May 5, 2026

[Seq] FIFO lowering: emits unguarded assert property, breaking synthesis

SeqInvolving the `seq` dialectInvolving the `seq` dialect

verif

Status: Open.

#10378 In llvm/circt;

· teqdruid opened on May 4, 2026

[ExportVerilog] Add option to limit identifier length

ExportVerilog

Status: Open.

#10356 In llvm/circt;

· teqdruid opened on Apr 29, 2026

Feature Request: Native support for negedge clock in FIRRTL

Status: Open.

#10329 In llvm/circt;

· sequencer opened on Apr 26, 2026

[--flatten-memref] Flattened Indices are incorrect

Status: Open.

#10326 In llvm/circt;

· Abhilekhgautam opened on Apr 25, 2026

[FIRRTL] Dead port elimination on non-public module targeted by firrtl.simulation breaks verifier

FIRRTLInvolving the `firrtl` dialectInvolving the `firrtl` dialect

Status: Open.

#10317 In llvm/circt;

· fabianschuiki opened on Apr 24, 2026

[Synth][circt-synth] Allow transform dialect to specify user defined synthesis pipelines

enhancementNew feature or requestNew feature or request

Synth

Status: Open.

#10315 In llvm/circt;

· uenoku opened on Apr 24, 2026

[AIGERImporter] Add lowering for justice and fairness properties

Status: Open.

#10298 In llvm/circt;

· okekayode opened on Apr 22, 2026

[FIRRTL] IMDeadCodeElim intermittent crash

bugSomething isn't workingSomething isn't working

FIRRTLInvolving the `firrtl` dialectInvolving the `firrtl` dialect

Status: Open.

#10274 In llvm/circt;

· seldridge opened on Apr 19, 2026

[ExportVerilog] Add ExportVerilogPipeline (Prettify, HWLegalizeModules, ExportVerilog) etc

Status: Open.

#10268 In llvm/circt;

· uenoku opened on Apr 18, 2026

[FIRRTL] Expand Whens Doesn't Check firrtl.wire initialization of domain type

bugSomething isn't workingSomething isn't working

FIRRTLInvolving the `firrtl` dialectInvolving the `firrtl` dialect

Status: Open.

#10248 In llvm/circt;

· seldridge opened on Apr 17, 2026