diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-08-27 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-08-27 08:01:00 -0700 |
| commit | 28db025b8393e307328d51ff6901c4ebab669e95 (patch) | |
| tree | 3866dd659505646c64eccdb672930bf0ebb849c2 /abc.rc | |
| parent | 9093ca53201519ef03dedb7044345fc716cc0643 (diff) | |
| download | abc-28db025b8393e307328d51ff6901c4ebab669e95.tar.gz abc-28db025b8393e307328d51ff6901c4ebab669e95.tar.bz2 abc-28db025b8393e307328d51ff6901c4ebab669e95.zip | |
Version abc50827
Diffstat (limited to 'abc.rc')
| -rw-r--r-- | abc.rc | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -20,6 +20,7 @@ alias rv read_verilog alias rsup read_super mcnc5_old.super alias rlib read_library alias rw rewrite +alias rwz rewrite -z alias rf refactor alias rfz refactor -z alias sa set autoexec ps @@ -31,7 +32,7 @@ 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" -alias opts "st; b; renode; sop; st; b; ps" -alias share "st; b; renode -m; fx; st; b; ps" +alias opt "b; renode; sop; b; ps" +alias share "b; renode -m; fx; b; ps" +alias resyn "b; rwz; rfz; b; rwz; rfz; b; ps" |