YosysHQ / mcyLinks
Mutation Cover with Yosys (MCY)
☆88Updated 3 weeks ago
Alternatives and similar repositories for mcy
Users that are interested in mcy are comparing it to the libraries listed below
Sorting:
- Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.☆116Updated 6 months ago
- Plugins for Yosys developed as part of the F4PGA project.☆83Updated last year
- Hardware generator debugger☆77Updated last year
- Xilinx Unisim Library in Verilog☆87Updated 5 years ago
- An automatic clock gating utility☆51Updated 7 months ago
- A collection of big designs to run post-synthesis simulations with yosys☆50Updated 10 years ago
- A SystemVerilog source file pickler.☆60Updated last year
- ☆38Updated 3 years ago
- WAL enables programmable waveform analysis.☆162Updated 3 weeks ago
- Create fast and efficient standard cell based adders, multipliers and multiply-adders.☆120Updated 2 years ago
- FPGA tool performance profiling☆103Updated last year
- Riscy Processors - Open-Sourced RISC-V Processors☆73Updated 6 years ago
- FuseSoC standard core library☆149Updated 6 months ago
- mantle library☆44Updated 2 years ago
- Demo SoC for SiliconCompiler.☆62Updated last week
- SystemVerilog frontend for Yosys☆176Updated this week
- Wavious DDR (WDDR) Physical interface (PHY) Hardware☆117Updated 4 years ago
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆43Updated 2 years ago
- Multiply-Accumulate and Rectified-Linear Accelerator for Neural Networks☆91Updated 6 years ago
- Building and deploying container images for open source electronic design automation (EDA)☆115Updated last year
- The CORE-V CVA5 is an Application class 5-stage RISC-V CPU specifically targetting FPGA implementations.☆124Updated 4 months ago
- Open-source FPGA research and prototyping framework.☆210Updated last year
- Naive Educational RISC V processor☆91Updated last month
- SystemVerilog synthesis tool☆219Updated 8 months ago
- Naive Educational RISC-V -- A simple single-stage RV32I processor☆27Updated 5 years ago
- YosysHQ SVA AXI Properties☆43Updated 2 years ago
- ☆87Updated last month
- Small SERV-based SoC primarily for OpenMPW tapeout☆48Updated 6 months ago
- Yet Another RISC-V Implementation☆99Updated last year
- ☆33Updated 10 months ago