diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-03-28 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-03-28 08:01:00 -0700 |
| commit | 4da784c049b79b76d8c1b82297bd27f45ead9377 (patch) | |
| tree | 8e69de9f95a13f1ef6ec9f3624be997ef080dc0d /abc.rc | |
| parent | dd5531caf916d526551049b59151990adaef575d (diff) | |
| download | abc-4da784c049b79b76d8c1b82297bd27f45ead9377.tar.gz abc-4da784c049b79b76d8c1b82297bd27f45ead9377.tar.bz2 abc-4da784c049b79b76d8c1b82297bd27f45ead9377.zip | |
Version abc70328
Diffstat (limited to 'abc.rc')
| -rw-r--r-- | abc.rc | 14 |
1 files changed, 14 insertions, 0 deletions
@@ -151,3 +151,17 @@ alias t4 "read_dsd 56BA(a,b*c,e+d,f); clp -r; print_dsd" alias t5 "read_dsd 56BA(a,CA(b,c,d),e,f); clp -r; print_dsd" alias t6 "read_dsd f*CA(b,c,d)*CA(e,a,g); clp -r; print_dsd" +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 trec5 "rec_start -K 5; r i10.blif; st; rec_add; rec_use" +alias trec6 "rec_start -K 6; r i10.blif; st; rec_add; rec_use" +alias trec7 "rec_start -K 7; r i10.blif; st; rec_add; rec_use" +alias trec8 "rec_start -K 8; r i10.blif; st; rec_add; rec_use" +alias trec10 "rec_start -K 10; r i10.blif; st; rec_add; rec_use" +alias trec12 "rec_start -K 12; r i10.blif; st; rec_add; rec_use" + +#alias tsh "r i10_if.blif; st; ps; u; sw; st; ps; cec" +alias tst4 "r i10_if4.blif; st; ps; r x/rec4_.blif; st; rec_start; r i10_if4.blif; st -r; ps; cec" +alias tst4n "r i10_if4.blif; st; ps; r 5npn/all_functions.aig; st; rec_start; r i10_if4.blif; st -r; ps; cec" +alias tst6 "r i10_if6.blif; st; ps; r x/rec6_16_.blif; st; rec_start; r i10_if6.blif; st -r; ps; cec" |