Liusen's repositories
abc
ABC: System for Sequential Logic Synthesis and Formal Verification
Language:CNOASSERTION000
also
A logic synthesis tool
Language:C++MIT000
benchmarks
EPFL logic synthesis benchmarks
Language:VerilogMIT000
cmake_examples
Practical, Easy-to-copy CMake examples
Language:C++MIT000
Daily_note
笔记同步设施
000
Flamingo
Resubstitution
Language:C++000
fmt
A modern formatting library
Language:C++NOASSERTION000
lstools-showcase
Showcase examples for EPFL logic synthesis libraries
Language:CSSMIT000
mockturtle
C++ logic network library
Language:C++MIT000
pyeda
Python EDA
Language:PythonBSD-2-Clause000
stp_lua
semi-tensor product toolbox for lua language
Apache-2.0000
vimrc
The ultimate Vim configuration (vimrc)
MIT000