ChatDesignVerification / GenBenLinks
Generative Benchmark for LLM-Aided Hardware Design
☆24Updated 3 months ago
Alternatives and similar repositories for GenBen
Users that are interested in GenBen are comparing it to the libraries listed below
Sorting:
- An AXI4 crossbar implementation in SystemVerilog☆174Updated 2 weeks ago
- An open-source benchmark for generating design RTL with natural language☆130Updated 10 months ago
- ☆23Updated 5 months ago
- A Fast, Low-Overhead On-chip Network☆226Updated last month
- RTL Network-on-Chip Router Design in SystemVerilog by Andrea Galimberti, Filippo Testa and Alberto Zeni☆129Updated 7 years 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
- ☆35Updated 6 years ago
- A verilog implementation for Network-on-Chip☆76Updated 7 years ago
- ☆62Updated 3 years ago
- ☆53Updated 6 years ago
- Prototype-network-on-chip (ProNoC) is an EDA tool that facilitates prototyping of custom heterogeneous NoC-based many-core-SoC (MCSoC).☆59Updated last month
- Base on Synopsys platform using VCS,DC,ICC,PT.☆12Updated 4 years ago
- Advanced Architecture Labs with CVA6☆68Updated last year
- Verification environment for the OpenHW Group's CORE-V High Performance Data Cache controller.☆16Updated 7 months ago
- Verilog parser, preprocessor, and related tools for the Verilog-Perl package☆139Updated last year
- Network on Chip Implementation written in SytemVerilog☆191Updated 3 years ago
- HDLGen is an HDL generation tool, supporting embedded Perl or Python script, reduce manual work & improve effiency with a few embedded f…☆104Updated last year
- HDL code for a DDR4 memory controller implementing an Open Page Policy and Out of Order execution.☆79Updated 7 years ago
- This repository is dedicated to providing a comprehensive guide and practical examples for using VC Formal for formal verification. Our g…☆37Updated last year
- INT8 & FP16 multiplier accumulator (MAC) design with UVM verification completed.☆104Updated 4 years ago
- Generating Hardware Verification Assertions from Design Specifications via Multi-LLMs☆38Updated 10 months ago
- Vector processor for RISC-V vector ISA☆127Updated 4 years ago
- ☆193Updated 2 months ago
- ☆44Updated last year
- GPGPU supporting RISCV-V, developed with verilog HDL☆112Updated 6 months ago
- For pre-silicon developers of RISC-V systems, riscv-vip is a SystemVerilog project that helps with pre-si verification and debug☆63Updated 4 years ago
- A Chisel RTL generator for network-on-chip interconnects☆210Updated last month
- ☆78Updated 10 years ago
- MasterRTL: A Pre-Synthesis PPA Estimation Framework for Any RTL Design☆54Updated 3 months ago
- ☆16Updated 6 years ago