{"id":"https://openalex.org/W4410166048","doi":"https://doi.org/10.1145/3733237","title":"LLM-assisted Bug Identification and Correction for Verilog HDL","display_name":"LLM-assisted Bug Identification and Correction for Verilog HDL","publication_year":2025,"publication_date":"2025-05-07","ids":{"openalex":"https://openalex.org/W4410166048","doi":"https://doi.org/10.1145/3733237"},"language":"en","primary_location":{"id":"doi:10.1145/3733237","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3733237","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3733237","source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3733237","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5062654910","display_name":"Khushboo Qayyum","orcid":"https://orcid.org/0009-0004-7408-8399"},"institutions":[{"id":"https://openalex.org/I207169309","display_name":"Cyber University","ror":"https://ror.org/038sdcw17","country_code":"JP","type":"education","lineage":["https://openalex.org/I207169309"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Khushboo Qayyum","raw_affiliation_strings":["Cyber Physical Systems, DFKI","Cyber Physical Systems, DFKI, Bremen, Germany"],"raw_orcid":"https://orcid.org/0009-0004-7408-8399","affiliations":[{"raw_affiliation_string":"Cyber Physical Systems, DFKI","institution_ids":["https://openalex.org/I207169309"]},{"raw_affiliation_string":"Cyber Physical Systems, DFKI, Bremen, Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022866615","display_name":"Chandan Kumar Jha","orcid":"https://orcid.org/0000-0002-7237-5878"},"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":"Chandan Kumar Jha","raw_affiliation_strings":["FB3, University of Bremen","FB3, University of Bremen, Bremen, Germany"],"raw_orcid":"https://orcid.org/0000-0002-7237-5878","affiliations":[{"raw_affiliation_string":"FB3, University of Bremen","institution_ids":["https://openalex.org/I180437899"]},{"raw_affiliation_string":"FB3, University of Bremen, Bremen, Germany","institution_ids":["https://openalex.org/I180437899"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087915119","display_name":"Sallar Ahmadi-Pour","orcid":"https://orcid.org/0000-0003-4000-6207"},"institutions":[{"id":"https://openalex.org/I166433441","display_name":"Hochschule Bremen","ror":"https://ror.org/04f7jc139","country_code":"DE","type":"education","lineage":["https://openalex.org/I166433441"]},{"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":"Sallar Ahmadi-Pour","raw_affiliation_strings":["Group of Computer Architecture, University of Bremen Faculty 3 Mathematics and Computer Science","Group of Computer Architecture, University of Bremen Faculty 3 Mathematics and Computer Science, Bremen, Germany"],"raw_orcid":"https://orcid.org/0000-0003-4000-6207","affiliations":[{"raw_affiliation_string":"Group of Computer Architecture, University of Bremen Faculty 3 Mathematics and Computer Science","institution_ids":["https://openalex.org/I166433441","https://openalex.org/I180437899"]},{"raw_affiliation_string":"Group of Computer Architecture, University of Bremen Faculty 3 Mathematics and Computer Science, Bremen, Germany","institution_ids":["https://openalex.org/I180437899"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5115044986","display_name":"Muhammad Hassan","orcid":"https://orcid.org/0000-0002-4217-3079"},"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"]},{"id":"https://openalex.org/I207169309","display_name":"Cyber University","ror":"https://ror.org/038sdcw17","country_code":"JP","type":"education","lineage":["https://openalex.org/I207169309"]}],"countries":["DE","JP"],"is_corresponding":false,"raw_author_name":"Muhammad Hassan","raw_affiliation_strings":["Cyber Physical Systems, DFKI","Faculty 03 Mathematics and Computer Science, Computer Science, University of Bremen","Cyber Physical Systems, DFKI, Bremen, Germany","Faculty 03 Mathematics and Computer Science, Computer Science, University of Bremen, Bremen, Germany"],"raw_orcid":"https://orcid.org/0000-0002-4217-3079","affiliations":[{"raw_affiliation_string":"Cyber Physical Systems, DFKI","institution_ids":["https://openalex.org/I207169309"]},{"raw_affiliation_string":"Faculty 03 Mathematics and Computer Science, Computer Science, University of Bremen","institution_ids":["https://openalex.org/I180437899"]},{"raw_affiliation_string":"Cyber Physical Systems, DFKI, Bremen, Germany","institution_ids":[]},{"raw_affiliation_string":"Faculty 03 Mathematics and Computer Science, Computer Science, University of Bremen, Bremen, Germany","institution_ids":["https://openalex.org/I180437899"]}]},{"author_position":"last","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"]},{"id":"https://openalex.org/I207169309","display_name":"Cyber University","ror":"https://ror.org/038sdcw17","country_code":"JP","type":"education","lineage":["https://openalex.org/I207169309"]}],"countries":["DE","JP"],"is_corresponding":false,"raw_author_name":"Rolf Drechsler","raw_affiliation_strings":["Computer Science, University of Bremen Faculty 03 Mathematics and Computer Science","Cyber Physical Systems, DFKI","Computer Science, University of Bremen Faculty 03 Mathematics and Computer Science, Bremen, Germany","Cyber Physical Systems, DFKI, Bremen, Germany"],"raw_orcid":"https://orcid.org/0000-0002-9872-1740","affiliations":[{"raw_affiliation_string":"Computer Science, University of Bremen Faculty 03 Mathematics and Computer Science","institution_ids":["https://openalex.org/I180437899"]},{"raw_affiliation_string":"Cyber Physical Systems, DFKI","institution_ids":["https://openalex.org/I207169309"]},{"raw_affiliation_string":"Computer Science, University of Bremen Faculty 03 Mathematics and Computer Science, Bremen, Germany","institution_ids":["https://openalex.org/I180437899"]},{"raw_affiliation_string":"Cyber Physical Systems, DFKI, Bremen, Germany","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.9912,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.91499146,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":99},"biblio":{"volume":"30","issue":"6","first_page":"1","last_page":"28"},"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.9962000250816345,"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.9962000250816345,"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/T12941","display_name":"Embedded Systems and FPGA Design","score":0.9958000183105469,"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/T12801","display_name":"Bluetooth and Wireless Communication Technologies","score":0.9929999709129333,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/computer-science","display_name":"Computer science","score":0.9156707525253296},{"id":"https://openalex.org/keywords/identification","display_name":"Identification (biology)","score":0.6187743544578552},{"id":"https://openalex.org/keywords/verilog","display_name":"Verilog","score":0.5844939947128296},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4513980746269226},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.19795513153076172},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.09036064147949219}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9156707525253296},{"id":"https://openalex.org/C116834253","wikidata":"https://www.wikidata.org/wiki/Q2039217","display_name":"Identification (biology)","level":2,"score":0.6187743544578552},{"id":"https://openalex.org/C2779030575","wikidata":"https://www.wikidata.org/wiki/Q827773","display_name":"Verilog","level":3,"score":0.5844939947128296},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4513980746269226},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.19795513153076172},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.09036064147949219},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C59822182","wikidata":"https://www.wikidata.org/wiki/Q441","display_name":"Botany","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3733237","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3733237","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3733237","source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3733237","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3733237","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3733237","source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2495227918","display_name":null,"funder_award_id":"01IW24001","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"},{"id":"https://openalex.org/G5660660372","display_name":null,"funder_award_id":"16ME0127","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"},{"id":"https://openalex.org/G879987281","display_name":null,"funder_award_id":"01IW22002","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"}],"funders":[{"id":"https://openalex.org/F4320321114","display_name":"Bundesministerium f\u00fcr Bildung und Forschung","ror":"https://ror.org/04pz7b180"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4410166048.pdf","grobid_xml":"https://content.openalex.org/works/W4410166048.grobid-xml"},"referenced_works_count":16,"referenced_works":["https://openalex.org/W1481825323","https://openalex.org/W2012846673","https://openalex.org/W2049695835","https://openalex.org/W2887003415","https://openalex.org/W2973189390","https://openalex.org/W3038819935","https://openalex.org/W4213151038","https://openalex.org/W4378895330","https://openalex.org/W4385187421","https://openalex.org/W4392405447","https://openalex.org/W4392544408","https://openalex.org/W4400578969","https://openalex.org/W4402194438","https://openalex.org/W4402835458","https://openalex.org/W4402835956","https://openalex.org/W4404057163"],"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":{"As":[0,393],"technology":[1],"continues":[2],"to":[3,41,70,86,136,235,262,313,333,403,430],"advance,":[4],"it":[5,83],"becomes":[6],"increasingly":[7],"integrated":[8],"into":[9,310],"daily":[10],"life":[11],"facilitating":[12],"complex":[13,308,374],"tasks":[14,133],"across":[15],"a":[16,54,59,71,101,207,223,274],"range":[17,225],"of":[18,65,74,104,165,210,226,245,301,366,391,409,417],"environments.":[19],"While":[20,189],"some":[21],"applications":[22],"such":[23],"as":[24,119],"smartphones":[25],"and":[26,35,50,113,150,158,161,186,204,304,317,330,335,371,407,432],"smartwatches":[27],"are":[28],"less":[29],"critical,":[30],"others":[31],"like":[32],"healthcare":[33],"devices":[34],"autonomous":[36],"vehicles":[37],"demand":[38],"bug-free":[39,60],"performance":[40],"prevent":[42],"financial":[43],"loss":[44],"or":[45,178,293],"harm.":[46],"Traditionally,":[47],"simulation-based":[48],"testing":[49],"formal":[51],"verification":[52,266],"played":[53],"major":[55],"role":[56],"in":[57,122,132,146,154,192,201,216,248,259,287,427,436],"ensuring":[58],"device.":[61],"However,":[62],"the":[63,77,97,243,254,265,302,322,327,339,361,384,405,418],"simulation":[64],"bigger":[66],"systems":[67],"is":[68,84,110,324,344],"limited":[69,135],"definite":[72],"number":[73],"scenarios":[75],"on":[76,96,284],"Design":[78],"under":[79],"Verification":[80],"(DUV).":[81],"Hence,":[82],"unable":[85],"explore":[87],"all":[88],"possible":[89],"inputs":[90],"that":[91,282],"can":[92,144],"occur.":[93],"Formal":[94],"verification,":[95],"other":[98],"hand,":[99],"offers":[100],"higher":[102],"level":[103],"assurance":[105],"through":[106,342],"mathematical":[107],"proofs":[108],"but":[109],"both":[111],"time-consuming":[112],"suffers":[114],"from":[115,360],"scalability":[116,406],"issues,":[117],"especially":[118],"designs":[120],"grow":[121],"complexity.":[123],"Recently,":[124],"Large":[125],"Language":[126],"Models":[127],"(LLMs)":[128],"have":[129,197],"shown":[130],"promise":[131],"previously":[134],"human":[137],"expertise.":[138],"Their":[139],"natural":[140],"language":[141],"processing":[142],"capabilities":[143,386],"assist":[145],"handling":[147],"extensive":[148,358],"specifications":[149,329],"source":[151,179,249,331],"code,":[152],"particularly":[153,194],"debugging":[155],"hardware":[156,211,227],"descriptions":[157],"analyzing":[159],"security":[160],"functionality.":[162],"The":[163],"utilization":[164],"Retrieval":[166],"Augmented":[167],"Generation":[168],"(RAG)":[169],"has":[170],"further":[171,257],"enhanced":[172],"LLMs":[173,261],"by":[174],"incorporating":[175,356],"large":[176],"specification":[177],"code":[180,332,367],"bases,":[181],"thereby":[182],"improving":[183],"their":[184,217],"bug-identification":[185],"correction":[187,205],"capabilities.":[188],"recent":[190],"advancements":[191],"LLMs,":[193],"with":[195],"RAG,":[196,321],"yielded":[198],"promising":[199],"results":[200],"bug":[202,279,315,351,369,411],"identification":[203],"for":[206,220,256,368],"small":[208],"class":[209],"bugs,":[212],"significant":[213],"gaps":[214],"remain":[215],"full":[218],"potential":[219],"systematically":[221,305],"addressing":[222],"wide":[224],"bugs.":[228,337,392],"For":[229],"instance,":[230],"existing":[231],"LLM":[232,323],"methodologies":[233],"struggle":[234],"detect":[236],"bugs":[237,286,419,435],"involving":[238],"incorrect":[239],"constant":[240],"values,":[241],"i.e.,":[242],"use":[244,396],"wrong":[246],"constants":[247],"code.":[250,439],"This":[251,354],"limitation":[252],"underscores":[253],"need":[255],"exploration":[258],"utilizing":[260],"fully":[263],"optimize":[264],"process.":[267,353],"To":[268],"bridge":[269],"this":[270],"gap,":[271],"we":[272,382,395,423],"propose":[273],"3-phased":[275],"4-stage":[276],"LLM-assisted":[277],"systematic":[278],"closure":[280,352,412],"methodology":[281,347,413],"focuses":[283],"functional":[285,299,328,434],"Verilog":[288,375,437],"HDL":[289,376,438],"rather":[290],"than":[291],"structural":[292],"syntactic":[294],"issues.":[295],"Our":[296],"approach":[297],"extracts":[298],"properties":[300],"DUV":[303],"breaks":[306],"down":[307,373],"expressions":[309],"smaller":[311],"sub-expressions":[312],"facilitate":[314],"detection":[316],"correction.":[318],"By":[319],"employing":[320],"guided":[325],"using":[326,387],"identify":[334,431],"correct":[336,433],"If":[338],"initial":[340],"guidance":[341],"RAG":[343],"insufficient,":[345],"our":[346,379,410],"initiates":[348],"an":[349],"iterative":[350],"includes":[355],"more":[357],"information":[359],"specifications,":[362],"fetching":[363],"additional":[364],"lines":[365],"localization,":[370],"breaking":[372],"expressions.":[377],"In":[378],"comprehensive":[380],"evaluation,":[381],"assess":[383],"LLM\u2019s":[385],"9":[388],"different":[389],"categories":[390],"benchmarks,":[394],"5":[397],"OpenTitan":[398],"Intellectual":[399],"Property":[400],"(IP)":[401],"cores":[402],"demonstrate":[404],"effectiveness":[408],"where":[414],"\u2248":[415],"60%":[416],"were":[420],"corrected.":[421],"Specifically,":[422],"evaluate":[424],"OpenAI\u2019s":[425],"GPT-4":[426],"its":[428],"ability":[429]},"counts_by_year":[{"year":2026,"cited_by_count":4},{"year":2025,"cited_by_count":2}],"updated_date":"2026-07-31T08:31:51.225901","created_date":"2025-10-10T00:00:00"}