wip: windowing study

results/windowing-study-2024-04-26/.gitignore

@@ -0,0 +1 @@
+.ipynb_checkpoints/

results/windowing-study-2024-04-26/c1.sh

@@ -0,0 +1,8 @@
+#!/usr/bin/env bash
+
+# c1
+../synth/target/release/synth \
+  --design ../working-dir/zipcpu-spi-c1-c3-d9_c1_csv/2_add_guard/llsdspi_bug_c1.instrumented.btor \
+  --testbench ../benchmarks/fpga-debugging/zipcpu-spi-c1-c3-d9/tb.csv \
+  --solver bitwuzla --init zero --windowing --max-repair-window-size 512 > c1.log
+

results/windowing-study-2024-04-26/i2c_k1.sh

@@ -0,0 +1,7 @@
+#!/usr/bin/env bash
+
+../synth/target/release/synth \
+  --design ../working-dir/i2c_master_kgoliya_buggy1_fixed_x_prop_tb/3_conditional_overwrite/i2c_master_bit_ctrl_kgoliya_buggy1.sync_reset.instrumented.btor \
+  --testbench ../benchmarks/cirfix/opencores/i2c/fixed_x_prop_tb.csv \
+  --solver bitwuzla --init any --windowing --max-repair-window-size 512 > i2c_k1.log
+

results/windowing-study-2024-04-26/sdram_w1.sh

@@ -0,0 +1,8 @@
+#!/usr/bin/env bash
+
+# sdram w1
+../synth/target/release/synth \
+  --design ../working-dir/sdram_controller_wadden_buggy1_oracle-full/3_conditional_overwrite/sdram_controller_wadden_buggy1.no_tri_state.instrumented.btor \
+  --testbench ../benchmarks/cirfix/sdram_controller/orig_tb.csv \
+  --solver bitwuzla --init any --windowing --max-repair-window-size 512 > sdram_w1.log
+

results/windowing-study-2024-04-26/sdram_w2.sh

@@ -0,0 +1,8 @@
+#!/usr/bin/env bash
+
+# sdram w2
+../synth/target/release/synth \
+  --design ../working-dir/sdram_controller_wadden_buggy2_oracle-full/1_replace_literals/sdram_controller_wadden_buggy2.no_tri_state.instrumented.btor \
+  --testbench ../benchmarks/cirfix/sdram_controller/orig_tb.csv \
+  --solver bitwuzla --init any --windowing --max-repair-window-size 512 > sdram_w2.log
+