YosysHQ / yosys-bigsim
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
- Mutation Cover with Yosys (MCY)☆81Updated this week
- A library and command-line tool for querying a Verilog netlist.☆26Updated 2 years ago
- ☆36Updated 2 years ago
- Benchmarks for Yosys development☆23Updated 4 years ago
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆39Updated last year
- Proposed RISC-V Composable Custom Extensions Specification☆69Updated 9 months ago
- Digital Hardware Modelling using VHDL, Verilog, SystemVerilog, SystemC, HLS(C++, OpenCL)☆62Updated this week
- ☆54Updated 2 years ago
- Python library for working Standard Delay Format (SDF) Timing Annotation files.☆28Updated 7 months ago
- A SystemVerilog source file pickler.☆54Updated 3 months ago
- Collection of test cases for Yosys☆18Updated 3 years ago
- The CORE-V CVA5 is an Application class 5-stage RISC-V CPU specifically targetting FPGA implementations.☆67Updated 10 months ago
- Plugins for Yosys developed as part of the F4PGA project.☆80Updated 9 months ago
- SystemVerilog frontend for Yosys☆71Updated 2 weeks ago
- An automatic clock gating utility☆43Updated 7 months ago
- OpTiMSoC - A tiled SoC platform with a mesh NoC and OpenRISC CPU cores☆83Updated 3 years ago
- 👾 Design ∪ Hardware☆74Updated 3 months ago
- Workshop on Open-Source EDA Technology (WOSET)☆48Updated 2 months ago
- This is a Clang tool that parses SystemC models, and synthesizes Verilog from it.☆79Updated 4 months ago
- RISC-V eXtension interface that provides a generalized framework suitable to implement custom coprocessors and ISA extensions☆60Updated 8 months ago
- ☆40Updated 5 years ago
- Library of open source Process Design Kits (PDKs)☆33Updated last week
- Determines the modules declared and instantiated in a SystemVerilog file☆43Updated 4 months ago
- FPGA tool performance profiling☆102Updated 11 months ago
- ⛔ DEPRECATED ⛔ RISC-V manycore accelerator for HERO, bigPULP hardware platform☆50Updated 3 years ago
- Builds, flow and designs for the alpha release☆54Updated 5 years ago
- Source codes and calibration scripts for clock tree synthesis☆40Updated 4 years ago
- ☆31Updated last year
- Automatic SystemVerilog linting in github actions with the help of Verible☆33Updated 3 months ago
- A Verilog Synthesis Regression Test☆35Updated 10 months ago