mflowgen / skywater-130nm
ASIC Design kit for Skywater 130 for use with mflowgen
☆11Updated 2 years ago
Alternatives and similar repositories for skywater-130nm:
Users that are interested in skywater-130nm are comparing it to the libraries listed below
- GOMIL: Global Optimization of Multiplier by Integer Linear Programming☆13Updated 3 years ago
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆40Updated last year
- Generator of arithmetic circuits (multipliers, adders) and approximate circuits☆31Updated 2 months ago
- ☆17Updated 9 months ago
- Hardware Formal Verification☆15Updated 4 years ago
- ☆11Updated 3 years ago
- Implementation of the Advanced Encryption Standard in Chisel☆20Updated 2 years ago
- ☆25Updated 11 months ago
- A configurable SRAM generator☆47Updated 2 months ago
- ☆13Updated 9 months ago
- ☆11Updated 4 years ago
- Runtime-First FPGA Interchange Routing Contest @ FPGA’24☆31Updated last month
- Chisel implementation of AES☆23Updated 5 years ago
- ☆16Updated 4 years ago
- Constrained RAndom Verification Enviroment (CRAVE)☆17Updated last year
- Integer Multiplier Generator for Verilog☆22Updated last year
- ☆31Updated 2 months ago
- An open source PDK using TIGFET 10nm devices.☆48Updated 2 years ago
- QuteRTL: A RTL Front-End Towards Intelligent Synthesis and Verification☆14Updated 8 years ago
- CHIPKIT: An agile, reusable open-source framework for rapid test chip development☆41Updated 4 years ago
- OpenDesign Flow Database☆16Updated 6 years ago
- Benchmarks for Approximate Circuit Synthesis☆15Updated 4 years ago
- An automatic clock gating utility☆45Updated 8 months ago
- Collection of digital hardware modules & projects (benchmarks)☆51Updated 4 months ago
- Arithmetic multiplier benchmarks☆11Updated 7 years ago
- Equivalence checking with Yosys☆40Updated 2 weeks ago
- EDA physical synthesis optimization kit☆51Updated last year
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆80Updated last year
- This is a python repo for flattening Verilog☆16Updated 2 months ago
- Open Source PHY v2☆27Updated 11 months ago