From 7cc9cfe972db58a68bdb765e97a784b5bed358bd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E6=BD=98=E9=B8=BF=E6=B4=8B?= <74575924+panhongyang0@users.noreply.github.com> Date: Tue, 14 Mar 2023 21:07:43 +0800 Subject: [PATCH] Update README.md --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index f8b52c5..e858a46 100644 --- a/README.md +++ b/README.md @@ -1,7 +1,7 @@ # powerful heightened yielded Logic Synthesis (phyLS) -phyLS is based on the [mockturtle](https://github.com/lsils/mockturtle), it can optimize different logics attributes. -Currently, it supports AIG, MIG, XAG, and XMG based optimization. +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 mockturtle format(AIG, MIG, XAG, XMG) and abc format(AIG,GIA) based optimization. [Read the documentation here.](https://phyls.readthedocs.io/en/latest/)