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 4 years ago
- Lock circuitgraphs using various logic locking techniques☆10Updated 2 years ago
- ☆21Updated last year
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆89Updated last year
- ☆80Updated last year
- EPFL and ISCAS85 combinational benchmark circuits in generic gate verilog☆28Updated 5 years ago
- A logic synthesis tool☆81Updated 2 weeks ago
- FAN (fan-out-oriented) ATPG (Automatic Test Pattern Generation) and Fault Simulation command line tool☆94Updated 2 months ago
- A dynamic verification library for Chisel.☆155Updated 10 months ago
- SystemVerilog synthesis tool☆209Updated 6 months ago
- Atalanta is a modified ATPG (Automatic Test Pattern Generation) tool and fault simulator, orginally from VirginiaTech University.☆83Updated last year
- ☆188Updated 6 months ago
- An open source high level synthesis (HLS) tool built on top of LLVM☆124Updated last year
- IDEA project source files☆108Updated last month
- Generator of arithmetic circuits (multipliers, adders) and approximate circuits☆36Updated last month
- Advanced Interface Bus (AIB) die-to-die hardware open source☆140Updated last year
- ☆172Updated 4 years ago
- Open Source tool to build liberty files and for Characterizing Standard Cells.☆27Updated 4 years ago
- Next generation CGRA generator☆114Updated last week
- Build Customized FPGA Implementations for Vivado☆340Updated this week
- A Standalone Structural Verilog Parser☆97Updated 3 years ago
- mflowgen -- A Modular ASIC/FPGA Flow Generator☆264Updated 3 weeks ago
- Hammer: Highly Agile Masks Made Effortlessly from RTL☆292Updated 4 months ago
- (System)Verilog to Chisel translator☆116Updated 3 years ago
- FPGA implementation of a physical unclonable function for authentication☆33Updated 8 years ago
- Showcase examples for EPFL logic synthesis libraries☆197Updated last year
- Standard Cell Library based Memory Compiler using FF/Latch cells☆156Updated 2 months ago
- Python wrapper for verilator model☆88Updated last year
- eXtendable Heterogeneous Energy-Efficient Platform based on RISC-V☆214Updated this week
- Equivalence checking with Yosys☆46Updated 2 weeks ago