{"id":"https://openalex.org/W4410584101","doi":"https://doi.org/10.23919/date64628.2025.10992873","title":"CorrectBench: Automatic Testbench Generation with Functional Self-Correction using LLMs for HDL Design","display_name":"CorrectBench: Automatic Testbench Generation with Functional Self-Correction using LLMs for HDL Design","publication_year":2025,"publication_date":"2025-03-31","ids":{"openalex":"https://openalex.org/W4410584101","doi":"https://doi.org/10.23919/date64628.2025.10992873"},"language":"en","primary_location":{"id":"doi:10.23919/date64628.2025.10992873","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date64628.2025.10992873","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 Design, Automation & Test in Europe Conference (DATE)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5014120569","display_name":"Ruidi Qiu","orcid":"https://orcid.org/0009-0008-5828-4567"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Ruidi Qiu","raw_affiliation_strings":["Technical University of Munich"],"affiliations":[{"raw_affiliation_string":"Technical University of Munich","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070194930","display_name":"Grace Li Zhang","orcid":"https://orcid.org/0000-0002-8289-9288"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technical University of Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Grace Li Zhang","raw_affiliation_strings":["TU Darmstadt"],"affiliations":[{"raw_affiliation_string":"TU Darmstadt","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071742136","display_name":"Rolf Drechsler","orcid":"https://orcid.org/0000-0002-9872-1740"},"institutions":[{"id":"https://openalex.org/I180437899","display_name":"University of Bremen","ror":"https://ror.org/04ers2y35","country_code":"DE","type":"education","lineage":["https://openalex.org/I180437899"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Rolf Drechsler","raw_affiliation_strings":["University of Bremen"],"affiliations":[{"raw_affiliation_string":"University of Bremen","institution_ids":["https://openalex.org/I180437899"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017567485","display_name":"Ulf Schlichtmann","orcid":"https://orcid.org/0000-0003-4431-7619"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Ulf Schlichtmann","raw_affiliation_strings":["Technical University of Munich"],"affiliations":[{"raw_affiliation_string":"Technical University of Munich","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100451231","display_name":"Bing Li","orcid":"https://orcid.org/0000-0001-9752-7201"},"institutions":[{"id":"https://openalex.org/I206895457","display_name":"University of Siegen","ror":"https://ror.org/02azyry73","country_code":"DE","type":"education","lineage":["https://openalex.org/I206895457"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Bing Li","raw_affiliation_strings":["University of Siegen"],"affiliations":[{"raw_affiliation_string":"University of Siegen","institution_ids":["https://openalex.org/I206895457"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5014120569"],"corresponding_institution_ids":["https://openalex.org/I62916508"],"apc_list":null,"apc_paid":null,"fwci":10.5476,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.9843649,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"7"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12810","display_name":"Real-time simulation and control systems","score":0.9857000112533569,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12810","display_name":"Real-time simulation and control systems","score":0.9857000112533569,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.980400025844574,"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/T11338","display_name":"Advancements in Photolithography Techniques","score":0.9490000009536743,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6445286273956299},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.349351704120636}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6445286273956299},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.349351704120636}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/date64628.2025.10992873","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date64628.2025.10992873","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 Design, Automation & Test in Europe Conference (DATE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Affordable and clean energy","score":0.5899999737739563,"id":"https://metadata.un.org/sdg/7"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320338208","display_name":"International Graduate School of Science and Engineering","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W2003375131","https://openalex.org/W2075599280","https://openalex.org/W3149485484","https://openalex.org/W4285812903","https://openalex.org/W4312939495","https://openalex.org/W4385569978","https://openalex.org/W4388040405","https://openalex.org/W4389166737","https://openalex.org/W4404101881","https://openalex.org/W4404103182","https://openalex.org/W4404103219","https://openalex.org/W4404134046","https://openalex.org/W4404534210","https://openalex.org/W6872082994"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Functional":[0],"simulation":[1],"is":[2,172],"an":[3,74],"essential":[4],"step":[5],"in":[6,17,40,89,166,179],"digital":[7],"hardware":[8,24],"design.":[9],"Recently,":[10],"there":[11],"has":[12],"been":[13],"a":[14,104,139,159],"growing":[15],"interest":[16],"leveraging":[18],"Large":[19],"Language":[20],"Models":[21],"(LLMs)":[22],"for":[23,64],"testbench":[25,76,154],"generation":[26,77,155,162],"tasks.":[27,66],"However,":[28],"the":[29,41,86,92,97,100,111,120,128,151,186,190,201],"inherent":[30],"instability":[31],"associated":[32],"with":[33,79,103,150],"LLMs":[34],"often":[35],"leads":[36],"to":[37,123],"functional":[38,50,80,125],"errors":[39],"generated":[42,101,129],"testbenches.":[43,130],"Previous":[44],"methods":[45],"do":[46],"not":[47],"incorporate":[48],"automatic":[49,75],"correction":[51],"mechanisms":[52],"without":[53],"human":[54],"intervention":[55],"and":[56,82,158,182,195],"still":[57],"suffer":[58],"from":[59],"low":[60],"success":[61,105],"rates,":[62],"especially":[63],"sequential":[65,167,180],"To":[67],"address":[68],"this":[69],"issue,":[70],"we":[71],"propose":[72],"CorrectBench,":[73],"framework":[78],"self-validation":[81,121],"self-correction.":[83],"Utilizing":[84],"only":[85],"RTL":[87],"specification":[88],"natural":[90],"language,":[91],"proposed":[93,112],"approach":[94],"can":[95],"validate":[96],"correctness":[98],"of":[99,107,142,189],"testbenches":[102],"rate":[106],"88.85":[108],"%.":[109],"Furthermore,":[110],"LLM-based":[113,153,161],"corrector":[114],"employs":[115],"bug":[116],"information":[117],"obtained":[118],"during":[119],"process":[122],"perform":[124],"self-correction":[126],"on":[127],"The":[131,193],"comparative":[132],"analysis":[133],"demonstrates":[134],"that":[135],"our":[136,169],"method":[137],"achieves":[138],"pass":[140,187],"ratio":[141,188],"70.13":[143],"%":[144,174],"across":[145],"all":[146],"evaluated":[147],"tasks,":[148],"compared":[149],"previous":[152,177],"framework's":[156],"52.18%":[157],"direct":[160,191],"method's":[163],"33.33%.":[164],"Specifically":[165],"circuits,":[168],"work's":[170],"performance":[171],"62.18":[173],"higher":[175],"than":[176],"work":[178],"tasks":[181],"almost":[183],"5":[184],"times":[185],"method.":[192],"codes":[194],"experimental":[196],"results":[197],"are":[198],"open-sourced":[199],"at":[200],"link:":[202],"https://github.com/AutoBench/CorrectBench.":[203]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":7}],"updated_date":"2026-03-13T16:22:10.518609","created_date":"2025-10-10T00:00:00"}