circt issues

[firtool] OM MemorySchema prevents round-tripping FIRRTL output

1

When running a design through firtool with `--repl-seq-mem` enabled and `--ir-fir` to emit FIRRTL dialect IR, the resulting file cannot be run through firtool again to get SV output. The...

fabianschuiki

FIRRTL

[FIRRTL] duplicated `assert` and `$fatal` with dynamic subaccess

3

Hi, I found that using `assert` with dynamic subaccess in firrtl would generate two different type but duplicated `assert` and `$fatal` in verilog. ## Duplicated `assert` and `$fatal` with dynamic...

Tang-Haojin

[FIREmitter] Export raw annotations as inline JSON

1

Consider adding support to exporter for printing out "rawAnnotations" as JSON array on circuit. This would allow better round-tripping of designs containing annotations, and with firtool support to export before...

dtzSiFive

good first issue

FIRRTL

[FIRRTL] Crash when invalidating an enum

The following circuit leads to a `firtool` crash: ``` circuit c: module c: wire w: {|a: UInt, b: UInt|} w is invalid ``` The backtrace is the following: ``` all...

mbty

bug

FIRRTL

[FIRRTL] Crash with const fields in enum types

2

The following circuit leads to a `firtool` crash: ``` circuit c: type enum = {|a: const UInt, b: UInt|} module c: ``` The backtrace is the following: ``` :0: error:...

mbty

[LowerSeqToSV] FIRRTL enum with clock field leads to invalid IR

1

_**Edit:** I initially noticed this behavior using a version of CIRCT that was a few months old but already included the changes from #6138. On commit 649ee55, this fails in...

mbty