diff --git a/scripts/run_rtl_repair_experiment.py b/scripts/run_rtl_repair_experiment.py index 58bfd34..5f9df10 100755 --- a/scripts/run_rtl_repair_experiment.py +++ b/scripts/run_rtl_repair_experiment.py @@ -54,6 +54,7 @@ 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), @@ -61,6 +62,7 @@ class Config: 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())