diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-30 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-30 08:01:00 -0700 |
| commit | de81a1a1fb5d2cfff636a237a0a7008dcf196bcd (patch) | |
| tree | 0ae940cc977896662e60a9050fe743ba5cd7b438 /abc.rc | |
| parent | 2b98b81837011f26d130ad0f44d4bc7b298f9cd7 (diff) | |
| download | abc-de81a1a1fb5d2cfff636a237a0a7008dcf196bcd.tar.gz abc-de81a1a1fb5d2cfff636a237a0a7008dcf196bcd.tar.bz2 abc-de81a1a1fb5d2cfff636a237a0a7008dcf196bcd.zip | |
Version abc80430
Diffstat (limited to 'abc.rc')
| -rw-r--r-- | abc.rc | 22 |
1 files changed, 11 insertions, 11 deletions
@@ -120,17 +120,17 @@ alias resyn2rsdc "b; rs -K 6 -F 2; rw; rs -K 6 -N 2 -F 2; rf; rs -K 8 -F 2; b alias compress2rsdc "b -l; rs -K 6 -F 2 -l; rw -l; rs -K 6 -N 2 -F 2 -l; rf -l; rs -K 8 -F 2 -l; b -l; rs -K 8 -N 2 -F 2 -l; rw -l; rs -K 10 -F 2 -l; rwz -l; rs -K 10 -N 2 -F 2 -l; b -l; rs -K 12 -F 2 -l; rfz -l; rs -K 12 -N 2 -F 2 -l; rwz -l; b -l" # temporaries -alias reach "st; ps; compress2; ps; qrel; ps; compress2; ps; qreach -v; ps" -alias chnew "st; haig_start; resyn2; haig_use" -alias chnewrs "st; haig_start; resyn2rs; haig_use" -alias stdsd "r test/6in.blif; st; ps; u; bdd; dsd -g; st; ps" -alias trec "rec_start; r c.blif; st; rec_add; rec_use" -alias trec4 "rec_start -K 4; r i10.blif; st; rec_add; rec_use" -alias bmc2 "frames -i -F 10; orpos; iprove" +alias reachable "st; ps; compress2; ps; qrel; ps; compress2; ps; qreach -v; ps" +alias chnew "st; haig_start; resyn2; haig_use" +alias chnewrs "st; haig_start; resyn2rs; haig_use" +alias stdsd "r test/6in.blif; st; ps; u; bdd; dsd -g; st; ps" +alias trec "rec_start; r c.blif; st; rec_add; rec_use" +alias trec4 "rec_start -K 4; r i10.blif; st; rec_add; rec_use" +alias bmc2 "frames -i -F 10; orpos; iprove" -alias pjsolve "scl; dc2; fr; dc2; ic; ic -t; if -a; cs tacas/005_care.aig; mfs; lp; st; ic" +alias pjsolve "scl; dc2; fr; dc2; ic; ic -t; if -a; cs tacas/005_care.aig; mfs; lp; st; ic" -alias t0 "r test/mc1.blif; st; test" -alias t1 "r s27mc2.blif; st; test" -alias t2 "r i/intel_001.aig; ps; indcut -v" +alias t0 "r test/mc1.blif; st; test" +alias t1 "r s27mc2.blif; st; test" +alias t2 "r i/intel_001.aig; ps; indcut -v" |