diff --git a/abc.rc b/abc.rc index b2149dcd0..03ef1eb61 100644 --- a/abc.rc +++ b/abc.rc @@ -117,6 +117,7 @@ alias rwsat "st; rw -l; b -l; rw -l; rf -l" alias drwsat2 "st; drw; b -l; drw; drf; ifraig -C 20; drw; b -l; drw; drf" alias share "st; multi -m; fx; resyn2" alias addinit "read_init; undc; strash; zero" +alias blif2aig "undc; strash; zero" # resubstitution scripts for the IWLS paper alias src_rw "st; rw -l; rwz -l; rwz -l"