ymherklotz / verismithLinks
Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.
☆106Updated last month
Alternatives and similar repositories for verismith
Users that are interested in verismith are comparing it to the libraries listed below
Sorting:
- ☆103Updated 2 years ago
- RISC-V Formal Verification Framework☆141Updated last week
- Builds, flow and designs for the alpha release☆54Updated 5 years ago
- Plugins for Yosys developed as part of the F4PGA project.☆83Updated last year
- Mutation Cover with Yosys (MCY)☆84Updated 2 weeks ago
- Main page☆126Updated 5 years ago
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆83Updated last year
- SystemVerilog frontend for Yosys☆123Updated this week
- OpTiMSoC - A tiled SoC platform with a mesh NoC and OpenRISC CPU cores☆85Updated 4 years ago
- Advanced Interface Bus (AIB) die-to-die hardware open source☆138Updated 9 months ago
- Tatum: A Fast, Flexible Static Timing Analysis (STA) Engine for Digital Circuits☆62Updated last year
- A dynamic verification library for Chisel.☆151Updated 7 months ago
- RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT☆175Updated last month
- high-performance RTL simulator☆159Updated last year
- ☆23Updated 4 years ago
- ☆96Updated last year
- A 32-bit RISC-V Processor Designed with High-Level Synthesis☆52Updated 5 years ago
- A SystemVerilog source file pickler.☆57Updated 8 months ago
- The Common Evaluation Platform (CEP), based on UCB's Chipyard Framework, is an SoC design that contains only license-unencumbered, freel…☆65Updated 2 years ago
- Wavious DDR (WDDR) Physical interface (PHY) Hardware☆105Updated 3 years ago
- An open source high level synthesis (HLS) tool built on top of LLVM☆124Updated last year
- Standard Cell Library based Memory Compiler using FF/Latch cells☆147Updated last year
- Hardware generator debugger☆74Updated last year
- WAL enables programmable waveform analysis.☆154Updated 2 weeks ago
- AMC: Asynchronous Memory Compiler☆48Updated 4 years ago
- (System)Verilog to Chisel translator☆114Updated 3 years ago
- SystemVerilog synthesis tool☆196Updated 3 months ago
- Equivalence checking with Yosys☆45Updated last week
- IDEA project source files☆106Updated 7 months ago
- An automatic clock gating utility☆49Updated 2 months ago