System Verilog Support for CIRCT and Its Simulator

Client: Moritz Scherer, Mosaic moritz@mosaic-soc.com

Open-source hardware development is rapidly gaining traction, with projects such as RISC-V, CHIPS Alliance, and CIRCT aiming to make hardware design as transparent and collaborative as open-source software. A key challenge is building reliable, open compiler infrastructure that can handle the complexity of modern hardware description languages like SystemVerilog. This project contributes to that effort by extending the CIRCT-Verilog compiler so that a wider range of real-world SystemVerilog examples can be compiled into CIRCT’s core MLIR dialects. The team will identify unsupported constructs, implement new compiler transformations, and validate their work by expanding the set of examples that successfully lower through the CIRCT toolchain.