zcy
/
phyLS
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update README.md

pull/1/head
潘鸿洋 2023-03-14 21:07:43 +08:00 committed by GitHub
parent 9635c0de3c
commit 7cc9cfe972
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@ -1,7 +1,7 @@
# powerful heightened yielded Logic Synthesis (phyLS) # powerful heightened yielded Logic Synthesis (phyLS)
phyLS is based on the [mockturtle](https://github.com/lsils/mockturtle), it can optimize different logics attributes. phyLS is based on the [mockturtle](https://github.com/lsils/mockturtle) and the [abc](https://github.com/berkeley-abc/abc), it can optimize different logics attributes.
Currently, it supports AIG, MIG, XAG, and XMG based optimization. Currently, it supports mockturtle format(AIG, MIG, XAG, XMG) and abc format(AIG,GIA) based optimization.
[Read the documentation here.](https://phyls.readthedocs.io/en/latest/) [Read the documentation here.](https://phyls.readthedocs.io/en/latest/)