diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-16 00:11:09 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-16 00:11:09 -0800 |
| commit | 8587ebe7971e06a6e0a855fd077e3ca9a1587207 (patch) | |
| tree | bfdc4dd6378ad54f10a721237f778c1b25027897 /abc.rc | |
| parent | ecd14d4daf479f2cd2f630095b7370a48465dac1 (diff) | |
| download | abc-8587ebe7971e06a6e0a855fd077e3ca9a1587207.tar.gz abc-8587ebe7971e06a6e0a855fd077e3ca9a1587207.tar.bz2 abc-8587ebe7971e06a6e0a855fd077e3ca9a1587207.zip | |
Variable timeframe abstraction.
Diffstat (limited to 'abc.rc')
| -rw-r--r-- | abc.rc | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -118,6 +118,7 @@ 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" +alias v2p "&vta_gla; &ps; &gla_derive; &put; w 1.aig; pdr -v" # resubstitution scripts for the IWLS paper alias src_rw "st; rw -l; rwz -l; rwz -l" |