JiaxiangPan's repositories
also
A logic synthesis tool
Language:C++MIT000
Auto-GPT
An experimental open-source attempt to make GPT-4 fully autonomous.
Language:PythonMIT000
blifdot
Generate graphviz DOT format from BLIF
Language:C++000
Language:VerilogNOASSERTION000
EDA-wiki
EDA wiki
Language:Shell000
Language:C++000
phyLS
A Logic Synthesis tool based on "Mockturtle: EPFL Logic Synthesis Library " and "ABC: System for Sequential Logic Synthesis and Formal Verification""
Language:C++MIT000
SIMPLEST-MAGIC
SIMPLEST MAGIC:SynthesIs and MaPping of in-memory Logic Executed through area-aware heuriSTic methods
000