From c3ee629c640dee1d188b98fc6b22e43d0d09cb74 Mon Sep 17 00:00:00 2001 From: Ethan Mahintorabi Date: Fri, 11 Feb 2022 18:11:58 +0000 Subject: [PATCH] Fixes observed nondeterminism in synthesis The dff flag passed to abc appears to cause non-determinism in the generated netlist. --- synthesis/synth.tcl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/synthesis/synth.tcl b/synthesis/synth.tcl index 3186f288..4f03492a 100644 --- 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