- Create abc_retime_for_two_phase.script

leeway64 · leeway64 · commit ba413459bfd7 · 2025-10-26T14:03:39.000-07:00
- Remove async2sync from synth_preamble.tcl
diff --git a/flow/scripts/abc_retime_for_two_phase.script b/flow/scripts/abc_retime_for_two_phase.script
@@ -0,0 +1,5 @@
+strash
+zero
+dretime -v
+retime -M 5 -D 1 -o -v
+map -D 1
diff --git a/flow/scripts/synth_preamble.tcl b/flow/scripts/synth_preamble.tcl
@@ -215,7 +215,6 @@ proc check_logical_equivalence {top_module gold gate abc_args lib_args lib_dont_
     prep -flatten -top equiv
     opt_clean -purge
 
-    async2sync
     equiv_simple -undef -short -seq 1
     equiv_induct -undef -seq 4
     equiv_status -assert
