scripts: add new fpga experiment

ekiwi · Apr 15, 2024 · 8ac1cd8 · 8ac1cd8
1 parent 71e1afc
commit 8ac1cd8
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/scripts/run_rtl_repair_experiment.py b/scripts/run_rtl_repair_experiment.py
@@ -54,13 +54,15 @@ class Config:
 ExpPastKOne = 'past-k-1'
 ExpFpga = 'fpga'
 ExpFpgaAll = 'fpga-all'
+ExpFpgaBasicSynth = 'fpga-basic-synth'
 Configs: dict[str, ExpConfig] = {
     ExpDefault: ExpConfig(incremental=True, timeout=_timeout, all_templates=False),
     ExpAllTemplates: ExpConfig(incremental=True, timeout=_timeout, all_templates=True),
     ExpBasicSynth: ExpConfig(incremental=False, timeout=_timeout, all_templates=False),
     ExpPastKOne: ExpConfig(incremental=True, timeout=_timeout, all_templates=False, past_k_step_size=1),
     ExpFpga: ExpConfig(incremental=True, timeout=_timeout, all_templates=False, fpga_instead_of_cirfix_bench=True),
     ExpFpgaAll: ExpConfig(incremental=True, timeout=_timeout, all_templates=True, fpga_instead_of_cirfix_bench=True),
+    ExpFpgaBasicSynth: ExpConfig(incremental=False, timeout=_timeout, all_templates=False, fpga_instead_of_cirfix_bench=True),
 }
 Exps = list(Configs.keys())