{"id":"https://openalex.org/W7164136412","doi":"https://doi.org/10.48550/arxiv.2606.09867","title":"EstRTL: Functional Estimation Guided RTL Code Generation","display_name":"EstRTL: Functional Estimation Guided RTL Code Generation","publication_year":2026,"publication_date":"2026-06-01","ids":{"openalex":"https://openalex.org/W7164136412","doi":"https://doi.org/10.48550/arxiv.2606.09867"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.09867","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.09867","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.09867","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5137875826","display_name":"Qi Xiong","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xiong, Qi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138306270","display_name":"Renzhi Chen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chen, Renzhi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138363628","display_name":"Bowei Wang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wang, Bowei","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138294429","display_name":"Yuqing Xiong","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xiong, Yuqing","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138326589","display_name":"Libo Huang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Huang, Libo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5138326164","display_name":"Lei Wang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wang, Lei","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.44519999623298645,"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.44519999623298645,"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.08829999715089798,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.03610000014305115,"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/correctness","display_name":"Correctness","score":0.7939000129699707},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.7245000004768372},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5745000243186951},{"id":"https://openalex.org/keywords/redundant-code","display_name":"Redundant code","score":0.521399974822998},{"id":"https://openalex.org/keywords/unreachable-code","display_name":"Unreachable code","score":0.4745999872684479},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.41679999232292175},{"id":"https://openalex.org/keywords/dead-code","display_name":"Dead code","score":0.4023999869823456},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.39410001039505005}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7939000129699707},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7774999737739563},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.7245000004768372},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5745000243186951},{"id":"https://openalex.org/C151578736","wikidata":"https://www.wikidata.org/wiki/Q1251793","display_name":"Redundant code","level":4,"score":0.521399974822998},{"id":"https://openalex.org/C50951305","wikidata":"https://www.wikidata.org/wiki/Q2482534","display_name":"Unreachable code","level":5,"score":0.4745999872684479},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.47099998593330383},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.41679999232292175},{"id":"https://openalex.org/C47434764","wikidata":"https://www.wikidata.org/wiki/Q1770035","display_name":"Dead code","level":5,"score":0.4023999869823456},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.39410001039505005},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.383899986743927},{"id":"https://openalex.org/C34854456","wikidata":"https://www.wikidata.org/wiki/Q1484552","display_name":"Register-transfer level","level":4,"score":0.31769999861717224},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.31450000405311584},{"id":"https://openalex.org/C2144512","wikidata":"https://www.wikidata.org/wiki/Q1143090","display_name":"Dead code elimination","level":5,"score":0.3109999895095825},{"id":"https://openalex.org/C2780233690","wikidata":"https://www.wikidata.org/wiki/Q535347","display_name":"Transparency (behavior)","level":2,"score":0.31049999594688416},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3093000054359436},{"id":"https://openalex.org/C58013763","wikidata":"https://www.wikidata.org/wiki/Q5754574","display_name":"High-level synthesis","level":3,"score":0.301800012588501},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.29649999737739563},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.2921000123023987},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.28949999809265137},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.2809999883174896},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.27970001101493835},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.27489998936653137},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.26750001311302185},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.25040000677108765}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.09867","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.09867","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.09867","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.09867","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":[{"display_name":"Peace, Justice and strong institutions","score":0.45656970143318176,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Optimizing":[0],"register":[1],"transfer":[2],"level":[3],"(RTL)":[4],"code":[5,48,65,79,111,139,152,163,178,203,215],"is":[6],"of":[7,26,57,184,200,213,226],"vital":[8],"importance":[9],"in":[10,89],"hardware":[11,91],"design.":[12],"Large":[13],"language":[14],"models":[15],"(LLMs)":[16],"provide":[17],"new":[18],"methods":[19,44],"for":[20,45,109,156,176],"the":[21,30,35,55,63,71,76,129,131,137,151,162,182,185,198,211,223],"automatic":[22],"generation":[23,66,112,216],"and":[24,38,54,126,143,146,192,231],"optimization":[25],"RTL":[27,47,64,78,110,177,202,214],"code,":[28],"offering":[29],"potential":[31],"to":[32,61,70,149,161,171],"significantly":[33,209],"accelerate":[34],"design":[36],"process":[37],"reduce":[39],"human":[40],"effort.":[41],"However,":[42],"existing":[43],"generating":[46],"often":[49],"focus":[50],"on":[51,114,141],"model":[52],"fine-tuning":[53],"use":[56],"various":[58,172],"expansion":[59],"techniques":[60],"enhance":[62],"capabilities,":[67],"lacking":[68],"attention":[69],"functional":[72,116,132],"correctness.":[73],"Ensuring":[74],"that":[75,174,207],"generated":[77,138,186],"not":[80],"only":[81],"compiles":[82],"successfully":[83],"but":[84],"also":[85],"behaves":[86],"as":[87],"intended":[88],"real":[90],"implementations":[92],"remains":[93],"a":[94,121],"critical":[95],"challenge.":[96],"To":[97],"address":[98],"this":[99],"issue,":[100],"we":[101],"propose":[102],"EstRTL,":[103],"an":[104],"LLM-powered":[105],"collaborative":[106],"agent":[107,134],"framework":[108,167],"based":[113,140],"static":[115],"score":[117,142],"estimation.":[118],"EstRTL":[119,208],"operates":[120],"three-stage":[122],"paradigm:":[123],"Generation,":[124],"Estimation":[125],"Correction.":[127],"During":[128],"stages,":[130],"estimation":[133],"statically":[135],"evaluates":[136],"assessment":[144],"results,":[145],"decides":[147],"whether":[148],"output":[150],"directly,":[153],"return":[154],"it":[155,160,196],"regeneration,":[157],"or":[158],"forward":[159],"correction":[164],"agent.":[165],"This":[166],"can":[168],"be":[169],"applied":[170],"LLMs":[173],"designed":[175],"generation,":[179],"further":[180],"enhancing":[181],"correctness":[183,212],"code.":[187],"By":[188],"providing":[189],"quantitative":[190],"scores":[191],"human-readable":[193],"requirements":[194],"comparisons,":[195],"improves":[197,210],"transparency":[199],"AI-assisted":[201],"generation.":[204],"Experiments":[205],"show":[206],"by":[217,220],"generic":[218],"LLM":[219],"3.2\\%-9.0\\%,":[221],"demonstrating":[222],"practical":[224],"value":[225],"our":[227],"system.":[228],"The":[229],"codes":[230],"experimental":[232],"results":[233],"are":[234],"open-sourced":[235],"at":[236],"link:":[237],"https://anonymous.4open.science/status/EstRTL-E200/.":[238]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-06-11T00:00:00"}