ymherklotz / verismithLinks
Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.
☆104Updated 2 weeks ago
Alternatives and similar repositories for verismith
Users that are interested in verismith are comparing it to the libraries listed below
Sorting:
- Mutation Cover with Yosys (MCY)☆83Updated 3 weeks ago
- ☆103Updated 2 years ago
- A SystemVerilog source file pickler.☆57Updated 7 months ago
- Builds, flow and designs for the alpha release☆54Updated 5 years ago
- Hardware generator debugger☆74Updated last year
- Equivalence checking with Yosys☆43Updated 3 weeks ago
- RISC-V Formal Verification Framework☆139Updated this week
- SystemVerilog frontend for Yosys☆117Updated last week
- A 32-bit RISC-V Processor Designed with High-Level Synthesis☆52Updated 5 years ago
- A collection of big designs to run post-synthesis simulations with yosys☆49Updated 9 years ago
- An automatic clock gating utility☆47Updated last month
- A Modeling and Verification Platform for SoCs using ILAs☆77Updated 10 months ago
- RISC-V eXtension interface that provides a generalized framework suitable to implement custom coprocessors and ISA extensions☆67Updated last year
- AXI Adapter(s) for RISC-V Atomic Operations☆64Updated 3 weeks ago
- Plugins for Yosys developed as part of the F4PGA project.☆83Updated last year
- high-performance RTL simulator☆159Updated 11 months 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
- Python wrapper for verilator model☆84Updated last year
- Advanced Interface Bus (AIB) die-to-die hardware open source☆138Updated 8 months ago
- ☆23Updated 4 years ago
- Main page☆126Updated 5 years ago
- Standard Cell Library based Memory Compiler using FF/Latch cells☆147Updated 11 months ago
- Proposed RISC-V Composable Custom Extensions Specification☆70Updated last year
- Announcements related to Verilator☆39Updated 5 years ago
- Wavious DDR (WDDR) Physical interface (PHY) Hardware☆105Updated 3 years ago
- FPGA-Accelerated Simulation Framework Automatically Transforming Arbitrary RTL☆101Updated 5 years ago
- SystemVerilog synthesis tool☆194Updated 2 months ago
- ☆31Updated last year
- ☆56Updated 2 years ago
- (System)Verilog to Chisel translator☆114Updated 3 years ago