ChatDesignVerification / GenBenLinks
Generative Benchmark for LLM-Aided Hardware Design
☆23Updated 4 months ago
Alternatives and similar repositories for GenBen
Users that are interested in GenBen are comparing it to the libraries listed below
Sorting:
- HDLGen is an HDL generation tool, supporting embedded Perl or Python script, reduce manual work & improve effiency with a few embedded f…☆106Updated 2 years ago
- An AXI4 crossbar implementation in SystemVerilog☆177Updated last month
- An open-source benchmark for generating design RTL with natural language☆135Updated 11 months ago
- ☆37Updated 6 years ago
- Base on Synopsys platform using VCS,DC,ICC,PT.☆12Updated 4 years ago
- For pre-silicon developers of RISC-V systems, riscv-vip is a SystemVerilog project that helps with pre-si verification and debug☆64Updated 4 years ago
- RTL Network-on-Chip Router Design in SystemVerilog by Andrea Galimberti, Filippo Testa and Alberto Zeni☆132Updated 7 years ago
- ☆64Updated 3 years ago
- A verilog implementation for Network-on-Chip☆77Updated 7 years ago
- HDL code for a DDR4 memory controller implementing an Open Page Policy and Out of Order execution.☆82Updated 7 years ago
- ☆25Updated 6 months ago
- SystemVerilog modules and classes commonly used for verification☆50Updated 9 months ago
- Assertion-Based Formal Verification of an AHB2APB bridge, featuring SystemVerilog assertions, RTL designs, and detailed documentation inc…☆20Updated last year
- Generating Hardware Verification Assertions from Design Specifications via Multi-LLMs☆39Updated last year
- Prototype-network-on-chip (ProNoC) is an EDA tool that facilitates prototyping of custom heterogeneous NoC-based many-core-SoC (MCSoC).☆59Updated this week
- Advanced Architecture Labs with CVA6☆69Updated last year
- ☆56Updated 6 years ago
- Verilog parser, preprocessor, and related tools for the Verilog-Perl package☆144Updated last year
- Vector processor for RISC-V vector ISA☆129Updated 5 years ago
- Verification environment for the OpenHW Group's CORE-V High Performance Data Cache controller.☆18Updated 8 months ago
- Network on Chip Implementation written in SytemVerilog☆192Updated 3 years ago
- ☆201Updated 7 months ago
- A Chisel RTL generator for network-on-chip interconnects☆215Updated 2 months ago
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆89Updated last year
- ☆78Updated 11 years ago
- MasterRTL: A Pre-Synthesis PPA Estimation Framework for Any RTL Design☆58Updated 5 months ago
- A Fast, Low-Overhead On-chip Network☆231Updated this week
- GPGPU supporting RISCV-V, developed with verilog HDL☆118Updated 8 months ago
- HLS for Networks-on-Chip☆36Updated 4 years ago
- A dynamic verification library for Chisel.☆156Updated 11 months ago