YosysHQ / mcyLinks
Mutation Cover with Yosys (MCY)
☆83Updated 3 weeks ago
Alternatives and similar repositories for mcy
Users that are interested in mcy are comparing it to the libraries listed below
Sorting:
- FuseSoC standard core library☆138Updated last week
- A SystemVerilog source file pickler.☆57Updated 7 months ago
- Plugins for Yosys developed as part of the F4PGA project.☆83Updated last year
- SystemVerilog frontend for Yosys☆117Updated this week
- A collection of big designs to run post-synthesis simulations with yosys☆49Updated 9 years ago
- ☆36Updated 2 years ago
- An automatic clock gating utility☆47Updated last month
- ☆79Updated last year
- Create fast and efficient standard cell based adders, multipliers and multiply-adders.☆114Updated last year
- Prefix tree adder space exploration library☆57Updated 6 months ago
- Wavious DDR (WDDR) Physical interface (PHY) Hardware☆105Updated 3 years ago
- Hardware generator debugger☆74Updated last year
- 8x PLL Clock Multiplier IP with an input frequency range of 5Mhz to 12.5Mhz and output frequency range of 40Mhz to 100Mhz, giving a 8x mu…☆113Updated 3 years ago
- Xilinx Unisim Library in Verilog☆78Updated 4 years ago
- Demo SoC for SiliconCompiler.☆59Updated last week
- ☆31Updated last year
- Yet Another RISC-V Implementation☆93Updated 8 months ago
- Standard Cell Library based Memory Compiler using FF/Latch cells☆147Updated 11 months ago
- Bitstream relocation and manipulation tool.☆45Updated 2 years ago
- Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.☆104Updated 2 weeks ago
- Examples of using PSL for functional and formal verification of VHDL with GHDL (and SymbiYosys)☆66Updated 4 months ago
- Project X-Ray Database: XC7 Series☆69Updated 3 years ago
- Featherweight RISC-V implementation☆52Updated 3 years ago
- FPGA tool performance profiling☆102Updated last year
- System on Chip toolkit for Amaranth HDL☆90Updated 7 months ago
- ☆56Updated 2 years ago
- Documenting the Xilinx Ultrascale, Ultrascale+ and UltraScale MPSoC series bit-stream format.☆76Updated 3 years ago
- WAL enables programmable waveform analysis.☆151Updated 3 months ago
- SystemVerilog synthesis tool☆194Updated 2 months ago
- Multiply-Accumulate and Rectified-Linear Accelerator for Neural Networks☆89Updated 5 years ago