283 lines
11 KiB
Plaintext
283 lines
11 KiB
Plaintext
|
|
||
|
|
---------------custom config--------------
|
||
|
|
run:
|
||
|
|
mode: autoline
|
||
|
|
save:
|
||
|
|
en: True
|
||
|
|
pub:
|
||
|
|
prefix: MyProjectCleanI2C
|
||
|
|
subdir: MyExperimentsClean
|
||
|
|
gpt:
|
||
|
|
model: qwen-max
|
||
|
|
rtlgen_model: qwen-max
|
||
|
|
autoline:
|
||
|
|
result_path: results/myproject_clean_i2c
|
||
|
|
cga:
|
||
|
|
enabled: True
|
||
|
|
max_iter: 15
|
||
|
|
target_coverage: 100.0
|
||
|
|
probset:
|
||
|
|
path: data/myproject/i2c_controller_clean.jsonl
|
||
|
|
mutant_path: None
|
||
|
|
more_info_paths: []
|
||
|
|
only: ['i2c_controller']
|
||
|
|
promptscript: pychecker
|
||
|
|
timeout: 300
|
||
|
|
save_compile: False
|
||
|
|
debug:
|
||
|
|
max: 3
|
||
|
|
itermax: 10
|
||
|
|
update_desc: False
|
||
|
|
TBcheck:
|
||
|
|
discrim_mode: col_70_wrong_row_25_correct
|
||
|
|
------------------------------------------
|
||
|
|
------config info (custom + default)------
|
||
|
|
run:
|
||
|
|
version: 2.0
|
||
|
|
author: Ruidi Qiu - Technical University of Munich
|
||
|
|
time: 20260423_153251
|
||
|
|
custom_path: config/myproject_clean_i2c.yaml
|
||
|
|
mode: autoline
|
||
|
|
hostname: localhost
|
||
|
|
pid: 21893
|
||
|
|
pyversion: 3.12.3 (main, Mar 3 2026, 12:15:18) [GCC 13.3.0]
|
||
|
|
save:
|
||
|
|
en: True
|
||
|
|
root: saves/0420~0426/MyExperimentsClean/MyProjectCleanI2C_20260423_153251/
|
||
|
|
pub:
|
||
|
|
prefix: MyProjectCleanI2C
|
||
|
|
dir: saves/0420~0426/
|
||
|
|
subdir: MyExperimentsClean/
|
||
|
|
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: qwen-max
|
||
|
|
key_path: config/key_API.json
|
||
|
|
temperature: None
|
||
|
|
json_mode: False
|
||
|
|
chatgpt:
|
||
|
|
start_form: chat
|
||
|
|
one_time_talk: False
|
||
|
|
rtlgen_model: qwen-max
|
||
|
|
iverilog:
|
||
|
|
dir:
|
||
|
|
task_id:
|
||
|
|
autoline:
|
||
|
|
result_path: results/myproject_clean_i2c
|
||
|
|
cga:
|
||
|
|
enabled: True
|
||
|
|
max_iter: 15
|
||
|
|
target_coverage: 100.0
|
||
|
|
probset:
|
||
|
|
path: data/myproject/i2c_controller_clean.jsonl
|
||
|
|
mutant_path: None
|
||
|
|
gptgenRTL_path: None
|
||
|
|
more_info_paths: []
|
||
|
|
only: ['i2c_controller']
|
||
|
|
exclude: []
|
||
|
|
exclude_json: None
|
||
|
|
filter: [{}]
|
||
|
|
checklist:
|
||
|
|
max: 3
|
||
|
|
debug:
|
||
|
|
max: 3
|
||
|
|
reboot: 1
|
||
|
|
py_rollback: 2
|
||
|
|
onlyrun: None
|
||
|
|
promptscript: pychecker
|
||
|
|
timeout: 300
|
||
|
|
TBcheck:
|
||
|
|
rtl_num: 20
|
||
|
|
correct_max: 3
|
||
|
|
discrim_mode: col_70_wrong_row_25_correct
|
||
|
|
correct_mode: naive
|
||
|
|
rtl_compens_en: True
|
||
|
|
rtl_compens_max_iter: 3
|
||
|
|
itermax: 10
|
||
|
|
update_desc: False
|
||
|
|
save_compile: False
|
||
|
|
save_finalcodes: True
|
||
|
|
error_interruption: False
|
||
|
|
stage3:
|
||
|
|
rtl_mode: auto
|
||
|
|
max_inline_chars: 5000
|
||
|
|
save_rtl_file: True
|
||
|
|
multi_tb:
|
||
|
|
enabled: False
|
||
|
|
auto_threshold_lines: 500
|
||
|
|
strategy: functional
|
||
|
|
max_tb_count: 5
|
||
|
|
parallel: False
|
||
|
|
merge_coverage: True
|
||
|
|
_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: ['review2015_fancytimer', 'fsm_ps2data', 'bugs_case', 'review2015_fsmonehot', 'review2015_fsmseq', 'lemmings4', 'ece241_2013_q8']
|
||
|
|
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
|
||
|
|
stage3:
|
||
|
|
rtl_mode: auto
|
||
|
|
max_inline_chars: 5000
|
||
|
|
save_rtl_file: True
|
||
|
|
multi_tb:
|
||
|
|
enabled: False
|
||
|
|
auto_threshold_lines: 500
|
||
|
|
strategy: functional
|
||
|
|
max_tb_count: 5
|
||
|
|
parallel: False
|
||
|
|
merge_coverage: True
|
||
|
|
------------------------------------------
|
||
|
|
2026-04-23 15:32:51 | INFO | all configurations are loaded, starting the main process...
|
||
|
|
2026-04-23 15:32:51 | INFO |
|
||
|
|
2026-04-23 15:32:51 | INFO | ######################### task 1/1 [i2c_controller] #########################
|
||
|
|
2026-04-23 15:33:52 | INFO | [i2c_controller] [TBgen] stage_0 ends (61.10s used)
|
||
|
|
2026-04-23 15:34:29 | INFO | [i2c_controller] [TBgen] stage_1 ends (36.55s used)
|
||
|
|
2026-04-23 15:35:14 | INFO | [i2c_controller] [TBgen] stage_2 ends (45.20s used)
|
||
|
|
2026-04-23 15:36:55 | INFO | [i2c_controller] [TBgen] stage_3 ends (101.31s used)
|
||
|
|
2026-04-23 15:38:25 | INFO | [i2c_controller] [TBgen] stage_4 ends (89.79s used)
|
||
|
|
2026-04-23 15:38:25 | INFO | [i2c_controller] [TBgen] stage_checklist ends (0.00s used)
|
||
|
|
2026-04-23 16:57:32 | INFO | [i2c_controller] [TBgen] stage_4b ends (4746.68s used)
|
||
|
|
2026-04-23 16:59:41 | INFO | [i2c_controller] [TBgen] stage_5 ends (128.92s used)
|
||
|
|
2026-04-23 16:59:41 | INFO | [i2c_controller]
|
||
|
|
2026-04-23 16:59:41 | INFO | [i2c_controller] [TBsim] iverilog compilation : passed!
|
||
|
|
2026-04-23 16:59:41 | ERROR | [i2c_controller] Error when running TBsim, iter: 1. Message: [Errno 2] No such file or directory: 'saves/0420~0426/MyExperimentsClean/MyProjectCleanI2C_20260423_153251/i2c_controller/1_1_TBgen/TBgen_codes/TBout.txt' | location: autoline/TB_autoline.py, func: run_stages_core, line: 389 | caller: location: autoline/TB_autoline.py, func: run_stages, line: 318
|
||
|
|
2026-04-23 16:59:41 | WARNING | [i2c_controller] ⚠️ Pipeline interrupted. Cooling down for 15s to avoid API Rate Limit... | location: autoline/TB_autoline.py, func: run_stages_core, line: 394 | caller: location: autoline/TB_autoline.py, func: run_stages, line: 318
|
||
|
|
2026-04-23 17:01:08 | INFO | [i2c_controller] [TBgen] stage_0 ends (69.61s used)
|
||
|
|
2026-04-23 17:01:42 | INFO | [i2c_controller] [TBgen] stage_1 ends (33.53s used)
|
||
|
|
2026-04-23 17:02:48 | INFO | [i2c_controller] [TBgen] stage_2 ends (66.32s used)
|
||
|
|
2026-04-23 17:04:35 | INFO | [i2c_controller] [TBgen] stage_3 ends (106.60s used)
|
||
|
|
2026-04-23 17:06:17 | INFO | [i2c_controller] [TBgen] stage_4 ends (102.25s used)
|
||
|
|
2026-04-23 17:06:17 | INFO | [i2c_controller] [TBgen] stage_checklist ends (0.00s used)
|
||
|
|
2026-04-23 18:25:21 | INFO | [i2c_controller] [TBgen] stage_4b ends (4744.51s used)
|
||
|
|
2026-04-23 18:26:59 | INFO | [i2c_controller] [TBgen] stage_5 ends (97.70s used)
|
||
|
|
2026-04-23 18:26:59 | INFO | [i2c_controller]
|
||
|
|
2026-04-23 18:26:59 | INFO | [i2c_controller] [TBsim] iverilog compilation : passed!
|
||
|
|
2026-04-23 18:26:59 | ERROR | [i2c_controller] Error when running TBsim, iter: 2. Message: [Errno 2] No such file or directory: 'saves/0420~0426/MyExperimentsClean/MyProjectCleanI2C_20260423_153251/i2c_controller/2_1_TBgen/TBgen_codes/TBout.txt' | location: autoline/TB_autoline.py, func: run_stages_core, line: 389 | caller: location: autoline/TB_autoline.py, func: run_stages, line: 318
|
||
|
|
2026-04-23 18:26:59 | WARNING | [i2c_controller] ⚠️ Pipeline interrupted. Cooling down for 15s to avoid API Rate Limit... | location: autoline/TB_autoline.py, func: run_stages_core, line: 394 | caller: location: autoline/TB_autoline.py, func: run_stages, line: 318
|
||
|
|
2026-04-23 18:28:06 | INFO | [i2c_controller] [TBgen] stage_0 ends (48.68s used)
|
||
|
|
2026-04-23 18:28:32 | INFO | [i2c_controller] [TBgen] stage_1 ends (25.87s used)
|
||
|
|
2026-04-23 18:29:16 | INFO | [i2c_controller] [TBgen] stage_2 ends (44.60s used)
|
||
|
|
2026-04-23 18:30:43 | INFO | [i2c_controller] [TBgen] stage_3 ends (87.15s used)
|
||
|
|
2026-04-23 18:32:00 | INFO | [i2c_controller] [TBgen] stage_4 ends (77.02s used)
|
||
|
|
2026-04-23 18:32:00 | INFO | [i2c_controller] [TBgen] stage_checklist ends (0.00s used)
|
||
|
|
2026-04-23 18:34:49 | INFO | [i2c_controller] [TBgen] stage_4b ends (168.93s used)
|
||
|
|
2026-04-23 18:36:11 | INFO | [i2c_controller] [TBgen] stage_5 ends (81.38s used)
|
||
|
|
2026-04-23 18:36:11 | INFO | [i2c_controller]
|
||
|
|
2026-04-23 18:36:11 | INFO | [i2c_controller] [TBsim] iverilog simulation failed! Debuging... (debug_iter = 1)
|
||
|
|
2026-04-23 19:11:27 | INFO | [i2c_controller] [TBsim] verilog iter - 1/3, total - 1/6: verilog DEBUG finished (2116.54s used)
|
||
|
|
2026-04-23 19:11:27 | INFO | [i2c_controller] [TBsim] iverilog simulation failed! Rebooting... (debug_iter = 2)
|
||
|
|
2026-04-23 19:13:56 | INFO | [i2c_controller] [TBsim] stage_4 ends (148.46s used)
|
||
|
|
2026-04-23 19:13:56 | INFO | [i2c_controller] [TBsim] stage_checklist ends (0.00s used)
|
||
|
|
2026-04-23 19:28:38 | INFO | [i2c_controller] [TBsim] stage_4b ends (882.04s used)
|
||
|
|
2026-04-23 19:28:38 | INFO | [i2c_controller] [TBsim] verilog iter - 2/3, total - 2/6: verilog REBOOT finished (1030.52s used)
|
||
|
|
2026-04-23 19:28:38 | INFO | [i2c_controller] [TBsim] iverilog simulation failed! Debuging... (debug_iter = 3)
|
||
|
|
2026-04-23 20:47:45 | ERROR | [i2c_controller] Error when running TBsim, iter: 3. Message: list index out of range | location: autoline/TB_autoline.py, func: run_stages_core, line: 389 | caller: location: autoline/TB_autoline.py, func: run_stages, line: 318
|
||
|
|
2026-04-23 20:47:45 | WARNING | [i2c_controller] ⚠️ Pipeline interrupted. Cooling down for 15s to avoid API Rate Limit... | location: autoline/TB_autoline.py, func: run_stages_core, line: 394 | caller: location: autoline/TB_autoline.py, func: run_stages, line: 318
|
||
|
|
2026-04-23 20:49:09 | INFO | [i2c_controller] [TBgen] stage_0 ends (69.57s used)
|
||
|
|
2026-04-23 20:49:50 | INFO | [i2c_controller] [TBgen] stage_1 ends (40.32s used)
|
||
|
|
2026-04-23 20:50:33 | INFO | [i2c_controller] [TBgen] stage_2 ends (43.37s used)
|
||
|
|
2026-04-23 20:52:06 | INFO | [i2c_controller] [TBgen] stage_3 ends (93.21s used)
|
||
|
|
2026-04-23 20:53:51 | INFO | [i2c_controller] [TBgen] stage_4 ends (104.92s used)
|
||
|
|
2026-04-23 20:53:51 | INFO | [i2c_controller] [TBgen] stage_checklist ends (0.00s used)
|
||
|
|
2026-04-23 21:08:15 | INFO | [i2c_controller] [TBgen] stage_4b ends (863.66s used)
|
||
|
|
2026-04-23 21:10:01 | INFO | [i2c_controller] [TBgen] stage_5 ends (105.84s used)
|
||
|
|
2026-04-23 21:10:01 | INFO | [i2c_controller]
|
||
|
|
2026-04-23 21:10:01 | INFO | [i2c_controller] [TBsim] iverilog simulation failed! Debuging... (debug_iter = 1)
|