doughnutsz Goto Github PK

abc

ABC: System for Sequential Logic Synthesis and Formal Verification

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

dfa

A simple python implementation of a DFA.

diff-sat

Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability

digital-ide

All in one vscode plugin for HDL development

dreamplace

Deep learning toolkit-enabled VLSI placement

e-syn

E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis (DAC 2024)

eda-parsers

eda-wiki

EDA wiki

eda4sat

egg

egg is a flexible, high-performance e-graph library

eqy

Equivalence checking with Yosys

gamora

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

hdlagent

LLM Agent for Hardware Description Language

hoga

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

hw-formal-paper

Recent papers related to hardware formal verification.

ic3ref

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

ieda

imap

Logic optimization and technology mapping tool.

itraining

learning_research

本人的科研经验

llm101n

LLM101n: Let's build a Storyteller

llm4hwdesign_starting_toolkit

LLM4HWDesign Starting Toolkit

llms-for-eda-tutorial