YosysHQ / mcy
Mutation Cover with Yosys (MCY)
☆80Updated last week
Alternatives and similar repositories for mcy
Users that are interested in mcy are comparing it to the libraries listed below
Sorting:
- A SystemVerilog source file pickler.☆56Updated 6 months ago
- SystemVerilog frontend for Yosys☆103Updated this week
- ☆36Updated 2 years ago
- Plugins for Yosys developed as part of the F4PGA project.☆83Updated 11 months ago
- A collection of big designs to run post-synthesis simulations with yosys☆49Updated 9 years ago
- Naive Educational RISC V processor☆83Updated 7 months ago
- FuseSoC standard core library☆136Updated last month
- Xilinx Unisim Library in Verilog☆77Updated 4 years ago
- An automatic clock gating utility☆47Updated 3 weeks ago
- ☆78Updated last year
- Demo SoC for SiliconCompiler.☆59Updated 2 months ago
- ☆31Updated last year
- FPGA tool performance profiling☆102Updated last year
- A Verilog Synthesis Regression Test☆37Updated last year
- Small SERV-based SoC primarily for OpenMPW tapeout☆42Updated 4 months ago
- Hardware generator debugger☆73Updated last year
- The CORE-V CVA5 is an Application class 5-stage RISC-V CPU specifically targetting FPGA implementations.☆98Updated last month
- RISC-V Processor written in Amaranth HDL☆37Updated 3 years ago
- Tutorial tour of the RISC-V ISA Spec (expressed in SAIL ISA spec language)☆36Updated 4 years ago
- Documentation with code examples about interfacing VHDL with foreign languages and tools through GHDL☆48Updated last week
- ☆55Updated 2 years ago
- Featherweight RISC-V implementation☆52Updated 3 years ago
- Gate-level visualization generator for SKY130-based chip designs.☆19Updated 3 years ago
- A padring generator for ASICs☆25Updated last year
- Proposed RISC-V Composable Custom Extensions Specification☆69Updated last year
- User-friendly explanation of Yosys options☆113Updated 3 years ago
- Yet Another RISC-V Implementation☆93Updated 7 months ago
- Naive Educational RISC-V -- A simple single-stage RV32I processor☆27Updated 4 years ago
- ☆31Updated 4 months ago
- Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.☆103Updated 5 months ago