From 3163acdff6d609ae089e17c77c196b408685b59c Mon Sep 17 00:00:00 2001
From: Ethan Mahintorabi <ethanmoon@google.com>
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 831eee53..dc00bc56 100644
--- a/synthesis/synth.tcl
+++ b/synthesis/synth.tcl
@@ -33,9 +33,9 @@ set liberty $::env(LIBERTY)
 dfflibmap -liberty $liberty
 
 if { [info exists ::env(CLOCK_PERIOD) ] } {
-  abc -liberty $liberty -dff -g aig -D $::env(CLOCK_PERIOD)
+  abc -liberty $liberty -g aig -D $::env(CLOCK_PERIOD)
 } else {
-  abc -liberty $liberty -dff -g aig
+  abc -liberty $liberty -g aig
 }
 
 # write synthesized design