Fixes observed nondeterminism in synthesis

The dff flag passed to abc appears to cause non-determinism in the generated netlist.
hdl · Dec 19, 2023 · c3ee629 · c3ee629
1 parent 8c58491
commit c3ee629
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/synthesis/synth.tcl b/synthesis/synth.tcl
@@ -77,9 +77,9 @@ set liberty $::env(LIBERTY)
 dfflibmap -liberty $liberty
 
 if { [info exists ::env(CLOCK_PERIOD) ] } {
-  abc -liberty $liberty -dff -g aig -D $::env(CLOCK_PERIOD) {*}$::env(DONT_USE_ARGS)
+  abc -liberty $liberty -g aig -D $::env(CLOCK_PERIOD) {*}$::env(DONT_USE_ARGS)
 } else {
-  abc -liberty $liberty -dff -g aig {*}$::env(DONT_USE_ARGS)
+  abc -liberty $liberty -g aig {*}$::env(DONT_USE_ARGS)
 }
 
 # Remove internal only aliases for public nets and then give created instances