Chenghao-Yang's repositories
awesome-ml4ls
Awesome machine learning for logic synthesis
robust-pnr-time
Implementation of ASPDAC 2021 paper: "Read your circuit: Leveraging word embedding to guide logic optimization"
abc
ABC: System for Sequential Logic Synthesis and Formal Verification
adaptive-transformers-in-rl
Adaptive Attention Span for Reinforcement Learning
awesome-jax
JAX - A curated list of resources https://github.com/google/jax
baselines
OpenAI Baselines: high-quality implementations of reinforcement learning algorithms
HEBO
Bayesian optimisation library developped by Huawei Noah's Ark Library
circuitgraph
Tools for working with circuits as graphs in python
DAGNN
A graph neural network tailored to directed acyclic graphs that outperforms conventional GNNs by leveraging the partial order as strong inductive bias besides other suitable architectural features.
DRiLLS
DRiLLS: Deep Reinforcement Learning for Logic Synthesis Optimization
ecole
Extensible Combinatorial Optimization Learning Environments
EDAonCloud
Characterizing and Optimizing EDA Flows for the Cloud (DATE'2021 and TCAD)
phySAT
This is a SAT solver based on Semi-Tonser Product.
transformers.satisfy
propositional satisfiability problem (SAT) goes neural and deep