DfX-NYUAD / PSATLinks
This is a probabilistic SAT attack tool.
☆14Updated 4 years ago
Alternatives and similar repositories for PSAT
Users that are interested in PSAT are comparing it to the libraries listed below
Sorting:
- A basic implementation of a SAT attack on logic locking.☆12Updated 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…☆83Updated last year
- EPFL and ISCAS85 combinational benchmark circuits in generic gate verilog☆27Updated 5 years ago
- Open Source tool to build liberty files and for Characterizing Standard Cells.☆27Updated 4 years ago
- Lock circuitgraphs using various logic locking techniques☆10Updated 2 years ago
- Collection of digital hardware modules & projects (benchmarks)☆59Updated last month
- A collection of ISCAS,ITC,TAU and other Benchmark Circuits for EDA tool evaluation.☆49Updated 5 months ago
- Runtime-First FPGA Interchange Routing Contest @ FPGA’24☆33Updated 3 weeks ago
- Generator of arithmetic circuits (multipliers, adders) and approximate circuits☆35Updated 4 months ago
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆42Updated 2 years ago
- reference block design for the ASAP7nm library in Cadence Innovus☆44Updated last year
- Re-host of ISCAS89 sequential benchmark circuits in higher level verilog (without "DFF")☆14Updated 3 years ago
- Implementation of the Advanced Encryption Standard in Chisel☆20Updated 3 years ago
- Equivalence checking with Yosys☆45Updated 2 weeks ago
- A 32-bit RISC-V Processor Designed with High-Level Synthesis☆52Updated 5 years ago
- This is a python repo for flattening Verilog☆18Updated last month
- This repository is dedicated to providing a comprehensive guide and practical examples for using VC Formal for formal verification. Our g…☆31Updated last year
- SMT Attack☆21Updated 4 years ago
- Python wrapper for verilator model☆86Updated last year
- A free standard cell library for SDDS-NCL circuits☆27Updated 2 years ago
- AMC: Asynchronous Memory Compiler☆48Updated 4 years ago
- ☆32Updated 5 months ago
- Project repo for the POSH on-chip network generator☆46Updated 3 months ago
- Chisel implementation of AES☆23Updated 5 years ago
- fakeram generator for use by researchers who do not have access to commercial ram generators☆37Updated 2 years ago
- Prototype-network-on-chip (ProNoC) is an EDA tool that facilitates prototyping of custom heterogeneous NoC-based many-core-SoC (MCSoC).☆57Updated last week
- ☆40Updated 7 years ago
- Design of 1024x32 SRAM (32Kbits) using OpenRAM and SKY130 PDKs with operating voltage of 1.8V and access time < 2.5ns☆70Updated 4 years ago
- A configurable SRAM generator☆51Updated last week
- Modular Multi-ported SRAM-based Memory☆30Updated 7 months ago