Pinned Repositories
abc
ABC: System for Sequential Logic Synthesis and Formal Verification
alice
C++ command shell library
also
A logic synthesis tool
Auto-GPT
An experimental open-source attempt to make GPT-4 fully autonomous.
blifdot
Generate graphviz DOT format from BLIF
circuit
date23_narrowing_the_gap
EDA-wiki
EDA wiki
genmul
mockturtle
C++ logic network library
JiaxiangPan's Repositories
JiaxiangPan/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
JiaxiangPan/alice
C++ command shell library
JiaxiangPan/also
A logic synthesis tool
JiaxiangPan/Auto-GPT
An experimental open-source attempt to make GPT-4 fully autonomous.
JiaxiangPan/blifdot
Generate graphviz DOT format from BLIF
JiaxiangPan/circuit
JiaxiangPan/date23_narrowing_the_gap
JiaxiangPan/EDA-wiki
EDA wiki
JiaxiangPan/genmul
JiaxiangPan/mockturtle
C++ logic network library
JiaxiangPan/phyLS
A Logic Synthesis tool based on "Mockturtle: EPFL Logic Synthesis Library " and "ABC: System for Sequential Logic Synthesis and Formal Verification""
JiaxiangPan/pjx_stl
My Cpp STL exercise!
JiaxiangPan/SIMPLEST-MAGIC
SIMPLEST MAGIC:SynthesIs and MaPping of in-memory Logic Executed through area-aware heuriSTic methods