DfX-NYUAD / GNNUnlockView external linksLinks
☆16Feb 9, 2022Updated 4 years ago
Alternatives and similar repositories for GNNUnlock
Users that are interested in GNNUnlock are comparing it to the libraries listed below
Sorting:
- Lock circuitgraphs using various logic locking techniques☆10May 2, 2023Updated 2 years ago
- ITC'99 benchmarks developed in the CAD Group at Politecnico di Torino☆67May 14, 2025Updated 9 months ago
- SMT Attack☆22Mar 5, 2021Updated 4 years ago
- The Common Evaluation Platform (CEP), based on UCB's Chipyard Framework, is an SoC design that contains only license-unencumbered, freel…☆68Dec 1, 2022Updated 3 years ago
- ☆23Mar 13, 2023Updated 2 years ago
- Must-read papers on Graph Neural Networks (GNNs) for Integrated Circuits (ICs) design, security and reliability.☆76Jul 10, 2025Updated 7 months ago
- Analog IC symmetry extraction benchmark of AncstrGNN☆10Aug 19, 2024Updated last year
- This repository contains 4000 vulnerable hardware designs. Currently this is in Jsonl format for directly using it for fine-tuning LLMs. …☆20Mar 25, 2025Updated 10 months ago
- [CVPRW'22] A privacy attack that exploits Adversarial Training models to compromise the privacy of Federated Learning systems.☆11Jul 7, 2022Updated 3 years ago
- Artificial Netlist Generator☆46Mar 19, 2024Updated last year
- Rasa Chatbot using Django backend and Sockets for communication☆12Dec 8, 2022Updated 3 years ago
- Examples from the Openlane repository, adapted as Fusesoc cores☆12May 18, 2021Updated 4 years ago
- Tutorial, examples and regression tests for Coriolis & Alliance (LIP6)☆15Jan 5, 2026Updated last month
- ☆12Apr 25, 2025Updated 9 months ago
- Lingeling SAT Solver☆105Mar 12, 2024Updated last year
- ☆11Feb 20, 2022Updated 3 years ago
- Tapeouts done using OpenFASOC☆15Nov 3, 2025Updated 3 months ago
- A basic implementation of a SAT attack on logic locking.☆13Jun 30, 2021Updated 4 years ago
- GNN-RE datasets for circuit recognition☆56May 16, 2023Updated 2 years ago
- Tools for working with circuits as graphs in python☆126Nov 17, 2023Updated 2 years ago
- Load Forecasting using Machine Learning example for Valohai☆14Sep 19, 2019Updated 6 years ago
- This is a probabilistic SAT attack tool.☆13Jun 5, 2021Updated 4 years ago
- Benchmark Generator for Global Routing☆13Jul 18, 2019Updated 6 years ago
- A python script to notify as soon as ticket for a given show is available on BookMyShow☆16Feb 9, 2024Updated 2 years ago
- ☆15Jan 8, 2022Updated 4 years ago
- VLSI placement and routing tool☆15Dec 20, 2025Updated last month
- Python Deep learning models with deployment☆14Oct 23, 2020Updated 5 years ago
- Design of LDO using open source SKY130PDK☆13Aug 24, 2024Updated last year
- Pre-Silicon Hardware Fuzzing Toolkit☆61Aug 18, 2025Updated 5 months ago
- Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks (DAC'23)☆56Jan 8, 2025Updated last year
- Training support for the IoT-LAB testbed☆16Jul 8, 2025Updated 7 months ago
- Microblog web app built with Flask and Python to help introduce students to web development☆12Mar 20, 2021Updated 4 years ago
- GPU-enabled Hardware Fuzzer using Genetic Algorithm☆20Jul 12, 2023Updated 2 years ago
- Hack@DAC 2021☆15Jul 24, 2024Updated last year
- ☆15May 17, 2025Updated 8 months ago
- Rust binding for the HiGHS linear programming solver☆17Nov 12, 2025Updated 3 months ago
- Implementation VexRiscv on ultra96☆13Apr 18, 2022Updated 3 years ago
- Source code for the cycle-level simulator and RTL implementation of BlockHammer proposed in our HPCA 2021 paper: Yaglikci et. al., "Block…☆19Jun 17, 2022Updated 3 years ago
- ☆19Apr 19, 2024Updated last year