☆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☆11May 2, 2023Updated 2 years ago
- ITC'99 benchmarks developed in the CAD Group at Politecnico di Torino☆68May 14, 2025Updated 9 months ago
- SMT Attack☆23Mar 5, 2021Updated 5 years ago
- The Common Evaluation Platform (CEP), based on UCB's Chipyard Framework, is an SoC design that contains only license-unencumbered, freel…☆69Dec 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.☆77Jul 10, 2025Updated 7 months ago
- [CVPRW'22] A privacy attack that exploits Adversarial Training models to compromise the privacy of Federated Learning systems.☆12Jul 7, 2022Updated 3 years ago
- Analog IC symmetry extraction benchmark of AncstrGNN☆10Aug 19, 2024Updated last year
- Artificial Netlist Generator☆46Mar 19, 2024Updated last year
- Examples from the Openlane repository, adapted as Fusesoc cores☆12May 18, 2021Updated 4 years ago
- This repository contains 4000 vulnerable hardware designs. Currently this is in Jsonl format for directly using it for fine-tuning LLMs. …☆22Mar 25, 2025Updated 11 months ago
- ☆12Apr 25, 2025Updated 10 months ago
- Rasa Chatbot using Django backend and Sockets for communication☆12Dec 8, 2022Updated 3 years ago
- Tutorial, examples and regression tests for Coriolis & Alliance (LIP6)☆15Jan 5, 2026Updated 2 months ago
- Lingeling SAT Solver☆105Mar 12, 2024Updated last year
- Tapeouts done using OpenFASOC☆16Nov 3, 2025Updated 4 months ago
- ☆11Feb 20, 2022Updated 4 years 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
- VLSI placement and routing tool☆15Dec 20, 2025Updated 2 months ago
- Benchmark Generator for Global Routing☆13Jul 18, 2019Updated 6 years ago
- Python Deep learning models with deployment☆14Oct 23, 2020Updated 5 years ago
- ☆15Jan 8, 2022Updated 4 years ago
- This is a probabilistic SAT attack tool.☆13Jun 5, 2021Updated 4 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
- Pre-Silicon Hardware Fuzzing Toolkit☆61Aug 18, 2025Updated 6 months ago
- Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks (DAC'23)☆58Jan 8, 2025Updated last year
- ☆15May 17, 2025Updated 9 months ago
- Hack@DAC 2021☆16Jul 24, 2024Updated last year
- Rust binding for the HiGHS linear programming solver☆17Feb 15, 2026Updated 3 weeks ago
- Microblog web app built with Flask and Python to help introduce students to web development☆12Mar 20, 2021Updated 4 years ago
- Design of LDO using open source SKY130PDK☆14Aug 24, 2024Updated last year
- GPU-enabled Hardware Fuzzer using Genetic Algorithm☆20Jul 12, 2023Updated 2 years ago
- ☆20Apr 19, 2024Updated last year
- Implementation VexRiscv on ultra96☆13Apr 18, 2022Updated 3 years ago
- 9 track standard cells for GF180MCU provided by GlobalFoundries.☆18Dec 5, 2022Updated 3 years ago
- Pulsar asynchronous synthesis framework☆13Apr 2, 2021Updated 4 years ago