diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-07-03 08:01:00 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-07-03 08:01:00 -0700 |
commit | a8db621dc96768cf2cf543be905d534579847020 (patch) | |
tree | c5c11558d1adf35b474cebd78d89b2e5ae1bc1bc /abc.rc | |
parent | d6804597a397379f826810a736ccbe99bf56c497 (diff) | |
download | abc-a8db621dc96768cf2cf543be905d534579847020.tar.gz abc-a8db621dc96768cf2cf543be905d534579847020.tar.bz2 abc-a8db621dc96768cf2cf543be905d534579847020.zip |
Version abc70703
Diffstat (limited to 'abc.rc')
-rw-r--r-- | abc.rc | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -80,6 +80,7 @@ alias u undo alias w write alias wa write_aiger alias wb write_bench +alias wc write_cnf alias wh write_hie alias wl write_blif alias wp write_pla @@ -141,7 +142,7 @@ alias qsA "qvar -I 96 -u; qvar -I 97 -u; qvar -I 98 -u; qvar -I 99 -u; qvar alias chnew "st; haig_start; resyn2; haig_use" alias chnewrs "st; haig_start; resyn2rs; haig_use" -alias t "read_dsd a*(b+(c*d)+e); clp -r; print_dsd" +alias t0 "read_dsd a*(b+(c*d)+e); clp -r; print_dsd" alias t1 "read_dsd a*(b+(c*d)); clp -r; print_dsd" alias t2 "read_dsd 56BA(a,b,c,d); clp -r; print_dsd" alias t3 "read_dsd 56BA(a,b*c,e,d); clp -r; print_dsd" @@ -167,3 +168,7 @@ alias tst6 "r i10_if6.blif; st; ps; r x/rec6_16_.blif; st; rec_start; r i10_ alias bug "r pj1_if3.blif; lp" alias table "r lutexp.baf; test" + +alias t "r c.blif; st; wc c.cnf" + + |