{"id":"https://openalex.org/W4414197364","doi":"https://doi.org/10.1109/dac63849.2025.11133324","title":"Insights from Rights and Wrongs: A Large Language Model for Solving Assertion Failures in RTL Design","display_name":"Insights from Rights and Wrongs: A Large Language Model for Solving Assertion Failures in RTL Design","publication_year":2025,"publication_date":"2025-06-22","ids":{"openalex":"https://openalex.org/W4414197364","doi":"https://doi.org/10.1109/dac63849.2025.11133324"},"language":"en","primary_location":{"id":"doi:10.1109/dac63849.2025.11133324","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dac63849.2025.11133324","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 62nd ACM/IEEE Design Automation Conference (DAC)","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/A5038047057","display_name":"Jie Zhou","orcid":"https://orcid.org/0000-0001-5911-8554"},"institutions":[{"id":"https://openalex.org/I76569877","display_name":"Southeast University","ror":"https://ror.org/04ct4d772","country_code":"CN","type":"education","lineage":["https://openalex.org/I76569877"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Jie Zhou","raw_affiliation_strings":["Southeast University,School of Integrated Circuits,China"],"affiliations":[{"raw_affiliation_string":"Southeast University,School of Integrated Circuits,China","institution_ids":["https://openalex.org/I76569877"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036508835","display_name":"Yafeng Ji","orcid":"https://orcid.org/0000-0002-4101-3217"},"institutions":[{"id":"https://openalex.org/I4210132294","display_name":"National Commission for Science, Technology, and Innovation","ror":"https://ror.org/03wzc0b85","country_code":"KE","type":"funder","lineage":["https://openalex.org/I4210132294"]}],"countries":["KE"],"is_corresponding":false,"raw_author_name":"Youshu Ji","raw_affiliation_strings":["National Center of Technology Innovation for EDA,China"],"affiliations":[{"raw_affiliation_string":"National Center of Technology Innovation for EDA,China","institution_ids":["https://openalex.org/I4210132294"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100387116","display_name":"Ning Wang","orcid":"https://orcid.org/0000-0002-1849-1747"},"institutions":[{"id":"https://openalex.org/I168719708","display_name":"City University of Hong Kong","ror":"https://ror.org/03q8dnn23","country_code":"HK","type":"education","lineage":["https://openalex.org/I168719708"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Ning Wang","raw_affiliation_strings":["City University of Hong Kong,Department of Computer Science,Hong Kong"],"affiliations":[{"raw_affiliation_string":"City University of Hong Kong,Department of Computer Science,Hong Kong","institution_ids":["https://openalex.org/I168719708"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007504600","display_name":"Yuan Hu","orcid":"https://orcid.org/0009-0006-3742-7560"},"institutions":[{"id":"https://openalex.org/I76569877","display_name":"Southeast University","ror":"https://ror.org/04ct4d772","country_code":"CN","type":"education","lineage":["https://openalex.org/I76569877"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuchen Hu","raw_affiliation_strings":["Southeast University,School of Integrated Circuits,China"],"affiliations":[{"raw_affiliation_string":"Southeast University,School of Integrated Circuits,China","institution_ids":["https://openalex.org/I76569877"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050837761","display_name":"Xinan Jiao","orcid":"https://orcid.org/0000-0002-2214-3358"},"institutions":[{"id":"https://openalex.org/I76569877","display_name":"Southeast University","ror":"https://ror.org/04ct4d772","country_code":"CN","type":"education","lineage":["https://openalex.org/I76569877"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xinyao Jiao","raw_affiliation_strings":["Southeast University,School of Integrated Circuits,China"],"affiliations":[{"raw_affiliation_string":"Southeast University,School of Integrated Circuits,China","institution_ids":["https://openalex.org/I76569877"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113408359","display_name":"Bingkun Yao","orcid":null},"institutions":[{"id":"https://openalex.org/I168719708","display_name":"City University of Hong Kong","ror":"https://ror.org/03q8dnn23","country_code":"HK","type":"education","lineage":["https://openalex.org/I168719708"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Bingkun Yao","raw_affiliation_strings":["City University of Hong Kong,Department of Computer Science,Hong Kong"],"affiliations":[{"raw_affiliation_string":"City University of Hong Kong,Department of Computer Science,Hong Kong","institution_ids":["https://openalex.org/I168719708"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077927564","display_name":"Xinwei Fang","orcid":"https://orcid.org/0000-0003-3630-2249"},"institutions":[{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Xinwei Fang","raw_affiliation_strings":["University of York,Department of Computer Science,UK"],"affiliations":[{"raw_affiliation_string":"University of York,Department of Computer Science,UK","institution_ids":["https://openalex.org/I52099693"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078667171","display_name":"Shuai Zhao","orcid":"https://orcid.org/0000-0003-0721-8021"},"institutions":[{"id":"https://openalex.org/I157773358","display_name":"Sun Yat-sen University","ror":"https://ror.org/0064kty71","country_code":"CN","type":"education","lineage":["https://openalex.org/I157773358"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shuai Zhao","raw_affiliation_strings":["Sun Yat-sen University,Department of Computer Science,China"],"affiliations":[{"raw_affiliation_string":"Sun Yat-sen University,Department of Computer Science,China","institution_ids":["https://openalex.org/I157773358"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002245169","display_name":"Nan Guan","orcid":"https://orcid.org/0000-0003-3775-911X"},"institutions":[{"id":"https://openalex.org/I168719708","display_name":"City University of Hong Kong","ror":"https://ror.org/03q8dnn23","country_code":"HK","type":"education","lineage":["https://openalex.org/I168719708"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Nan Guan","raw_affiliation_strings":["City University of Hong Kong,Department of Computer Science,Hong Kong"],"affiliations":[{"raw_affiliation_string":"City University of Hong Kong,Department of Computer Science,Hong Kong","institution_ids":["https://openalex.org/I168719708"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102780663","display_name":"Zhe Jiang","orcid":"https://orcid.org/0000-0002-8509-3167"},"institutions":[{"id":"https://openalex.org/I76569877","display_name":"Southeast University","ror":"https://ror.org/04ct4d772","country_code":"CN","type":"education","lineage":["https://openalex.org/I76569877"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhe Jiang","raw_affiliation_strings":["Southeast University,School of Integrated Circuits,China"],"affiliations":[{"raw_affiliation_string":"Southeast University,School of Integrated Circuits,China","institution_ids":["https://openalex.org/I76569877"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":10,"corresponding_author_ids":["https://openalex.org/A5038047057"],"corresponding_institution_ids":["https://openalex.org/I76569877"],"apc_list":null,"apc_paid":null,"fwci":2.1645,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.90541563,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":95},"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.8240000009536743,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.8240000009536743,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10430","display_name":"Software Engineering Techniques and Practices","score":0.7161999940872192,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.7117999792098999,"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/assertion","display_name":"Assertion","score":0.8561000227928162},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.6115999817848206},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5748000144958496},{"id":"https://openalex.org/keywords/metric","display_name":"Metric (unit)","score":0.5378999710083008},{"id":"https://openalex.org/keywords/logical-conjunction","display_name":"Logical conjunction","score":0.31929999589920044},{"id":"https://openalex.org/keywords/language-model","display_name":"Language model","score":0.30140000581741333}],"concepts":[{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.8561000227928162},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7800999879837036},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.6115999817848206},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.574999988079071},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5748000144958496},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.5378999710083008},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.36160001158714294},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3582000136375427},{"id":"https://openalex.org/C21847791","wikidata":"https://www.wikidata.org/wiki/Q191081","display_name":"Logical conjunction","level":2,"score":0.31929999589920044},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.31529998779296875},{"id":"https://openalex.org/C137293760","wikidata":"https://www.wikidata.org/wiki/Q3621696","display_name":"Language model","level":2,"score":0.30140000581741333},{"id":"https://openalex.org/C67186912","wikidata":"https://www.wikidata.org/wiki/Q367664","display_name":"Data modeling","level":2,"score":0.30090001225471497},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.2831999957561493},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.2547000050544739},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.25459998846054077}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/dac63849.2025.11133324","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dac63849.2025.11133324","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 62nd ACM/IEEE Design Automation Conference (DAC)","raw_type":"proceedings-article"},{"id":"pmh:oai:eprints.whiterose.ac.uk:225387","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306400854","display_name":"White Rose Research Online (University of Leeds, The University of Sheffield, University of York)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2800616092","host_organization_name":"White Rose University Consortium","host_organization_lineage":["https://openalex.org/I2800616092"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"NonPeerReviewed"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320324856","display_name":"Southeast University","ror":"https://ror.org/04ct4d772"},{"id":"https://openalex.org/F4320337504","display_name":"Research and Development","ror":"https://ror.org/027s68j25"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W2012168525","https://openalex.org/W2021949528","https://openalex.org/W2089141542","https://openalex.org/W2962784628","https://openalex.org/W3081168214","https://openalex.org/W4210725750","https://openalex.org/W4283162852","https://openalex.org/W4379115941","https://openalex.org/W4379402981","https://openalex.org/W4389166737","https://openalex.org/W4391182436","https://openalex.org/W4391681217","https://openalex.org/W4393145520","https://openalex.org/W4399372338","https://openalex.org/W4399487123","https://openalex.org/W4400113208","https://openalex.org/W4402125165","https://openalex.org/W4402672106","https://openalex.org/W4403023622","https://openalex.org/W4409282805","https://openalex.org/W4409369309","https://openalex.org/W4410407476","https://openalex.org/W4411120222"],"related_works":[],"abstract_inverted_index":{"SystemVerilog":[0],"Assertions":[1],"(SVAs)":[2],"are":[3],"essential":[4],"for":[5,90,137],"verifying":[6],"Register":[7],"Transfer":[8],"Level":[9],"(RTL)":[10],"designs,":[11],"as":[12],"they":[13],"can":[14],"be":[15],"embedded":[16],"into":[17],"key":[18],"functional":[19],"paths":[20],"to":[21,74,104,125,140],"detect":[22],"unintended":[23],"behaviours.":[24],"During":[25],"simulation,":[26],"assertion":[27,92],"failures":[28],"occur":[29],"when":[30],"the":[31,44,47],"design\u2019s":[32],"behaviour":[33],"deviates":[34],"from":[35,101],"expectations.":[36],"Solving":[37],"these":[38],"failures,":[39],"i.e.,":[40],"identifying":[41],"and":[42,53,66,99,135],"fixing":[43],"issues":[45],"causing":[46],"deviation,":[48],"requires":[49],"analysing":[50],"complex":[51],"logical":[52],"timing":[54],"relationships":[55],"between":[56],"multiple":[57],"signals.":[58],"This":[59],"process":[60],"heavily":[61],"relies":[62],"on":[63,116],"human":[64],"expertise,":[65],"there":[67],"is":[68],"currently":[69],"no":[70],"automatic":[71],"tool":[72],"available":[73],"assist":[75],"with":[76],"it.":[77],"Here,":[78],"we":[79],"present":[80],"AssertSolver,":[81],"an":[82],"opensource":[83],"Large":[84],"Language":[85],"Model":[86],"(LLM)":[87],"specifically":[88],"designed":[89],"solving":[91],"failures.":[93],"By":[94],"leveraging":[95],"synthetic":[96],"training":[97],"data":[98],"learning":[100],"error":[102],"responses":[103],"challenging":[105],"cases,":[106],"AssertSolver":[107],"achieves":[108],"a":[109],"bug-fixing":[110],"pass@1":[111],"metric":[112],"of":[113],"$88.54":[114],"\\%$":[115],"our":[117,133],"testbench,":[118],"significantly":[119],"outperforming":[120],"OpenAI\u2019s":[121],"o1-preview":[122],"by":[123],"up":[124],"$\\mathbf{1":[126],"1.":[127],"9":[128],"7":[129],"\\%}$.":[130],"We":[131],"release":[132],"model":[134],"testbench":[136],"public":[138],"access":[139],"encourage":[141],"further":[142],"research:":[143],"https://github.com/SEU-ACAL/reproduce-AssertSolver-DAC-25.":[144]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-10-10T00:00:00"}