diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-06-28 23:06:07 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-06-28 23:06:07 -0700 |
| commit | 051cc64ee2f22435772e569b201b0e436b061578 (patch) | |
| tree | 5933d462ad159ed48b7d2a34e9f9b5b5bfceed41 /abc.rc | |
| parent | 311486d91037ceebea5402c2c8ed7b12bf7fb734 (diff) | |
| download | abc-051cc64ee2f22435772e569b201b0e436b061578.tar.gz abc-051cc64ee2f22435772e569b201b0e436b061578.tar.bz2 abc-051cc64ee2f22435772e569b201b0e436b061578.zip | |
Gate level abstraction (command &gla).
Diffstat (limited to 'abc.rc')
| -rw-r--r-- | abc.rc | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -119,6 +119,7 @@ alias share "st; multi -m; 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" +alias g2p "&ps; &gla_derive; &put; w 2.aig; pdr -v" # resubstitution scripts for the IWLS paper alias src_rw "st; rw -l; rwz -l; rwz -l" |