diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-30 10:41:15 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-30 10:41:15 -0700 |
commit | 1c245b4a4aedb95c3943f792416f5a9bd781f194 (patch) | |
tree | 5b10b868e0d966be5b4971e1b451578cc10adb6b | |
parent | 2de8f04c0de744a3a3f0c04d9286c94a2154cc76 (diff) | |
download | abc-1c245b4a4aedb95c3943f792416f5a9bd781f194.tar.gz abc-1c245b4a4aedb95c3943f792416f5a9bd781f194.tar.bz2 abc-1c245b4a4aedb95c3943f792416f5a9bd781f194.zip |
Updating old script.
-rw-r--r-- | abc.rc | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -117,7 +117,7 @@ alias choice "fraig_store; resyn; fraig_store; resyn2; fraig_store; fraig_r alias choice2 "fraig_store; balance; fraig_store; resyn; fraig_store; resyn2; fraig_store; resyn2; fraig_store; fraig_restore" alias rwsat "st; rw -l; b -l; rw -l; rf -l" alias drwsat2 "st; drw; b -l; drw; drf; ifraig -C 20; drw; b -l; drw; drf" -alias share "st; multi -m; fx; resyn2" +alias share "st; multi -m; sop; fx; resyn2" alias addinit "read_init; undc; strash; zero" alias blif2aig "undc; strash; zero" alias v2p "&vta_gla; &ps; &gla_derive; &put; w 1.aig; pdr -v" |