diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-08-09 08:01:00 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-08-09 08:01:00 -0700 |
commit | 273ba03041ee4cac93385f180d1397b49f8094ca (patch) | |
tree | 83ac3246c2319278db98b8f321dcc75afd910d6d /abc.rc | |
parent | bd640142e0fe2260e3d28e187f21a36d3cc8e08f (diff) | |
download | abc-273ba03041ee4cac93385f180d1397b49f8094ca.tar.gz abc-273ba03041ee4cac93385f180d1397b49f8094ca.tar.bz2 abc-273ba03041ee4cac93385f180d1397b49f8094ca.zip |
Version abc50809
Diffstat (limited to 'abc.rc')
-rw-r--r-- | abc.rc | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -7,10 +7,12 @@ alias pf print_factor alias pfan print_fanio alias pio print_io alias ps print_stats +alias psu print_supp alias q quit alias r read alias rl read_blif alias rb read_bench +alias rp read_pla alias rv read_verilog alias rsup read_super mcnc5_old.super alias rlib read_library @@ -21,6 +23,7 @@ alias u undo alias wb write_blif alias wg write_gate alias wl write_blif +alias wp write_pla alias cnf "st; renode -c; write_cnf" alias prove "st; renode -c; sat" alias opt "st; b; renode; sop; ps" |