circt/test/circt-verilog
Fabian Schuiki dbbc952d89
[circt-verilog] Add register-to-memory pass to pipeline (#8773)
Add the new RegOfVecToMem pass to the circt-verilog pipeline. This will
detect memories described as `always` blocks and map them from the
current `seq.firreg` representation to the correpsonding `seq.firmem`.
This allows later parts of the pipeline to reason about memories more
easily and transform them if needed.
2025-07-23 15:24:37 -07:00
..
include [ImportVerilog] Add import options and Verilog preprocessing (#6632) 2024-02-08 11:08:03 -08:00
basic.mlir [circt-verilog] Only run test when slang is available 2024-11-12 12:19:41 -08:00
commandline.sv [ImportVerilog] Add Slang frontend dependency (#6620) 2024-01-30 13:22:00 -08:00
memories.sv [circt-verilog] Add register-to-memory pass to pipeline (#8773) 2025-07-23 15:24:37 -07:00
preprocess-errors.sv [circt-verilog] Add "REQUIRES: slang" to new tests 2024-02-08 14:55:44 -05:00
preprocess-multiple-files.sv [ImportVerilog] Fix single unit preprocessor option (#6682) 2024-02-09 09:15:43 -08:00
preprocess.sv [circt-verilog] Add "REQUIRES: slang" to new tests 2024-02-08 14:55:44 -05:00
registers.sv [Deseq] Add bin flag to enable mux (#8686) 2025-07-11 08:11:00 -07:00
roundtrip-register-enable.sv [Deseq] Add bin flag to enable mux (#8686) 2025-07-11 08:11:00 -07:00