YosysHQ / yosys-bigsimLinks
A collection of big designs to run post-synthesis simulations with yosys
☆49Updated 9 years ago
Alternatives and similar repositories for yosys-bigsim
Users that are interested in yosys-bigsim are comparing it to the libraries listed below
Sorting:
- ☆37Updated 3 years ago
- Mutation Cover with Yosys (MCY)☆85Updated this week
- Builds, flow and designs for the alpha release☆54Updated 5 years ago
- Benchmarks for Yosys development☆24Updated 5 years ago
- Plugins for Yosys developed as part of the F4PGA project.☆83Updated last year
- Collection of test cases for Yosys☆18Updated 3 years ago
- A Verilog Synthesis Regression Test☆37Updated last year
- Facilitates building open source tools for working with hardware description languages (HDLs)☆64Updated 5 years ago
- Demo SoC for SiliconCompiler.☆59Updated last month
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆42Updated 2 years ago
- ☆113Updated 4 years ago
- Xilinx Unisim Library in Verilog☆78Updated 4 years ago
- ☆56Updated 3 years ago
- Small SERV-based SoC primarily for OpenMPW tapeout☆44Updated last month
- A library and command-line tool for querying a Verilog netlist.☆27Updated 3 years ago
- An automatic clock gating utility☆50Updated 3 months ago
- SymbiFlow WIP changes for Verilog to Routing -- Open Source CAD Flow for FPGA Research☆38Updated 10 months ago
- FPGA tool performance profiling☆102Updated last year
- ⛔ DEPRECATED ⛔ RISC-V manycore accelerator for HERO, bigPULP hardware platform☆51Updated 3 years ago
- The Common Evaluation Platform (CEP), based on UCB's Chipyard Framework, is an SoC design that contains only license-unencumbered, freel…☆65Updated 2 years ago
- OpTiMSoC - A tiled SoC platform with a mesh NoC and OpenRISC CPU cores☆85Updated 4 years ago
- A padring generator for ASICs☆25Updated 2 years ago
- Riscy Processors - Open-Sourced RISC-V Processors☆74Updated 6 years ago
- Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.☆106Updated 2 months ago
- Create fast and efficient standard cell based adders, multipliers and multiply-adders.☆115Updated last year
- Universal Verification Methodology (UVM) base libraries, with edits for Verilator☆27Updated 5 years ago
- ☆44Updated 5 years ago
- Technology dependent cells instantiated in the design for generic process (simulation, FPGA)☆62Updated 5 months ago
- Yet Another RISC-V Implementation☆94Updated 9 months ago
- BAG framework☆41Updated 11 months ago