YosysHQ / mcyLinks
Mutation Cover with Yosys (MCY)
☆86Updated last 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☆50Updated 4 months ago
- Plugins for Yosys developed as part of the F4PGA project.☆84Updated last year
- Create fast and efficient standard cell based adders, multipliers and multiply-adders.☆118Updated last year
- WAL enables programmable waveform analysis.☆155Updated 3 months ago
- Hardware generator debugger☆76Updated last year
- SystemVerilog frontend for Yosys☆157Updated this week
- ☆38Updated 3 years ago
- Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.☆112Updated 3 months ago
- A collection of big designs to run post-synthesis simulations with yosys☆50Updated 9 years ago
- ☆79Updated this week
- FPGA tool performance profiling☆102Updated last year
- Xilinx Unisim Library in Verilog☆85Updated 5 years ago
- A SystemVerilog source file pickler.☆60Updated 10 months ago
- FuseSoC standard core library☆147Updated 3 months ago
- SystemVerilog synthesis tool☆209Updated 6 months ago
- YosysHQ SVA AXI Properties☆42Updated 2 years ago
- Multiply-Accumulate and Rectified-Linear Accelerator for Neural Networks☆90Updated 6 years ago
- Prefix tree adder space exploration library☆57Updated 9 months ago
- Yet Another RISC-V Implementation☆97Updated 11 months ago
- Coriolis VLSI EDA Tool (LIP6)☆70Updated last month
- ☆32Updated 8 months ago
- Main page☆128Updated 5 years ago
- ☆56Updated 3 years ago
- RISC-V Formal Verification Framework☆147Updated last week
- Wavious DDR (WDDR) Physical interface (PHY) Hardware☆108Updated 4 years ago
- Naive Educational RISC V processor☆88Updated last month
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆42Updated 2 years ago
- Caravel is a standard SoC hardness with on chip resources to control and read/write operations from a user-dedicated space.☆137Updated 3 years ago
- Demo SoC for SiliconCompiler.☆60Updated last week
- Riscy Processors - Open-Sourced RISC-V Processors☆73Updated 6 years ago