diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-22 14:29:36 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-22 14:29:36 -0800 |
commit | 810c0be1271e222c3caa1b5fd6b0992ad03b10a3 (patch) | |
tree | edacb1d41a2b4d9681862a2a1a73d96d223bead2 | |
parent | d0da3a82588a6a29deb2e3f351789005498daa6f (diff) | |
download | abc-810c0be1271e222c3caa1b5fd6b0992ad03b10a3.tar.gz abc-810c0be1271e222c3caa1b5fd6b0992ad03b10a3.tar.bz2 abc-810c0be1271e222c3caa1b5fd6b0992ad03b10a3.zip |
Added alias blif2aig = undc; strash; zero
-rw-r--r-- | abc.rc | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -117,6 +117,7 @@ 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 addinit "read_init; undc; strash; zero" +alias blif2aig "undc; strash; zero" # resubstitution scripts for the IWLS paper alias src_rw "st; rw -l; rwz -l; rwz -l" |