YosysHQ / yosys-tests
Collection of test cases for Yosys
☆16Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for yosys-tests
- Benchmarks for Yosys development☆21Updated 4 years ago
- A padring generator for ASICs☆22Updated last year
- Python library for working Standard Delay Format (SDF) Timing Annotation files.☆28Updated 3 months ago
- A library and command-line tool for querying a Verilog netlist.☆26Updated 2 years ago
- An automatic clock gating utility☆40Updated 3 months ago
- A Verilog Synthesis Regression Test☆34Updated 7 months ago
- KLayout technology files for ASAP7 FinFET educational process☆18Updated last year
- ☆36Updated 2 years ago
- netlistDB - Intermediate format for digital hardware representation with graph database API☆29Updated 3 years ago
- Cross EDA Abstraction and Automation☆35Updated 2 weeks ago
- Trying to verify Verilog/VHDL designs with formal methods and tools☆41Updated 8 months ago
- A collection of big designs to run post-synthesis simulations with yosys☆46Updated 9 years ago
- ☆30Updated last year
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆39Updated last year
- SCARV: a side-channel hardened RISC-V platform☆24Updated last year
- ☆20Updated 2 years ago
- Implementation of the Advanced Encryption Standard in Chisel☆19Updated 2 years ago
- Builds, flow and designs for the alpha release☆53Updated 4 years ago
- Fluid Pipelines☆11Updated 6 years ago
- slang-based frontend for Yosys☆41Updated this week
- LIS Network-on-Chip Implementation☆29Updated 8 years ago
- BAG framework☆41Updated 3 months ago
- Extended and external tests for Verilator testing☆15Updated 2 weeks ago
- ☆22Updated last year
- Source codes and calibration scripts for clock tree synthesis☆39Updated 4 years ago
- ☆29Updated 2 months ago
- ☆32Updated last year
- 👾 Design ∪ Hardware☆72Updated this week
- This document adopts the method from the XAPP1230 for doing readback capture on Xilinx UltraScale devices and shows how to migrate the sa…☆14Updated 4 years ago
- Open source fpga project leveraging vtr CAD flow.☆26Updated last year