summaryrefslogtreecommitdiffstats
path: root/abc.rc
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2005-12-22 08:01:00 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2005-12-22 08:01:00 -0800
commit457e243e588e7ed5f39251784335e254a0c9e711 (patch)
tree751d7b416e66e416983760d0b95d79bb24371309 /abc.rc
parent37f19d8dfb17605abab38110beec5fc17413e635 (diff)
downloadabc-457e243e588e7ed5f39251784335e254a0c9e711.tar.gz
abc-457e243e588e7ed5f39251784335e254a0c9e711.tar.bz2
abc-457e243e588e7ed5f39251784335e254a0c9e711.zip
Version abc51222
Diffstat (limited to 'abc.rc')
-rw-r--r--abc.rc2
1 files changed, 2 insertions, 0 deletions
diff --git a/abc.rc b/abc.rc
index cb1cabff..4b2e5599 100644
--- a/abc.rc
+++ b/abc.rc
@@ -59,6 +59,7 @@ alias u undo
alias wb write_blif
alias wl write_blif
alias wp write_pla
+alias wv write_verilog
# standard scripts
alias cnf "st; ren -c; write_cnf"
@@ -72,4 +73,5 @@ alias resyn2 "b; rw; rf; b; rw; rwz; b; rfz; rwz; b"
alias compress "b; rw -l; rwz -l; b; rwz -l; b"
alias compress2 "b; rw -l; rf -l; b; rw -l; rwz -l; b; rfz -l; rwz -l; b"
alias choice "fraig_store; resyn; fraig_store; resyn2; fraig_store; fraig_restore"
+alias choice2 "fraig_store; balance; fraig_store; resyn; fraig_store; resyn2; fraig_store; resyn2; fraig_store; fraig_restore"