snishizawa / asap7_snps
Supplemental technology files for ASAP7 PDK with Synopsys design flow
☆13Updated 2 years ago
Alternatives and similar repositories for asap7_snps:
Users that are interested in asap7_snps are comparing it to the libraries listed below
- ☆31Updated 3 months ago
- An open source PDK using TIGFET 10nm devices.☆48Updated 2 years ago
- An automatic clock gating utility☆47Updated last week
- ☆43Updated 5 years ago
- AMC: Asynchronous Memory Compiler☆48Updated 4 years ago
- ☆20Updated 3 years ago
- Hardware Formal Verification☆15Updated 4 years ago
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆41Updated 2 years ago
- fakeram generator for use by researchers who do not have access to commercial ram generators☆35Updated 2 years ago
- SMT-based Simultaneous Place-&-Route for Standard Cell Synthesis for PROBE 2.0☆17Updated 4 years ago
- Characterizer☆22Updated 8 months ago
- ☆13Updated 10 months ago
- Open source process design kit for 28nm open process☆54Updated last year
- Generator of arithmetic circuits (multipliers, adders) and approximate circuits☆33Updated 2 months ago
- ☆34Updated 5 years ago
- Open Source tool to build liberty files and for Characterizing Standard Cells.☆27Updated 4 years ago
- EPFL and ISCAS85 combinational benchmark circuits in generic gate verilog☆25Updated 5 years ago
- Open source RTL simulation acceleration on commodity hardware☆25Updated 2 years ago
- This repository is compilation of basics of System Verilog Assertions in context of formal verification☆20Updated 6 years ago
- Common SystemVerilog package used by all RoaLogic IP with AMBA AHB3-Lite interfaces☆17Updated 11 months ago
- OpenDesign Flow Database☆16Updated 6 years ago
- SystemVerilog & Verilog Module I/O parser and printer☆25Updated 3 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
- A configurable SRAM generator☆47Updated 3 months ago
- ☆23Updated 2 years ago
- Collection of digital hardware modules & projects (benchmarks)☆54Updated 5 months ago
- Workshop on Open-Source EDA Technology (WOSET)☆49Updated 5 months ago
- Python library of AST nodes for SystemVerilog/VHDL, code generator, transpiler and translator☆34Updated 5 months ago
- YosysHQ SVA AXI Properties☆37Updated 2 years ago
- SoCGen is a tool that automates SoC design by taking in a JSON description of the system and producing the final GDS-II. SoCGen supports …☆38Updated 4 years ago