{"id":"https://openalex.org/W7164500836","doi":"https://doi.org/10.48550/arxiv.2606.12983","title":"Structured Testbench Generation for LLM-Driven HDL Design and Verification-Oriented Data Curation","display_name":"Structured Testbench Generation for LLM-Driven HDL Design and Verification-Oriented Data Curation","publication_year":2026,"publication_date":"2026-06-11","ids":{"openalex":"https://openalex.org/W7164500836","doi":"https://doi.org/10.48550/arxiv.2606.12983"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.12983","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.12983","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,"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":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2606.12983","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5067971879","display_name":"En-Ming Huang","orcid":"https://orcid.org/0000-0003-2196-2834"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Huang, En-Ming","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103367306","display_name":"Yu\u2010Hung Kao","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kao, Yu-Hung","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5124007364","display_name":"Ren-Hao Deng","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Deng, Ren-Hao","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138551126","display_name":"Wei-Po Hsin","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hsin, Wei-Po","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5123943727","display_name":"Yao-Ting Hsieh","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hsieh, Yao-Ting","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138520898","display_name":"Cheng Liang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liang, Cheng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5128799599","display_name":"Hsiang-Yu Tsou","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tsou, Hsiang-Yu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029870143","display_name":"Mu-Chi Chen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chen, Mu-Chi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015437212","display_name":"Yukai Hung","orcid":"https://orcid.org/0009-0003-1889-1630"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hung, Yu-Kai","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5125079675","display_name":"Shao-Chun Ho","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ho, Shao-Chun","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138550503","display_name":"Po-Hsuang Huang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Huang, Po-Hsuang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138520879","display_name":"Shih-Hao Hung","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hung, Shih-Hao","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5138501964","display_name":"H. T. Kung","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kung, H. T.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.41659998893737793,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.41659998893737793,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.1761000007390976,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.11729999631643295,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.5248000025749207},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.5209000110626221},{"id":"https://openalex.org/keywords/node","display_name":"Node (physics)","score":0.41760000586509705},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.3725999891757965},{"id":"https://openalex.org/keywords/satisfiability-modulo-theories","display_name":"Satisfiability modulo theories","score":0.3702000081539154},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.36880001425743103},{"id":"https://openalex.org/keywords/data-flow-diagram","display_name":"Data flow diagram","score":0.35659998655319214},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.35120001435279846},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.3425000011920929}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8342000246047974},{"id":"https://openalex.org/C2780513914","wikidata":"https://www.wikidata.org/wiki/Q18210350","display_name":"Bottleneck","level":2,"score":0.5248000025749207},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5209000110626221},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.41760000586509705},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.3725999891757965},{"id":"https://openalex.org/C164155591","wikidata":"https://www.wikidata.org/wiki/Q2067766","display_name":"Satisfiability modulo theories","level":2,"score":0.3702000081539154},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.36880001425743103},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.35659998655319214},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.35120001435279846},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3440000116825104},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.3425000011920929},{"id":"https://openalex.org/C67186912","wikidata":"https://www.wikidata.org/wiki/Q367664","display_name":"Data modeling","level":2,"score":0.34209999442100525},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.34150001406669617},{"id":"https://openalex.org/C48145219","wikidata":"https://www.wikidata.org/wiki/Q1335365","display_name":"Security token","level":2,"score":0.33869999647140503},{"id":"https://openalex.org/C88468194","wikidata":"https://www.wikidata.org/wiki/Q1172416","display_name":"Data-flow analysis","level":3,"score":0.3314000070095062},{"id":"https://openalex.org/C78766204","wikidata":"https://www.wikidata.org/wiki/Q555032","display_name":"Multi-core processor","level":2,"score":0.3167000114917755},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.30570000410079956},{"id":"https://openalex.org/C37135326","wikidata":"https://www.wikidata.org/wiki/Q931942","display_name":"Design flow","level":2,"score":0.296999990940094},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.29339998960494995},{"id":"https://openalex.org/C128916667","wikidata":"https://www.wikidata.org/wiki/Q1343660","display_name":"Register allocation","level":3,"score":0.28839999437332153},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.28690001368522644},{"id":"https://openalex.org/C2776175482","wikidata":"https://www.wikidata.org/wiki/Q1195816","display_name":"Transfer (computing)","level":2,"score":0.27709999680519104},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.2757999897003174},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.2752000093460083},{"id":"https://openalex.org/C157922185","wikidata":"https://www.wikidata.org/wiki/Q173198","display_name":"Logic synthesis","level":3,"score":0.26589998602867126},{"id":"https://openalex.org/C47487241","wikidata":"https://www.wikidata.org/wiki/Q5227230","display_name":"Data access","level":2,"score":0.26499998569488525},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.2621999979019165},{"id":"https://openalex.org/C34854456","wikidata":"https://www.wikidata.org/wiki/Q1484552","display_name":"Register-transfer level","level":4,"score":0.25029999017715454}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.12983","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.12983","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,"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":"doi:10.48550/arxiv.2606.12983","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.12983","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,"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":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Automated":[0],"testbench":[1,34,89],"generation":[2,35,90,115],"has":[3],"become":[4],"a":[5,59,77,123,135,156],"critical":[6],"bottleneck":[7],"in":[8,113,151],"large":[9,19],"language":[10],"model":[11],"(LLM)-driven":[12],"Register":[13],"Transfer":[14],"Level":[15],"(RTL)":[16],"workflows,":[17],"where":[18],"numbers":[20],"of":[21,69,95],"candidate":[22],"designs":[23,71],"must":[24],"be":[25],"verified":[26],"rapidly":[27],"and":[28,49,92,101,143],"reliably.":[29],"Existing":[30],"prompt-based":[31],"approaches":[32],"treat":[33],"as":[36],"unconstrained":[37],"code":[38],"synthesis,":[39],"yielding":[40],"stochastic":[41],"outputs":[42],"with":[43,139],"high":[44],"token":[45],"cost,":[46],"low":[47],"reproducibility,":[48],"insufficient":[50],"coverage.":[51],"To":[52],"address":[53],"this":[54],"gap,":[55],"we":[56],"present":[57],"STG,":[58],"Structured":[60],"Testbench":[61],"Generation":[62],"framework":[63],"that":[64],"exploits":[65],"the":[66,144],"inherent":[67],"structure":[68],"hardware":[70],"to":[72],"generate":[73],"deterministic":[74],"testbenches.":[75,121],"As":[76,122,155],"direct":[78],"verification":[79],"tool,":[80],"STG":[81,108],"runs":[82],"720x":[83],"faster":[84,130],"than":[85,131],"an":[86],"iterative":[87],"LLM-based":[88,132],"flow":[91],"higher":[93,99],"rate":[94],"successful":[96],"compilation,":[97],"achieves":[98],"coverage,":[100],"reduces":[102,161],"false-pass":[103],"verdicts":[104],"on":[105,134],"incorrect":[106],"DUTs.":[107],"also":[109],"helps":[110],"identify":[111],"errors":[112],"RTL":[114],"benchmarks":[116],"by":[117,164],"exposing":[118],"faulty":[119],"benchmark":[120],"data":[124],"curation":[125],"engine,":[126],"it":[127,160],"is":[128],"11x":[129],"filtering":[133],"single":[136],"CPU":[137],"core":[138],"127x":[140],"less":[141],"energy,":[142],"resulting":[145],"distilled":[146],"models":[147,167],"provide":[148],"state-of-the-art":[149],"performance":[150],"our":[152],"multi-benchmark":[153],"evaluation.":[154],"test-time":[157],"scaling":[158],"oracle,":[159],"node":[162],"count":[163],"14-47\\%.":[165],"Our":[166],"are":[168],"available":[169],"at":[170],"https://huggingface.co/collections/AS-SiliconMind/siliconmind-v12.":[171]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-06-13T00:00:00"}