{"id":"https://openalex.org/W7204201259","doi":"https://doi.org/10.48550/arxiv.2608.22938","title":"Execution-Anchored Hallucination Calibration Reranking for Verilog Code Generation","display_name":"Execution-Anchored Hallucination Calibration Reranking for Verilog Code Generation","publication_year":2026,"publication_date":"2026-08-24","ids":{"openalex":"https://openalex.org/W7204201259","doi":"https://doi.org/10.48550/arxiv.2608.22938"},"language":null,"primary_location":{"id":"pmh:oai:arXiv.org:2608.22938","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.22938","pdf_url":"https://arxiv.org/pdf/2608.22938","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2608.22938","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5152478862","display_name":"Guang Yang","orcid":"https://orcid.org/0000-0002-3374-6680","observed_orcids":["https://orcid.org/0000-0002-3374-6680"]},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yang, Guang","raw_affiliation_strings":["State Key Laboratory of Blockchain and Data Security , Zhejiang University , Hangzhou , China,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Blockchain and Data Security , Zhejiang University , Hangzhou , China,","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5148090870","display_name":"Xing Hu","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hu, Xing","raw_affiliation_strings":["State Key Laboratory of Blockchain and Data Security , Zhejiang University , Hangzhou , China,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Blockchain and Data Security , Zhejiang University , Hangzhou , China,","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5134964248","display_name":"Xiang Chen","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chen, Xiang","raw_affiliation_strings":["State Key Laboratory of Blockchain and Data Security , Zhejiang University , Hangzhou , China,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Blockchain and Data Security , Zhejiang University , Hangzhou , China,","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082624117","display_name":"Terry Yue Zhuo","orcid":"https://orcid.org/0000-0002-5760-5188","observed_orcids":["https://orcid.org/0000-0002-5760-5188"]},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhuo, Terry Yue","raw_affiliation_strings":["State Key Laboratory of Blockchain and Data Security , Zhejiang University , Hangzhou , China,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Blockchain and Data Security , Zhejiang University , Hangzhou , China,","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5006669765","display_name":"Xin Xia","orcid":"https://orcid.org/0000-0002-6302-3256","observed_orcids":["https://orcid.org/0000-0002-6302-3256"]},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xia, Xin","raw_affiliation_strings":["State Key Laboratory of Blockchain and Data Security , Zhejiang University , Hangzhou , China,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Blockchain and Data Security , Zhejiang University , Hangzhou , China,","institution_ids":["https://openalex.org/I76130692"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I76130692"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9434000253677368,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9434000253677368,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.03280000016093254,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10028","display_name":"Topic Modeling","score":0.0035000001080334187,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/verilog-code-generation","display_name":"Verilog code generation","score":0.972000002861023},{"id":"https://openalex.org/keywords/hardware-description-languages","display_name":"hardware description languages","score":0.6690000295639038},{"id":"https://openalex.org/keywords/large-language-models","display_name":"large language models","score":0.6779999732971191},{"id":"https://openalex.org/keywords/re-ranking","display_name":"re-ranking","score":0.7440000176429749},{"id":"https://openalex.org/keywords/testbench-generation","display_name":"testbench generation","score":0.828000009059906},{"id":"https://openalex.org/keywords/llm-as-a-judge","display_name":"LLM-as-a-judge","score":0.781000018119812},{"id":"https://openalex.org/keywords/retrieval-augmented-generation","display_name":"retrieval-augmented generation","score":0.8820000290870667}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.850600004196167},{"id":"https://openalex.org/C9616225","wikidata":"https://www.wikidata.org/wiki/Q3929429","display_name":"Semantic reasoner","level":2,"score":0.6225000023841858},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5852000117301941},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5169000029563904},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.4871000051498413},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.43549999594688416},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4296000003814697},{"id":"https://openalex.org/C165838908","wikidata":"https://www.wikidata.org/wiki/Q736777","display_name":"Calibration","level":2,"score":0.41780000925064087},{"id":"https://openalex.org/C2779843651","wikidata":"https://www.wikidata.org/wiki/Q7390335","display_name":"SIGNAL (programming language)","level":2,"score":0.41359999775886536},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.40389999747276306},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.37279999256134033},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.36550000309944153},{"id":"https://openalex.org/C2779030575","wikidata":"https://www.wikidata.org/wiki/Q827773","display_name":"Verilog","level":3,"score":0.34850001335144043},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.3458000123500824},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.34299999475479126},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.33399999141693115},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.32409998774528503},{"id":"https://openalex.org/C120936955","wikidata":"https://www.wikidata.org/wiki/Q2155640","display_name":"Empirical research","level":2,"score":0.3224000036716461},{"id":"https://openalex.org/C95318506","wikidata":"https://www.wikidata.org/wiki/Q6588467","display_name":"Textual entailment","level":3,"score":0.29440000653266907},{"id":"https://openalex.org/C107673813","wikidata":"https://www.wikidata.org/wiki/Q812534","display_name":"Bayesian probability","level":2,"score":0.2888999879360199},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.28279998898506165},{"id":"https://openalex.org/C137293760","wikidata":"https://www.wikidata.org/wiki/Q3621696","display_name":"Language model","level":2,"score":0.273499995470047},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.27320000529289246},{"id":"https://openalex.org/C141353440","wikidata":"https://www.wikidata.org/wiki/Q182221","display_name":"Fuse (electrical)","level":2,"score":0.27090001106262207},{"id":"https://openalex.org/C140779682","wikidata":"https://www.wikidata.org/wiki/Q210868","display_name":"Sampling (signal processing)","level":3,"score":0.26339998841285706},{"id":"https://openalex.org/C42143788","wikidata":"https://www.wikidata.org/wiki/Q173341","display_name":"Hardware description language","level":3,"score":0.2540999948978424}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2608.22938","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.22938","pdf_url":"https://arxiv.org/pdf/2608.22938","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2608.22938","doi":"https://doi.org/10.48550/arxiv.2608.22938","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2608.22938","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2608.22938","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.22938","pdf_url":"https://arxiv.org/pdf/2608.22938","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"sustainable_development_goals_aurora":[{"score":0.5308325290679932,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, justice, and strong institutions"}],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7204201259.pdf","grobid_xml":"https://content.openalex.org/works/W7204201259.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Large":[0],"Language":[1],"Models":[2],"(LLMs)":[3],"have":[4],"demonstrated":[5],"remarkable":[6],"capabilities":[7],"in":[8,120],"code":[9],"generation,":[10],"yet":[11,119],"their":[12],"performance":[13],"degrades":[14],"significantly":[15],"on":[16,65,134,153],"low-resource":[17],"Hardware":[18],"Description":[19],"Languages":[20],"such":[21],"as":[22],"Verilog.":[23],"While":[24],"multi-candidate":[25],"sampling":[26],"improves":[27],"the":[28,36,116,124,140,149],"likelihood":[29],"of":[30],"generating":[31],"correct":[32],"solutions,":[33],"au-tomatically":[34],"selecting":[35],"optimal":[37],"candidate":[38],"remains":[39],"an":[40,159],"open":[41],"challenge.":[42],"Through":[43],"a":[44,181,185,191],"systematic":[45],"empirical":[46],"study":[47],"across":[48],"nine":[49],"models":[50],"and":[51,78,144,189],"two":[52,56,94,117,141],"benchmarks,":[53],"we":[54,137,156],"identify":[55],"critical":[57],"limitations:(1)":[58],"existing":[59],"execution-based":[60],"reranking":[61,163],"methods,":[62],"which":[63,179],"rely":[64],"testbench":[66,103,192],"pass/fail":[67],"outcomes,":[68],"exhibit":[69],"poor":[70],"domain":[71],"transferability":[72],"due":[73],"to":[74,169],"low-quality":[75],"generated":[76],"testbenches;":[77],"(2)":[79],"LLM-as-a-Judge":[80],"suffers":[81],"from":[82],"reasoning":[83,106,167,187],"hallucination,":[84],"producing":[85],"incon-sistent":[86],"judgments":[87,133,168],"for":[88,196],"execution-equivalent":[89,174],"code.":[90],"These":[91],"findings":[92],"reveal":[93],"signal":[95],"types":[96],"with":[97],"orthogonal":[98],"errors:":[99],"execution":[100,128,170,197],"signals(deterministic":[101],"but":[102,110],"coverage":[104],"limited)and":[105],"signals":[107,142],"(semantically":[108],"rich":[109],"hallucination-prone).":[111],"Their":[112],"orthog-onality":[113],"suggests":[114],"combining":[115],"signals,":[118],"our":[121],"experiments":[122],"letting":[123],"reasoner":[125],"directly":[126],"observe":[127],"results":[129],"merely":[130],"anchors":[131,166],"its":[132],"test":[135],"outcomes;":[136],"therefore":[138],"acquire":[139],"independently":[143],"fuse":[145],"them":[146],"only":[147],"at":[148],"decision":[150],"stage.":[151],"Based":[152],"these":[154],"insights,":[155],"propose":[157],"EAHC,":[158],"Execution-Anchored":[160],"Hallucination":[161],"Calibration":[162],"framework":[164],"that":[165,173],"behavior":[171],"so":[172],"candidates":[175],"receive":[176],"consistent":[177],"scores,":[178],"implements":[180],"dual-channel":[182],"architecture:":[183],"EAHC-R,":[184],"4B":[186],"discriminator;":[188],"EAHC-T,":[190],"generator":[193],"leveraging":[194],"RAG":[195],"verification.":[198]},"counts_by_year":[],"updated_date":"2026-10-14T16:39:01.820549","created_date":"2026-08-26T00:00:00"}