From 28db025b8393e307328d51ff6901c4ebab669e95 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 27 Aug 2005 08:01:00 -0700 Subject: Version abc50827 --- abc.rc | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'abc.rc') diff --git a/abc.rc b/abc.rc index 6f258814..ba6913b8 100644 --- a/abc.rc +++ b/abc.rc @@ -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" -- cgit v1.2.3