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
- Builds, flow and designs for the alpha release☆54Updated 5 years ago
- Mutation Cover with Yosys (MCY)☆80Updated last week
- An automatic clock gating utility☆45Updated 8 months ago
- Python library for working Standard Delay Format (SDF) Timing Annotation files.☆28Updated 8 months ago
- Plugins for Yosys developed as part of the F4PGA project.☆80Updated 10 months ago
- Proposed RISC-V Composable Custom Extensions Specification☆70Updated 10 months ago
- ☆36Updated 2 years ago
- Benchmarks for Yosys development☆23Updated 5 years ago
- Collection of test cases for Yosys☆18Updated 3 years ago
- ☆41Updated 5 years ago
- Digital Hardware Modelling using VHDL, Verilog, SystemVerilog, SystemC, HLS(C++, OpenCL)☆63Updated last month
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆39Updated last year
- SystemVerilog frontend for Yosys☆80Updated this week
- A library and command-line tool for querying a Verilog netlist.☆26Updated 2 years ago
- Source codes and calibration scripts for clock tree synthesis☆40Updated 5 years ago
- ☆31Updated 4 years ago
- ☆55Updated 2 years ago
- Universal Verification Methodology (UVM) base libraries, with edits for Verilator☆26Updated 4 years ago
- Workshop on Open-Source EDA Technology (WOSET)☆49Updated 4 months ago
- This is a Clang tool that parses SystemC models, and synthesizes Verilog from it.☆81Updated 5 months ago
- ☆31Updated last year
- Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.☆100Updated 4 months ago
- Matchlib Connections Library - latency insensitive channels (from NVlabs/matchlib/connections)☆37Updated 6 months ago
- Python interface to FPGA interchange format☆41Updated 2 years ago
- Facilitates building open source tools for working with hardware description languages (HDLs)☆63Updated 5 years ago
- ☆67Updated 2 years ago
- CHIPKIT: An agile, reusable open-source framework for rapid test chip development☆40Updated 4 years ago
- SymbiFlow WIP changes for Verilog to Routing -- Open Source CAD Flow for FPGA Research☆37Updated 6 months ago
- ☆53Updated last year
- Multiply-Accumulate and Rectified-Linear Accelerator for Neural Networks☆87Updated 5 years ago