{"id":"https://openalex.org/W4416429719","doi":"https://doi.org/10.1109/iccad66269.2025.11240679","title":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","display_name":"From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification","publication_year":2025,"publication_date":"2025-10-26","ids":{"openalex":"https://openalex.org/W4416429719","doi":"https://doi.org/10.1109/iccad66269.2025.11240679"},"language":"en","primary_location":{"id":"doi:10.1109/iccad66269.2025.11240679","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad66269.2025.11240679","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE/ACM International Conference On Computer Aided Design (ICCAD)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2504.19959","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5001499325","display_name":"Junhao Ye","orcid":null},"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":"Junhao Ye","raw_affiliation_strings":["Southeast University,School of Integrated Circuits,China"],"raw_orcid":null,"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/A5007504600","display_name":"Yuan Hu","orcid":"https://orcid.org/0000-0002-5348-1974"},"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"],"raw_orcid":null,"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/A5100592009","display_name":"Ke Xu","orcid":null},"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":"Ke Xu","raw_affiliation_strings":["Southeast University,School of Integrated Circuits,China"],"raw_orcid":null,"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/A5026207504","display_name":"Dingrong Pan","orcid":"https://orcid.org/0009-0009-3947-5496"},"institutions":[{"id":"https://openalex.org/I4210132294","display_name":"National Commission for Science, Technology, and Innovation","ror":"https://ror.org/03wzc0b85","country_code":"KE","type":"government","lineage":["https://openalex.org/I4210132294"]}],"countries":["KE"],"is_corresponding":false,"raw_author_name":"Dingrong Pan","raw_affiliation_strings":["National Center of Technology Innovation for EDA,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Center of Technology Innovation for EDA,China","institution_ids":["https://openalex.org/I4210132294"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Qichun Chen","orcid":null},"institutions":[{"id":"https://openalex.org/I180726961","display_name":"Shenzhen University","ror":"https://ror.org/01vy4gh70","country_code":"CN","type":"education","lineage":["https://openalex.org/I180726961"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qichun Chen","raw_affiliation_strings":["Shenzhen University,College of Economics,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shenzhen University,College of Economics,China","institution_ids":["https://openalex.org/I180726961"]}]},{"author_position":"middle","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":false,"raw_author_name":"Jie Zhou","raw_affiliation_strings":["Southeast University,School of Integrated Circuits,China"],"raw_orcid":null,"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/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,School of Computer Science and Engineering,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Sun Yat-sen University,School of Computer Science and Engineering,China","institution_ids":["https://openalex.org/I157773358"]}]},{"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"],"raw_orcid":null,"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/A5100442245","display_name":"Xi Wang","orcid":"https://orcid.org/0000-0002-1998-6733"},"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":"Xi Wang","raw_affiliation_strings":["Southeast University,School of Integrated Circuits,China"],"raw_orcid":null,"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/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"],"raw_orcid":null,"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"],"raw_orcid":null,"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":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"9"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.38609999418258667,"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"}},"topics":[{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.38609999418258667,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.36039999127388,"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/T10142","display_name":"Formal Methods in Verification","score":0.09080000221729279,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/bottleneck","display_name":"Bottleneck","score":0.5742999911308289},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.5472000241279602},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.5325000286102295},{"id":"https://openalex.org/keywords/suite","display_name":"Suite","score":0.5080000162124634},{"id":"https://openalex.org/keywords/intelligent-verification","display_name":"Intelligent verification","score":0.5033000111579895},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.46700000762939453},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4648999869823456},{"id":"https://openalex.org/keywords/coding","display_name":"Coding (social sciences)","score":0.40950000286102295},{"id":"https://openalex.org/keywords/vhdl","display_name":"VHDL","score":0.39570000767707825}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8392000198364258},{"id":"https://openalex.org/C2780513914","wikidata":"https://www.wikidata.org/wiki/Q18210350","display_name":"Bottleneck","level":2,"score":0.5742999911308289},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.5472000241279602},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5325000286102295},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.5080000162124634},{"id":"https://openalex.org/C3406870","wikidata":"https://www.wikidata.org/wiki/Q6044160","display_name":"Intelligent verification","level":5,"score":0.5033000111579895},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.46700000762939453},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4648999869823456},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4422000050544739},{"id":"https://openalex.org/C179518139","wikidata":"https://www.wikidata.org/wiki/Q5140297","display_name":"Coding (social sciences)","level":2,"score":0.40950000286102295},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4000999927520752},{"id":"https://openalex.org/C36941000","wikidata":"https://www.wikidata.org/wiki/Q209455","display_name":"VHDL","level":3,"score":0.39570000767707825},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.39430001378059387},{"id":"https://openalex.org/C187250869","wikidata":"https://www.wikidata.org/wiki/Q5754573","display_name":"High-level verification","level":5,"score":0.38830000162124634},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.334199994802475},{"id":"https://openalex.org/C77390884","wikidata":"https://www.wikidata.org/wiki/Q217302","display_name":"Application-specific integrated circuit","level":2,"score":0.3093999922275543},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.30799999833106995},{"id":"https://openalex.org/C199519371","wikidata":"https://www.wikidata.org/wiki/Q942695","display_name":"Source lines of code","level":3,"score":0.30480000376701355},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3003999888896942},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.2888999879360199},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.28690001368522644},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.2784999907016754},{"id":"https://openalex.org/C34854456","wikidata":"https://www.wikidata.org/wiki/Q1484552","display_name":"Register-transfer level","level":4,"score":0.2655999958515167},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.26460000872612},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.25619998574256897},{"id":"https://openalex.org/C96654402","wikidata":"https://www.wikidata.org/wiki/Q5469962","display_name":"Formal equivalence checking","level":3,"score":0.2556999921798706},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.2556000053882599},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.25270000100135803}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/iccad66269.2025.11240679","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad66269.2025.11240679","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE/ACM International Conference On Computer Aided Design (ICCAD)","raw_type":"proceedings-article"},{"id":"pmh:oai:eprints.whiterose.ac.uk:235874","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":"Proceedings Paper"},{"id":"pmh:oai:arXiv.org:2504.19959","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2504.19959","pdf_url":"https://arxiv.org/pdf/2504.19959","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2504.19959","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2504.19959","pdf_url":"https://arxiv.org/pdf/2504.19959","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3398973583","display_name":null,"funder_award_id":"2024YFB4405600","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G6317451256","display_name":null,"funder_award_id":"92464301","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"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/F4320335777","display_name":"National Key Research and Development Program of China","ror":null},{"id":"https://openalex.org/F4320337504","display_name":"Research and Development","ror":"https://ror.org/027s68j25"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W1562499525","https://openalex.org/W2008947093","https://openalex.org/W2117006807","https://openalex.org/W2129481193","https://openalex.org/W2160892751","https://openalex.org/W2535974818","https://openalex.org/W2771007995","https://openalex.org/W2800690434","https://openalex.org/W2810577624","https://openalex.org/W2902709211","https://openalex.org/W2941005975","https://openalex.org/W3214794276","https://openalex.org/W4210810720","https://openalex.org/W4313341364","https://openalex.org/W4383503264","https://openalex.org/W4388040405","https://openalex.org/W4389166737","https://openalex.org/W4391182436","https://openalex.org/W4391681217","https://openalex.org/W4391770624","https://openalex.org/W4393145520","https://openalex.org/W4399120235","https://openalex.org/W4399372338","https://openalex.org/W4400113208","https://openalex.org/W4403023462","https://openalex.org/W4403060158","https://openalex.org/W4404134046","https://openalex.org/W4409282805","https://openalex.org/W4409561204","https://openalex.org/W4410407476","https://openalex.org/W4414197364"],"related_works":[],"abstract_inverted_index":{"Verification":[0,21],"presents":[1],"a":[2,118],"major":[3],"bottleneck":[4],"in":[5,27],"Integrated":[6],"Circuit":[7],"(IC)":[8],"development,":[9],"consuming":[10],"nearly":[11],"70%":[12],"of":[13,60,127,132,160],"the":[14,19,51,65],"total":[15],"development":[16],"effort.":[17],"While":[18],"Universal":[20],"Methodology":[22],"(UVM)":[23],"is":[24],"widely":[25],"used":[26],"industry":[28],"to":[29,71,91,129,147,150],"improve":[30],"verification":[31,83,109],"efficiency":[32],"through":[33],"structured":[34],"and":[35,41,64,95,153,157,162,170],"reusable":[36],"testbenches,":[37],"constructing":[38],"these":[39],"testbenches":[40,94],"generating":[42],"sufficient":[43],"stimuli":[44],"remain":[45],"challenging.":[46],"These":[47],"challenges":[48],"arise":[49],"from":[50],"considerable":[52],"manual":[53,58,104],"coding":[54],"effort":[55,105],"required,":[56],"repetitive":[57],"execution":[59],"multiple":[61],"EDA":[62],"tools,":[63],"need":[66],"for":[67],"in-depth":[68],"domain":[69],"expertise":[70],"navigate":[72],"complex":[73],"designs.":[74],"Here,":[75],"we":[76,116],"present":[77],"UVM<sup":[78,113,138],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[79,114,139],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">2</sup>,":[80,115],"an":[81],"automated":[82],"framework":[84],"that":[85,137],"leverages":[86],"Large":[87],"Language":[88],"Models":[89],"(LLMs)":[90],"generate":[92],"UVM":[93],"iteratively":[96],"refine":[97],"them":[98],"using":[99],"coverage":[100,159],"feedback,":[101],"significantly":[102],"reducing":[103],"while":[106],"maintaining":[107],"rigorous":[108],"standards.":[110],"To":[111],"evaluate":[112],"introduce":[117],"benchmark":[119],"suite":[120],"comprising":[121],"Register":[122],"Transfer":[123],"Level":[124],"(RTL)":[125],"designs":[126],"up":[128,146],"1.6K":[130],"lines":[131],"code.":[133],"The":[134],"results":[135],"show":[136],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">2</sup>":[140],"reduces":[141],"testbench":[142],"setup":[143],"time":[144],"by":[145,168],"38.82\u00d7":[148],"compared":[149],"experienced":[151],"engineers,":[152],"achieve":[154],"average":[155],"code":[156],"function":[158],"87.44%":[161],"89.58%,":[163],"outperforming":[164],"state-":[165],"of-the-art":[166],"solutions":[167],"20.96%":[169],"23.51%,":[171],"respectively.":[172]},"counts_by_year":[{"year":2026,"cited_by_count":2}],"updated_date":"2026-07-18T07:39:51.176621","created_date":"2025-10-10T00:00:00"}