YosysHQ / mcy
Mutation Cover with Yosys (MCY)
☆80Updated 3 weeks ago
Alternatives and similar repositories for mcy:
Users that are interested in mcy are comparing it to the libraries listed below
- SystemVerilog frontend for Yosys☆81Updated 2 weeks ago
- A SystemVerilog source file pickler.☆56Updated 5 months ago
- Plugins for Yosys developed as part of the F4PGA project.☆83Updated 10 months ago
- ☆36Updated 2 years ago
- Xilinx Unisim Library in Verilog☆75Updated 4 years ago
- A collection of big designs to run post-synthesis simulations with yosys☆49Updated 9 years ago
- FuseSoC standard core library☆130Updated 2 months ago
- ☆31Updated last year
- Python interface to FPGA interchange format☆41Updated 2 years ago
- FPGA tool performance profiling☆102Updated last year
- Hardware generator debugger☆73Updated last year
- An automatic clock gating utility☆45Updated 8 months ago
- Create fast and efficient standard cell based adders, multipliers and multiply-adders.☆111Updated last year
- Proposed RISC-V Composable Custom Extensions Specification☆70Updated 10 months ago
- ☆55Updated 2 years ago
- The CORE-V CVA5 is an Application class 5-stage RISC-V CPU specifically targetting FPGA implementations.☆88Updated 2 weeks ago
- A Verilog Synthesis Regression Test☆37Updated last year
- ☆34Updated this week
- Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.☆103Updated 4 months ago
- A collection of debugging busses developed and presented at zipcpu.com☆40Updated last year
- ☆31Updated 2 months ago
- Riscy Processors - Open-Sourced RISC-V Processors☆73Updated 5 years ago
- OpTiMSoC - A tiled SoC platform with a mesh NoC and OpenRISC CPU cores☆83Updated 4 years ago
- Wavious DDR (WDDR) Physical interface (PHY) Hardware☆101Updated 3 years ago
- WAL enables programmable waveform analysis.☆147Updated last month
- ☆77Updated last year
- Python/C/RTL cosimulation with Xilinx's xsim simulator☆65Updated 6 months ago
- SystemVerilog synthesis tool☆183Updated 3 weeks ago
- Trying to verify Verilog/VHDL designs with formal methods and tools☆41Updated last year
- RISC-V Formal Verification Framework☆131Updated 3 weeks ago