This includes the template for PytorchLightning training and some utility functions

本人的科研经验

tcad extension for dac22 netlist contrastive learning

An advanced circuit-based sat solver

EPFL logic synthesis benchmarks

Hop-Wise Graph Attention for Scalable and Generalizable Learning on Circuits

Collection of digital hardware modules & projects (benchmarks)

ITC'99 benchmarks developed in the CAD Group at Politecnico di Torino

Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks (DAC'23)

AIGER And-Inverter-Graph Library

Tongyi Deep Research, the Leading Open-source Deep Research Agent

Yosys Open SYnthesis Suite

ABC: System for Sequential Logic Synthesis and Formal Verification

IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.

Experimental data for paper: A. Goel, and K. Sakallah, “Empirical Evaluation of IC3-Based Model Checking Techniques on Verilog RTL Designs” in DATE, 2019.

Reads a state transition system and performs property checking

Paper2Code: Automating Code Generation from Scientific Papers in Machine Learning

The website of FORMiND Lab.

Deep learning toolkit-enabled VLSI placement

CircuitNet: An Open-Source Dataset for Machine Learning Applications in Electronic Design Automation (EDA)