YosysHQ / mcy
Mutation Cover with Yosys (MCY)
☆77Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for mcy
- Plugins for Yosys developed as part of the F4PGA project.☆81Updated 6 months ago
- FuseSoC standard core library☆115Updated last month
- 👾 Design ∪ Hardware☆72Updated 2 weeks ago
- Prefix tree adder space exploration library☆55Updated this week
- A SystemVerilog source file pickler.☆51Updated last month
- FPGA tool performance profiling☆102Updated 8 months ago
- ☆36Updated 2 years ago
- ☆76Updated 8 months ago
- An automatic clock gating utility☆43Updated 4 months ago
- Xilinx Unisim Library in Verilog☆71Updated 4 years ago
- Proposed RISC-V Composable Custom Extensions Specification☆67Updated 6 months ago
- ☆29Updated 2 months ago
- Create fast and efficient standard cell based adders, multipliers and multiply-adders.☆110Updated last year
- Hardware generator debugger☆71Updated 9 months ago
- slang-based frontend for Yosys☆43Updated this week
- Bitstream relocation and manipulation tool.☆40Updated last year
- A collection of big designs to run post-synthesis simulations with yosys☆47Updated 9 years ago
- Python interface to FPGA interchange format☆41Updated 2 years ago
- Documenting the Xilinx Ultrascale, Ultrascale+ and UltraScale MPSoC series bit-stream format.☆71Updated 2 years ago
- The Common Evaluation Platform (CEP), based on UCB's Chipyard Framework, is an SoC design that contains only license-unencumbered, freel…☆60Updated last year
- Facilitates building open source tools for working with hardware description languages (HDLs)☆62Updated 4 years ago
- RISC-V eXtension interface that provides a generalized framework suitable to implement custom coprocessors and ISA extensions☆60Updated 5 months ago
- WAL enables programmable waveform analysis.☆138Updated 3 weeks ago
- Wavious DDR (WDDR) Physical interface (PHY) Hardware☆98Updated 3 years ago
- Multiply-Accumulate and Rectified-Linear Accelerator for Neural Networks☆84Updated 5 years ago
- Virtual processor co-simulation element for Verilog, VHDL and SystemVerilog environments☆47Updated this week
- Project X-Ray Database: XC7 Series☆63Updated 2 years ago
- ☆52Updated 2 years ago
- SystemVerilog synthesis tool☆169Updated this week