diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-02-08 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-02-08 08:01:00 -0800 |
| commit | f2d4f6c26eb610cf4843004fc6955a1548aa9f8f (patch) | |
| tree | 089ca0bde7ecc2bb0acec04aeb28c52ecc18139f /abc.rc | |
| parent | 5a6924060bffb688101f54711f967305fc3fa480 (diff) | |
| download | abc-f2d4f6c26eb610cf4843004fc6955a1548aa9f8f.tar.gz abc-f2d4f6c26eb610cf4843004fc6955a1548aa9f8f.tar.bz2 abc-f2d4f6c26eb610cf4843004fc6955a1548aa9f8f.zip | |
Version abc80208
Diffstat (limited to 'abc.rc')
| -rw-r--r-- | abc.rc | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -24,12 +24,16 @@ set gnuplotunix gnuplot alias b balance alias cl cleanup alias clp collapse +alias cs care_set +alias dc2 dcompress2 alias esd ext_seq_dcs alias f fraig alias fs fraig_sweep alias fsto fraig_store alias fres fraig_restore +alias fr fretime alias ft fraig_trust +alias ic indcut alias lp lutpack alias pd print_dsd alias pex print_exdc -d @@ -123,6 +127,8 @@ 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 t0 "r test/mc1.blif; st; test" alias t1 "r s27mc2.blif; st; test" alias t2 "r i/intel_001.aig; ps; indcut -v" |