{"id":"W4408844959","doi":"10.1145/3723876","title":"Automatically Improving LLM-based Verilog Generation using EDA Tool Feedback","year":2025,"lang":"en","type":"article","venue":"ACM Transactions on Design Automation of Electronic Systems","topic":"Software Engineering Research","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Verilog; Computer architecture; Embedded system; Parallel computing; Field-programmable gate array","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004297263,0.001848272,0.0007090073,0.001398265,0.0003950363,0.001284355,0.002441651,0.0008509111,0.008214043],"category_scores_gemma":[0.02539222,0.0009376607,0.0008820532,0.0003899745,0.000744452,0.001862145,0.002148386,0.001389971,0.002503968],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000994117,"about_ca_system_score_gemma":0.002194519,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001813507,"about_ca_topic_score_gemma":0.003074389,"domain_scores_codex":[0.9964275,0.001303502,0.0002110654,0.0005012164,0.001344674,0.0002121343],"domain_scores_gemma":[0.9863219,0.008923363,0.0005894196,0.002229724,0.00169706,0.0002385307],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00110108,0.0007449276,0.007613587,0.001591988,0.0001375042,0.001018701,0.001292259,0.2928575,0.08762082,0.009319791,0.02450121,0.5722007],"study_design_scores_gemma":[0.0001669633,0.0002316904,0.0004860341,0.000112991,0.00004962473,0.0002253313,0.0001352488,0.9221196,0.05756969,0.005340028,0.01350761,0.00005514761],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07267676,0.0004999964,0.7940378,0.0004707616,0.0002503981,0.0003566451,0.001239219,0.125394,0.005074264],"genre_scores_gemma":[0.4540257,0.0002452773,0.5263165,0.0003655818,0.0000408124,0.000422892,0.004029249,0.01080023,0.003753807],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008214043,"threshold_uncertainty_score":0.02747875,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03001254172624539,"score_gpt":0.2764101130795037,"score_spread":0.2463975713532583,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}