YosysHQ / mcyLinks
Mutation Cover with Yosys (MCY)
☆87Updated last month
Alternatives and similar repositories for mcy
Users that are interested in mcy are comparing it to the libraries listed below
Sorting:
- A collection of big designs to run post-synthesis simulations with yosys☆50Updated 9 years ago
- Hardware generator debugger☆76Updated last year
- Plugins for Yosys developed as part of the F4PGA project.☆84Updated last year
- ☆38Updated 3 years ago
- Create fast and efficient standard cell based adders, multipliers and multiply-adders.☆118Updated 2 years ago
- FPGA tool performance profiling☆102Updated last year
- mantle library☆44Updated 2 years ago
- Xilinx Unisim Library in Verilog☆85Updated 5 years ago
- A SystemVerilog source file pickler.☆60Updated 11 months ago
- SystemVerilog frontend for Yosys☆165Updated this week
- Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.☆115Updated 4 months ago
- Debuggable hardware generator☆70Updated 2 years ago
- An automatic clock gating utility☆50Updated 5 months ago
- ☆80Updated last week
- WAL enables programmable waveform analysis.☆157Updated 3 months ago
- Tutorial tour of the RISC-V ISA Spec (expressed in SAIL ISA spec language)☆37Updated 4 years ago
- Demo SoC for SiliconCompiler.☆61Updated last week
- Naive Educational RISC V processor☆88Updated 2 months ago
- ☆32Updated 8 months ago
- RISC-V Formal Verification Framework☆150Updated last week
- Naive Educational RISC-V -- A simple single-stage RV32I processor☆27Updated 4 years ago
- FuseSoC standard core library☆147Updated 4 months ago
- Multiply-Accumulate and Rectified-Linear Accelerator for Neural Networks☆91Updated 6 years ago
- For contributions of Chisel IP to the chisel community.☆66Updated 10 months ago
- Wavious DDR (WDDR) Physical interface (PHY) Hardware☆111Updated 4 years ago
- Documenting the Xilinx Ultrascale, Ultrascale+ and UltraScale MPSoC series bit-stream format.☆81Updated 3 years ago
- Yet Another RISC-V Implementation☆97Updated last year
- Benchmarks for Yosys development☆24Updated 5 years ago
- Riscy Processors - Open-Sourced RISC-V Processors☆73Updated 6 years ago
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆42Updated 2 years ago