Pinned Repositories
Unicamp-SpringBoot
abc
ABC: System for Sequential Logic Synthesis and Formal Verification
ABCPaperCheck
Research paper based on or related to ABC.
AIG2INV
DeepIC3: Guiding IC3 Algorithms by Graph Neural Network Clause Prediction (ASP-DAC 2024)
AIGER
Python version of tools to work with AIG formatted files
AutoSAT
circt
Circuit IR Compilers and Tools
CircuitNet
CircuitNet: An Open-Source Dataset for Machine Learning Applications in Electronic Design Automation (EDA)
CirSAT
A Circuit_based SAT solver
CULS
GPU-based logic synthesis tool
doughnutsz's Repositories
doughnutsz/OpenROAD
OpenROAD's unified application implementing an RTL-to-GDS Flow. Documentation at https://openroad.readthedocs.io/en/latest/
doughnutsz/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
doughnutsz/OpenROAD-flow-scripts
OpenROAD's scripts implementing an RTL-to-GDS Flow. Documentation at https://openroad-flow-scripts.readthedocs.io/en/latest/
doughnutsz/pytorch_geometric
Graph Neural Network Library for PyTorch
doughnutsz/yosys
Yosys Open SYnthesis Suite
doughnutsz/verilator
Verilator open-source SystemVerilog simulator and lint system
doughnutsz/circt
Circuit IR Compilers and Tools
doughnutsz/tvm
Open deep learning compiler stack for cpu, gpu and specialized accelerators
doughnutsz/hdlagent
LLM Agent for Hardware Description Language
doughnutsz/taskflow
A General-purpose Parallel and Heterogeneous Task Programming System
doughnutsz/LLM4HWDesign_Starting_Toolkit
LLM4HWDesign Starting Toolkit
doughnutsz/iTraining
doughnutsz/naja
Structural Netlist API (and more) for EDA post synthesis flow development
doughnutsz/egg
egg is a flexible, high-performance e-graph library
doughnutsz/ABCPaperCheck
Research paper based on or related to ABC.
doughnutsz/HOGA
Hop-Wise Graph Attention for Scalable and Generalizable Learning on Circuits
doughnutsz/learning_research
本人的科研经验
doughnutsz/iEDA
doughnutsz/eqy
Equivalence checking with Yosys
doughnutsz/sby
SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
doughnutsz/phyLS
A Logic Synthesis tool based on "Mockturtle: EPFL Logic Synthesis Library " and "ABC: System for Sequential Logic Synthesis and Formal Verification""
doughnutsz/AutoSAT
doughnutsz/OpenABC
OpenABC-D is a large-scale labeled dataset generated by synthesizing open source hardware IPs. This dataset can be used for various graph level prediction problems in chip design.
doughnutsz/FloorSet
doughnutsz/CULS
GPU-based logic synthesis tool
doughnutsz/LLM101n
LLM101n: Let's build a Storyteller
doughnutsz/diff-SAT
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
doughnutsz/CircuitNet
CircuitNet: An Open-Source Dataset for Machine Learning Applications in Electronic Design Automation (EDA)
doughnutsz/EDA-wiki
EDA wiki
doughnutsz/E-Syn
E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis (DAC 2024)