cure-lab/DeepGate2 external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

cure-lab/DeepGate2

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/cure-lab/DeepGate2)

Close

cure-lab / DeepGate2View on GitHubMore

• External links
• Readme badge

☆15May 24, 2023Updated 2 years ago

Alternatives and similar repositories for DeepGate2

Users that are interested in DeepGate2 are comparing it to the libraries listed below

• DfX-NYUAD / GNN-RE

  View on GitHub
  GNN-RE datasets for circuit recognition
  ☆56May 16, 2023Updated 2 years ago
• CoriolisSP / FuzzBtor2

  View on GitHub
  Random Generator of Btor2 Files
  ☆10Sep 2, 2023Updated 2 years ago
• zshi0616 / DeepGate2

  View on GitHub
  ☆31Dec 2, 2023Updated 2 years ago
• saleh1204 / sis

  View on GitHub
  Logic Synthesis System from UC Berkeley (Unofficial Distribution)
  ☆15Jun 4, 2019Updated 6 years ago
• amahzoon / genmul

  View on GitHub
  ☆19Dec 21, 2020Updated 5 years ago
• Entropy-xcy / sns

  View on GitHub
  ☆20Oct 27, 2022Updated 3 years ago
• ycunxi / ACEC_benchmarks

  View on GitHub
  Arithmetic multiplier benchmarks
  ☆12Nov 13, 2017Updated 8 years ago
• upscale-project / generic-sqed-demo

  View on GitHub
  ☆13Feb 6, 2021Updated 5 years ago
• sterin / super-prove-build

  View on GitHub
  ☆14Sep 14, 2020Updated 5 years ago
• cure-lab / DeepGate

  View on GitHub
  This is an official implementation for "DeepGate: Learning Neural Representations of Logic Gates".
  ☆25Jul 12, 2023Updated 2 years ago
• JKomp / AIGER

  View on GitHub
  Python version of tools to work with AIG formatted files
  ☆12May 20, 2025Updated 9 months ago
• lijwen2748 / simplecar

  View on GitHub
  ☆15Nov 9, 2022Updated 3 years ago
• chengyinwu / QuteRTL

  View on GitHub
  QuteRTL: A RTL Front-End Towards Intelligent Synthesis and Verification
  ☆16Nov 8, 2016Updated 9 years ago
• zehao-dong / PACE

  View on GitHub
  ☆16Dec 30, 2023Updated 2 years ago
• gpt4rtl / AutoSVA2

  View on GitHub
  ☆17Nov 19, 2023Updated 2 years ago
• jetafese / btor2mlir

  View on GitHub
  Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification
  ☆20Sep 4, 2025Updated 5 months ago
• NYU-MLDA / OpenABC

  View on GitHub
  OpenABC-D is a large-scale labeled dataset generated by synthesizing open source hardware IPs. This dataset can be used for various graph…
  ☆144Jul 23, 2025Updated 7 months ago
• iscas-tis / CHA

  View on GitHub
  ☆19Jul 12, 2024Updated last year
• Yu-Maryland / Gamora

  View on GitHub
  Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks (DAC'23)
  ☆58Jan 8, 2025Updated last year
• SJTU-ECTL / ALSRAC

  View on GitHub
  ALSRAC: Approximate Logic Synthesis by Resubstitution with Approximate Care Set
  ☆21Dec 23, 2024Updated last year
• OSCC-Project / iMap

  View on GitHub
  Logic optimization and technology mapping tool.
  ☆20Oct 12, 2023Updated 2 years ago
• agurfinkel / btor2mlir

  View on GitHub
  BTOR2 MLIR project
  ☆26Jan 17, 2024Updated 2 years ago
• RotemBenHur / SIMPLE-MAGIC

  View on GitHub
  SIMPLE MAGIC: Synthesis and In-memory MaPping of Logic Execution for Memristor Aided loGIC
  ☆15Jan 23, 2020Updated 6 years ago
• zyzheng17 / DeepGate3

  View on GitHub
  DeepGate3 for ICCAD2024
  ☆13May 26, 2025Updated 9 months ago
• ByronHsu / FRAIGs

  View on GitHub
  C++ implementation of FRAIGs. Won the 1st place in 2018 Cadence-sponsored contest in NTU DSnP.
  ☆10Oct 21, 2020Updated 5 years ago
• PrincetonUniversity / IMDb-Archive

  View on GitHub
  ILA Model Database
  ☆24Sep 27, 2020Updated 5 years ago
• ekiwi / open-source-formal-verification-for-chisel

  View on GitHub
  ☆10Oct 15, 2021Updated 4 years ago
• TILOS-AI-Institute / DEHNN

  View on GitHub
  Github repository of the AIStats 2024 paper: DE-HNN: An effective neural model for Circuit Netlist representation
  ☆14Sep 3, 2025Updated 5 months ago
• Moorvan / RISCV-Formal-Chisel

  View on GitHub
  RISC-V Formal in Chisel
  ☆12Apr 9, 2024Updated last year
• shi27feng / transformers.satisfy

  View on GitHub
  propositional satisfiability problem (SAT) goes neural and deep
  ☆12Aug 17, 2021Updated 4 years ago
• efeslab / asplos22-hardware-debugging-artifact

  View on GitHub
  ☆13Jun 12, 2024Updated last year
• lydiawunan / LOSTIN

  View on GitHub
  LOSTIN: Logic Optimization via Spatio-Temporal Information with Hybrid Graph Models
  ☆26May 29, 2022Updated 3 years ago
• krzhu / abc_py

  View on GitHub
  Simple Python interface for ABC
  ☆29May 19, 2023Updated 2 years ago
• PKUterran / NetlistGNN

  View on GitHub
  ☆47Mar 14, 2023Updated 2 years ago
• Chenghao-Yang / awesome-ml4ls

  View on GitHub
  Awesome machine learning for logic synthesis
  ☆30Sep 21, 2022Updated 3 years ago
• panhomyoung / phySAT

  View on GitHub
  Semi-Tenser Product based SAT and AllSAT solver, where it can solve CNF and circuit input.
  ☆17Aug 2, 2023Updated 2 years ago
• fangwenji / tacas23-wasim

  View on GitHub
  ☆13Jan 20, 2023Updated 3 years ago
• mgudemann / iimc

  View on GitHub
  ☆14Jan 3, 2018Updated 8 years ago
• johannaSommer / generalization-neural-co-solvers

  View on GitHub
  Official Repository for the ICLR 2022 paper "Generalization of Neural Combinatorial Solvers through the Lens of Adversarial Robustness"
  ☆13Nov 20, 2022Updated 3 years ago