JiaxiangPan

Pinned Repositories

abc
ABC: System for Sequential Logic Synthesis and Formal Verification
Language:C00
alice
C++ command shell library
Language:C++00
also
A logic synthesis tool
Language:C++0 0 01
Auto-GPT
An experimental open-source attempt to make GPT-4 fully autonomous.
Language:Python0 0 00
blifdot
Generate graphviz DOT format from BLIF
Language:C++0 0 00
circuit
Language:C++0 1 00
date23_narrowing_the_gap
Language:Verilog0 0 00
EDA-wiki
EDA wiki
Language:Shell0 0 00
genmul
Language:C++00
mockturtle
C++ logic network library
Language:C++00

JiaxiangPan's Repositories

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