chenghao-yang Goto Github PK

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

baselines

OpenAI Baselines: high-quality implementations of reinforcement learning algorithms

bdd

circuit_training

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.

daily-school

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)

flowtune

hebo

Bayesian optimisation library developped by Huawei Noah's Ark Library

machine-learning-session

physat

This is a SAT solver based on Semi-Tonser Product.

qor-prediction

robust-pnr-time

Implementation of ASPDAC 2021 paper: "Read your circuit: Leveraging word embedding to guide logic optimization"

transformers.satisfy

propositional satisfiability problem (SAT) goes neural and deep