YosysHQ / mcyLinks
Mutation Cover with Yosys (MCY)
☆88Updated this week
Alternatives and similar repositories for mcy
Users that are interested in mcy are comparing it to the libraries listed below
Sorting:
- An automatic clock gating utility☆51Updated 6 months ago
- Hardware generator debugger☆77Updated last year
- Xilinx Unisim Library in Verilog☆86Updated 5 years ago
- Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.☆116Updated 5 months ago
- Create fast and efficient standard cell based adders, multipliers and multiply-adders.☆118Updated 2 years ago
- SystemVerilog frontend for Yosys☆168Updated this week
- WAL enables programmable waveform analysis.☆160Updated this week
- A collection of big designs to run post-synthesis simulations with yosys☆49Updated 10 years ago
- Plugins for Yosys developed as part of the F4PGA project.☆83Updated last year
- FPGA tool performance profiling☆103Updated last year
- ☆38Updated 3 years ago
- A SystemVerilog source file pickler.☆60Updated last year
- Naive Educational RISC V processor☆91Updated last month
- ☆56Updated 3 years ago
- SystemVerilog synthesis tool☆217Updated 8 months ago
- YosysHQ SVA AXI Properties☆43Updated 2 years ago
- Yet Another RISC-V Implementation☆98Updated last year
- ☆33Updated 10 months ago
- Open-source FPGA research and prototyping framework.☆209Updated last year
- Patmos is a time-predictable VLIW processor, and the processor for the T-CREST project☆149Updated 2 weeks ago
- Multiply-Accumulate and Rectified-Linear Accelerator for Neural Networks☆91Updated 6 years ago
- ☆58Updated 7 months ago
- Naive Educational RISC-V -- A simple single-stage RV32I processor☆27Updated 5 years ago
- Bitstream relocation and manipulation tool.☆48Updated 2 years ago
- Demo SoC for SiliconCompiler.☆62Updated 2 weeks ago
- Debuggable hardware generator☆70Updated 2 years ago
- The Common Evaluation Platform (CEP), based on UCB's Chipyard Framework, is an SoC design that contains only license-unencumbered, freel…☆66Updated 2 years ago
- Wavious DDR (WDDR) Physical interface (PHY) Hardware☆116Updated 4 years ago
- RISC-V Formal Verification Framework☆164Updated last week
- FuseSoC standard core library☆147Updated 5 months ago