Pinned Repositories
abc
ABC: System for Sequential Logic Synthesis and Formal Verification
adaptive-transformers-in-rl
Adaptive Attention Span for Reinforcement Learning
als
Utilizing a Deep Learning Approach to Approximate Logic Synthesis (ALS)
awesome-jax
JAX - A curated list of resources https://github.com/google/jax
awesome-ml4ls
Awesome machine learning for logic synthesis
circuit_training
daily-school
HEBO
Bayesian optimisation library developped by Huawei Noah's Ark Library
QoR-Prediction
robust-pnr-time
Implementation of ASPDAC 2021 paper: "Read your circuit: Leveraging word embedding to guide logic optimization"
Chenghao-Yang's Repositories
Chenghao-Yang/awesome-ml4ls
Awesome machine learning for logic synthesis
Chenghao-Yang/QoR-Prediction
Chenghao-Yang/als
Utilizing a Deep Learning Approach to Approximate Logic Synthesis (ALS)
Chenghao-Yang/daily-school
Chenghao-Yang/robust-pnr-time
Implementation of ASPDAC 2021 paper: "Read your circuit: Leveraging word embedding to guide logic optimization"
Chenghao-Yang/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
Chenghao-Yang/adaptive-transformers-in-rl
Adaptive Attention Span for Reinforcement Learning
Chenghao-Yang/awesome-jax
JAX - A curated list of resources https://github.com/google/jax
Chenghao-Yang/baselines
OpenAI Baselines: high-quality implementations of reinforcement learning algorithms
Chenghao-Yang/circuit_training
Chenghao-Yang/HEBO
Bayesian optimisation library developped by Huawei Noah's Ark Library
Chenghao-Yang/bdd
Chenghao-Yang/circuitgraph
Tools for working with circuits as graphs in python
Chenghao-Yang/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.
Chenghao-Yang/DRiLLS
DRiLLS: Deep Reinforcement Learning for Logic Synthesis Optimization
Chenghao-Yang/ecole
Extensible Combinatorial Optimization Learning Environments
Chenghao-Yang/EDAonCloud
Characterizing and Optimizing EDA Flows for the Cloud (DATE'2021 and TCAD)
Chenghao-Yang/FlowTune
Chenghao-Yang/Machine-Learning-Session
Chenghao-Yang/phySAT
This is a SAT solver based on Semi-Tonser Product.
Chenghao-Yang/transformers.satisfy
propositional satisfiability problem (SAT) goes neural and deep