EDAPack / edapackLinks
Provides a packaged collection of open source EDA tools
☆12Updated 6 years ago
Alternatives and similar repositories for edapack
Users that are interested in edapack are comparing it to the libraries listed below
Sorting:
- A library and command-line tool for querying a Verilog netlist.☆27Updated 3 years ago
- Java library for parsing and manipulating graph representations of gate-level Verilog netlists☆13Updated 8 years ago
- LibreSilicon's Standard Cell Library Generator☆20Updated last year
- Collection of test cases for Yosys☆18Updated 3 years ago
- LLVM based HLS library for HWToolkit (hardware devel. toolkit)☆25Updated last month
- tools regarding on analog modeling, validation, and generation☆22Updated 2 years ago
- ☆19Updated last year
- ☆18Updated 5 years ago
- SCARV: a side-channel hardened RISC-V platform☆27Updated 2 years ago
- CMake based hardware build system☆30Updated 2 weeks ago
- A collection of big designs to run post-synthesis simulations with yosys☆50Updated 9 years ago
- ☆12Updated 5 years ago
- A repository for Known Good Designs (KGDs). Does not contain any design files with NDA-sensitive information.☆36Updated 4 years ago
- netlistDB - Intermediate format for digital hardware representation with graph database API☆31Updated 4 years ago
- System on Chip with RISCV-32 / RISCV-64 / RISCV-128☆22Updated 3 months ago
- CocoAlma is an execution-aware tool for formal verification of masked implementations☆22Updated 11 months ago
- ☆44Updated 5 years ago
- ☆38Updated 3 years ago
- Cross EDA Abstraction and Automation☆39Updated last month
- Source codes and calibration scripts for clock tree synthesis☆40Updated 5 years ago
- ☆33Updated 2 years ago
- Python library of AST nodes for SystemVerilog/VHDL, code generator, transpiler and translator☆38Updated 2 months ago
- 🕒 Static Timing Analysis diagram renderer☆13Updated last year
- Benchmarks for High-Level Synthesis☆10Updated 2 years ago
- Supplemental technology files for ASAP7 PDK with Synopsys design flow☆17Updated 2 years ago
- An open source PDK using TIGFET 10nm devices.☆49Updated 2 years ago
- Trying to verify Verilog/VHDL designs with formal methods and tools☆42Updated last year
- A framework for FPGA emulation of mixed-signal systems☆36Updated 4 years ago
- Python library for working Standard Delay Format (SDF) Timing Annotation files.☆30Updated last year
- Python implementations of fixed size hardware types (Bit, BitVector, UInt, SInt, ...) based on the SMT-LIB2 semantics☆18Updated last year