pulp-platform / cheshire-ihp130-o
☆37Updated last month
Alternatives and similar repositories for cheshire-ihp130-o:
Users that are interested in cheshire-ihp130-o are comparing it to the libraries listed below
- An automatic clock gating utility☆47Updated 3 weeks ago
- ☆31Updated 4 months ago
- SystemVerilog frontend for Yosys☆100Updated last week
- A configurable SRAM generator☆48Updated 4 months ago
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆41Updated 2 years ago
- Proposed RISC-V Composable Custom Extensions Specification☆69Updated last year
- A SystemVerilog source file pickler.☆56Updated 6 months ago
- ☆36Updated 2 years ago
- AMC: Asynchronous Memory Compiler☆48Updated 4 years ago
- RISC-V Nox core☆62Updated last month
- An Open-Source Toolchain for Top-Metal IC Art and Ultra-High-Fidelity GDSII Renders☆14Updated 2 weeks ago
- A PULP SoC for education, easy to understand and extend with a full flow for a physical design.☆86Updated this week
- An open source PDK using TIGFET 10nm devices.☆48Updated 2 years ago
- Open source process design kit for 28nm open process☆55Updated last year
- Open-source repository for a standard-cell library characterizer using complete open-source tools☆27Updated last week
- Small SERV-based SoC primarily for OpenMPW tapeout☆42Updated 4 months ago
- ☆31Updated last year
- Library of open source Process Design Kits (PDKs)☆39Updated last week
- ☆55Updated 2 years ago
- Open Source tool to build liberty files and for Characterizing Standard Cells.☆27Updated 4 years ago
- ☆54Updated last year
- submission repository for efabless mpw6 shuttle☆30Updated last year
- Equivalence checking with Yosys☆42Updated 3 weeks ago
- Prefix tree adder space exploration library☆57Updated 5 months ago
- tools to help make the most of the limited space we have on the Google sponsored Efabless shuttles☆35Updated 2 years ago
- Open source RTL simulation acceleration on commodity hardware☆25Updated 2 years ago
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆81Updated last year
- Quick'n'dirty FuseSoC+cocotb example☆18Updated 5 months ago
- AXI Formal Verification IP☆20Updated 4 years ago
- For contributions of Chisel IP to the chisel community.☆61Updated 6 months ago