YosysHQ / yosys-tests
Collection of test cases for Yosys
☆17Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for yosys-tests
- Benchmarks for Yosys development☆22Updated 4 years ago
- Python library for working Standard Delay Format (SDF) Timing Annotation files.☆28Updated 4 months ago
- A padring generator for ASICs☆22Updated last year
- A collection of big designs to run post-synthesis simulations with yosys☆47Updated 9 years ago
- An automatic clock gating utility☆43Updated 4 months ago
- A library and command-line tool for querying a Verilog netlist.☆26Updated 2 years ago
- netlistDB - Intermediate format for digital hardware representation with graph database API☆29Updated 3 years ago
- A Verilog Synthesis Regression Test☆34Updated 8 months ago
- Equivalence checking with Yosys☆31Updated 2 weeks ago
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆39Updated last year
- ☆33Updated 2 years ago
- SystemVerilog frontend for Yosys☆51Updated this week
- Source codes and calibration scripts for clock tree synthesis☆39Updated 4 years ago
- ☆36Updated 2 years ago
- Builds, flow and designs for the alpha release☆53Updated 4 years ago
- This repo shows an implementation of an FPGA from RTL to GDS with open Skywater-130 pdk☆26Updated 3 years ago
- OpenDesign Flow Database☆16Updated 6 years ago
- Mutation Cover with Yosys (MCY)☆77Updated 2 weeks ago
- ☆52Updated 2 years ago
- Plugins for Yosys developed as part of the F4PGA project.☆80Updated 6 months ago
- Implementation of the Advanced Encryption Standard in Chisel☆20Updated 2 years ago
- 👾 Design ∪ Hardware☆72Updated 2 weeks ago
- ☆18Updated 4 years ago
- ☆30Updated last year
- BAG framework☆41Updated 4 months ago
- This document adopts the method from the XAPP1230 for doing readback capture on Xilinx UltraScale devices and shows how to migrate the sa…☆14Updated 5 years ago
- Trying to verify Verilog/VHDL designs with formal methods and tools☆41Updated 8 months ago
- Naive Educational RISC-V -- A simple single-stage RV32I processor☆24Updated 4 years ago
- Python interface to FPGA interchange format☆41Updated 2 years ago
- Small SERV-based SoC primarily for OpenMPW tapeout☆35Updated last year