256 lines
5.7 KiB
Plaintext
256 lines
5.7 KiB
Plaintext
|
|
||
|
|
---------------custom config--------------
|
||
|
|
run:
|
||
|
|
version: 2.0
|
||
|
|
author: Ruidi Qiu - Technical University of Munich
|
||
|
|
time: None
|
||
|
|
custom_path: None
|
||
|
|
mode: qwen-max
|
||
|
|
save:
|
||
|
|
en: True
|
||
|
|
root: None
|
||
|
|
pub:
|
||
|
|
prefix: None
|
||
|
|
dir: saves/$weekrange$/
|
||
|
|
subdir:
|
||
|
|
log:
|
||
|
|
en: True
|
||
|
|
dir: logs/
|
||
|
|
notes: None
|
||
|
|
cfg_pmode: iwantall
|
||
|
|
debug_en: False
|
||
|
|
level: TRACE
|
||
|
|
message:
|
||
|
|
en: True
|
||
|
|
dir: messages/
|
||
|
|
format: json
|
||
|
|
iverilog:
|
||
|
|
en: True
|
||
|
|
subdir: ivcode_nodebug
|
||
|
|
load:
|
||
|
|
prompt:
|
||
|
|
path: config/initial_prompts/prompt1.txt
|
||
|
|
pick_idx: []
|
||
|
|
stage_template:
|
||
|
|
path: config/templates/stage_template0301.txt
|
||
|
|
gpt:
|
||
|
|
model: 4o
|
||
|
|
key_path: config/key_API.json
|
||
|
|
temperature: None
|
||
|
|
json_mode: False
|
||
|
|
chatgpt:
|
||
|
|
start_form: chat
|
||
|
|
one_time_talk: False
|
||
|
|
rtlgen_model: None
|
||
|
|
iverilog:
|
||
|
|
dir:
|
||
|
|
task_id:
|
||
|
|
autoline:
|
||
|
|
result_path: results
|
||
|
|
cga:
|
||
|
|
enabled: True
|
||
|
|
max_iter: 10
|
||
|
|
target_coverage: 100.0
|
||
|
|
probset:
|
||
|
|
path: None
|
||
|
|
mutant_path: None
|
||
|
|
gptgenRTL_path: None
|
||
|
|
more_info_paths: []
|
||
|
|
only: ['lemmings3', 'lemmings4', 'ece241_2013_q8', '2014_q3fsm', 'm2014_q6', 'review2015_fsm', 'rule110', 'fsm_ps2']
|
||
|
|
exclude: []
|
||
|
|
exclude_json: None
|
||
|
|
filter: [{}]
|
||
|
|
checklist:
|
||
|
|
max: 3
|
||
|
|
debug:
|
||
|
|
max: 5
|
||
|
|
reboot: 1
|
||
|
|
py_rollback: 2
|
||
|
|
onlyrun: None
|
||
|
|
promptscript: None
|
||
|
|
timeout: 300
|
||
|
|
TBcheck:
|
||
|
|
rtl_num: 20
|
||
|
|
correct_max: 3
|
||
|
|
discrim_mode: col_full_wrong
|
||
|
|
correct_mode: naive
|
||
|
|
rtl_compens_en: True
|
||
|
|
rtl_compens_max_iter: 3
|
||
|
|
itermax: 10
|
||
|
|
update_desc: False
|
||
|
|
save_compile: True
|
||
|
|
save_finalcodes: True
|
||
|
|
error_interruption: False
|
||
|
|
------------------------------------------
|
||
|
|
------config info (custom + default)------
|
||
|
|
run:
|
||
|
|
version: 2.0
|
||
|
|
author: Ruidi Qiu - Technical University of Munich
|
||
|
|
time: 20260330_154844
|
||
|
|
custom_path: /home/zhang/CorrectBench/TBgen_App/config/default.yaml
|
||
|
|
mode: qwen-max
|
||
|
|
hostname: localhost
|
||
|
|
pid: 919939
|
||
|
|
pyversion: 3.12.3 (main, Mar 3 2026, 12:15:18) [GCC 13.3.0]
|
||
|
|
save:
|
||
|
|
en: True
|
||
|
|
root: None
|
||
|
|
pub:
|
||
|
|
prefix: None
|
||
|
|
dir: saves/0330~0405/
|
||
|
|
subdir:
|
||
|
|
log:
|
||
|
|
en: True
|
||
|
|
dir: logs/
|
||
|
|
notes: None
|
||
|
|
cfg_pmode: iwantall
|
||
|
|
debug_en: False
|
||
|
|
level: TRACE
|
||
|
|
message:
|
||
|
|
en: True
|
||
|
|
dir: messages/
|
||
|
|
format: json
|
||
|
|
iverilog:
|
||
|
|
en: True
|
||
|
|
subdir: ivcode_nodebug
|
||
|
|
load:
|
||
|
|
prompt:
|
||
|
|
path: config/initial_prompts/prompt1.txt
|
||
|
|
pick_idx: []
|
||
|
|
stage_template:
|
||
|
|
path: config/templates/stage_template0301.txt
|
||
|
|
gpt:
|
||
|
|
model: gpt-4o-2024-08-06
|
||
|
|
key_path: config/key_API.json
|
||
|
|
temperature: None
|
||
|
|
json_mode: False
|
||
|
|
chatgpt:
|
||
|
|
start_form: chat
|
||
|
|
one_time_talk: False
|
||
|
|
rtlgen_model: gpt-4o-2024-08-06
|
||
|
|
iverilog:
|
||
|
|
dir:
|
||
|
|
task_id:
|
||
|
|
autoline:
|
||
|
|
result_path: results
|
||
|
|
cga:
|
||
|
|
enabled: True
|
||
|
|
max_iter: 10
|
||
|
|
target_coverage: 100.0
|
||
|
|
probset:
|
||
|
|
path: None
|
||
|
|
mutant_path: None
|
||
|
|
gptgenRTL_path: None
|
||
|
|
more_info_paths: []
|
||
|
|
only: ['lemmings3', 'lemmings4', 'ece241_2013_q8', '2014_q3fsm', 'm2014_q6', 'review2015_fsm', 'rule110', 'fsm_ps2']
|
||
|
|
exclude: []
|
||
|
|
exclude_json: None
|
||
|
|
filter: [{}]
|
||
|
|
checklist:
|
||
|
|
max: 3
|
||
|
|
debug:
|
||
|
|
max: 5
|
||
|
|
reboot: 1
|
||
|
|
py_rollback: 2
|
||
|
|
onlyrun: None
|
||
|
|
promptscript: None
|
||
|
|
timeout: 300
|
||
|
|
TBcheck:
|
||
|
|
rtl_num: 20
|
||
|
|
correct_max: 3
|
||
|
|
discrim_mode: col_full_wrong
|
||
|
|
correct_mode: naive
|
||
|
|
rtl_compens_en: True
|
||
|
|
rtl_compens_max_iter: 3
|
||
|
|
itermax: 10
|
||
|
|
update_desc: False
|
||
|
|
save_compile: True
|
||
|
|
save_finalcodes: True
|
||
|
|
error_interruption: False
|
||
|
|
_initialized: True
|
||
|
|
------------------------------------------
|
||
|
|
|
||
|
|
--------------default config--------------
|
||
|
|
run:
|
||
|
|
version: 2.0
|
||
|
|
author: Ruidi Qiu - Technical University of Munich
|
||
|
|
time: None
|
||
|
|
custom_path: None
|
||
|
|
mode: qwen-max
|
||
|
|
save:
|
||
|
|
en: True
|
||
|
|
root: None
|
||
|
|
pub:
|
||
|
|
prefix: None
|
||
|
|
dir: saves/$weekrange$/
|
||
|
|
subdir:
|
||
|
|
log:
|
||
|
|
en: True
|
||
|
|
dir: logs/
|
||
|
|
notes: None
|
||
|
|
cfg_pmode: iwantall
|
||
|
|
debug_en: False
|
||
|
|
level: TRACE
|
||
|
|
message:
|
||
|
|
en: True
|
||
|
|
dir: messages/
|
||
|
|
format: json
|
||
|
|
iverilog:
|
||
|
|
en: True
|
||
|
|
subdir: ivcode_nodebug
|
||
|
|
load:
|
||
|
|
prompt:
|
||
|
|
path: config/initial_prompts/prompt1.txt
|
||
|
|
pick_idx: []
|
||
|
|
stage_template:
|
||
|
|
path: config/templates/stage_template0301.txt
|
||
|
|
gpt:
|
||
|
|
model: 4o
|
||
|
|
key_path: config/key_API.json
|
||
|
|
temperature: None
|
||
|
|
json_mode: False
|
||
|
|
chatgpt:
|
||
|
|
start_form: chat
|
||
|
|
one_time_talk: False
|
||
|
|
rtlgen_model: None
|
||
|
|
iverilog:
|
||
|
|
dir:
|
||
|
|
task_id:
|
||
|
|
autoline:
|
||
|
|
result_path: results
|
||
|
|
cga:
|
||
|
|
enabled: True
|
||
|
|
max_iter: 10
|
||
|
|
target_coverage: 100.0
|
||
|
|
probset:
|
||
|
|
path: None
|
||
|
|
mutant_path: None
|
||
|
|
gptgenRTL_path: None
|
||
|
|
more_info_paths: []
|
||
|
|
only: ['lemmings3', 'lemmings4', 'ece241_2013_q8', '2014_q3fsm', 'm2014_q6', 'review2015_fsm', 'rule110', 'fsm_ps2']
|
||
|
|
exclude: []
|
||
|
|
exclude_json: None
|
||
|
|
filter: [{}]
|
||
|
|
checklist:
|
||
|
|
max: 3
|
||
|
|
debug:
|
||
|
|
max: 5
|
||
|
|
reboot: 1
|
||
|
|
py_rollback: 2
|
||
|
|
onlyrun: None
|
||
|
|
promptscript: None
|
||
|
|
timeout: 300
|
||
|
|
TBcheck:
|
||
|
|
rtl_num: 20
|
||
|
|
correct_max: 3
|
||
|
|
discrim_mode: col_full_wrong
|
||
|
|
correct_mode: naive
|
||
|
|
rtl_compens_en: True
|
||
|
|
rtl_compens_max_iter: 3
|
||
|
|
itermax: 10
|
||
|
|
update_desc: False
|
||
|
|
save_compile: True
|
||
|
|
save_finalcodes: True
|
||
|
|
error_interruption: False
|
||
|
|
------------------------------------------
|