synth: clear synthesis variables

ekiwi · Dec 12, 2023 · 0c07003 · 0c07003
1 parent 27c3a70
commit 0c07003
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/synth/src/main.rs b/synth/src/main.rs
@@ -133,6 +133,9 @@ fn main() {
             tb.define_inputs(InitKind::Random(1));
         }
     }
+    // set all synthesis variables to zero
+    synth_vars.clear_in_sim(&mut sim);
+
     // remember the starting state
     let start_state = sim.take_snapshot();
 

diff --git a/synth/src/repair.rs b/synth/src/repair.rs
@@ -153,6 +153,15 @@ impl RepairVars {
         }
     }
 
+    pub fn clear_in_sim(&self, sim: &mut impl Simulator) {
+        for sym in self.change.iter() {
+            sim.set(*sym, &Value::from_u64(0));
+        }
+        for sym in self.free.iter() {
+            sim.set(*sym, &Value::from_u64(0));
+        }
+    }
+
     pub fn to_json(&self, ctx: &Context, assignment: &RepairAssignment) -> serde_json::Value {
         //let mut out = IndexMap::with_capacity(self.change.len() + self.free.len());
         let mut out = serde_json::Map::with_capacity(self.change.len() + self.free.len());