This proposal focuses on enhancing the Surfer waveform viewer by adding support for memory and wide array visualization. Current waveform views are...
Using AI to Improve Open-Source IP
Muhammad Rayyan Khan
Millions of lines of open-source Verilog exist but remain verbose and hard to maintain. TL-Verilog offers a cleaner abstraction, but almost none of...
Robust Implementation and Verification of the RISC-V Svadu Extension for Ariane+OpenPiton
Seongwon Jo
This project aims to bring Ariane+OpenPiton closer to RISC-V RVA23 compliance by adding support for the Svadu extension. By enabling hardware-managed...
Generate Counter Examples for Bounded Model Checks in CIRCT
Shri Vishakh Devanand
circt-bmc can already prove when an assertion is falsifiable, but it does not yet produce the counterexample trace format hardware developers rely on...
Generic MinimumLinuxBoot for RTL Simulations
Xuhai Chang
Booting Linux in OpenPiton's Verilator RTL simulation takes days. This project builds a checkpoint/restore pipeline: boot Linux in QEMU (minutes),...
