{"id":"https://openalex.org/W4415004264","doi":"https://doi.org/10.1109/mlcad65511.2025.11189222","title":"ASPEN: LLM-Guided E-Graph Rewriting for RTL Datapath Optimization","display_name":"ASPEN: LLM-Guided E-Graph Rewriting for RTL Datapath Optimization","publication_year":2025,"publication_date":"2025-09-08","ids":{"openalex":"https://openalex.org/W4415004264","doi":"https://doi.org/10.1109/mlcad65511.2025.11189222"},"language":"en","primary_location":{"id":"doi:10.1109/mlcad65511.2025.11189222","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mlcad65511.2025.11189222","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 ACM/IEEE 7th Symposium on Machine Learning for CAD (MLCAD)","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/A5059293268","display_name":"Niansong Zhang","orcid":"https://orcid.org/0000-0002-2850-0176"},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Niansong Zhang","raw_affiliation_strings":["Cornell University"],"affiliations":[{"raw_affiliation_string":"Cornell University","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103232740","display_name":"Chenhui Deng","orcid":"https://orcid.org/0009-0006-6482-5855"},"institutions":[{"id":"https://openalex.org/I4210127875","display_name":"Nvidia (United States)","ror":"https://ror.org/03jdj4y14","country_code":"US","type":"company","lineage":["https://openalex.org/I4210127875"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chenhui Deng","raw_affiliation_strings":["NVIDIA Corporation"],"affiliations":[{"raw_affiliation_string":"NVIDIA Corporation","institution_ids":["https://openalex.org/I4210127875"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112072329","display_name":"J. Kuehn","orcid":null},"institutions":[{"id":"https://openalex.org/I4210127875","display_name":"Nvidia (United States)","ror":"https://ror.org/03jdj4y14","country_code":"US","type":"company","lineage":["https://openalex.org/I4210127875"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Johannes Maximilian Kuehn","raw_affiliation_strings":["NVIDIA Corporation"],"affiliations":[{"raw_affiliation_string":"NVIDIA Corporation","institution_ids":["https://openalex.org/I4210127875"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053201835","display_name":"Chia-Tung Ho","orcid":"https://orcid.org/0000-0002-6479-7552"},"institutions":[{"id":"https://openalex.org/I4210127875","display_name":"Nvidia (United States)","ror":"https://ror.org/03jdj4y14","country_code":"US","type":"company","lineage":["https://openalex.org/I4210127875"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chia-Tung Ho","raw_affiliation_strings":["NVIDIA Corporation"],"affiliations":[{"raw_affiliation_string":"NVIDIA Corporation","institution_ids":["https://openalex.org/I4210127875"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029321729","display_name":"Cunxi Yu","orcid":"https://orcid.org/0000-0003-3481-307X"},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Cunxi Yu","raw_affiliation_strings":["University of Maryland,College Park"],"affiliations":[{"raw_affiliation_string":"University of Maryland,College Park","institution_ids":["https://openalex.org/I66946132"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037210004","display_name":"Zhiru Zhang","orcid":"https://orcid.org/0000-0002-0778-0308"},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhiru Zhang","raw_affiliation_strings":["Cornell University"],"affiliations":[{"raw_affiliation_string":"Cornell University","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029928585","display_name":"Haoxing Ren","orcid":"https://orcid.org/0000-0003-1028-3860"},"institutions":[{"id":"https://openalex.org/I4210127875","display_name":"Nvidia (United States)","ror":"https://ror.org/03jdj4y14","country_code":"US","type":"company","lineage":["https://openalex.org/I4210127875"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Haoxing Ren","raw_affiliation_strings":["NVIDIA Corporation"],"affiliations":[{"raw_affiliation_string":"NVIDIA Corporation","institution_ids":["https://openalex.org/I4210127875"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5059293268"],"corresponding_institution_ids":["https://openalex.org/I205783295"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.32752576,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9330999851226807,"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.9330999851226807,"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.9283000230789185,"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"}},{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9165999889373779,"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/datapath","display_name":"Datapath","score":0.8907999992370605},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.7645000219345093},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5110999941825867},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.44269999861717224},{"id":"https://openalex.org/keywords/bespoke","display_name":"Bespoke","score":0.413100004196167},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.3610000014305115},{"id":"https://openalex.org/keywords/source-lines-of-code","display_name":"Source lines of code","score":0.35510000586509705},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.3319000005722046}],"concepts":[{"id":"https://openalex.org/C2781198647","wikidata":"https://www.wikidata.org/wiki/Q1633673","display_name":"Datapath","level":2,"score":0.8907999992370605},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7670999765396118},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.7645000219345093},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5110999941825867},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.507099986076355},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.44269999861717224},{"id":"https://openalex.org/C44210515","wikidata":"https://www.wikidata.org/wiki/Q16968978","display_name":"Bespoke","level":2,"score":0.413100004196167},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.3610000014305115},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35530000925064087},{"id":"https://openalex.org/C199519371","wikidata":"https://www.wikidata.org/wiki/Q942695","display_name":"Source lines of code","level":3,"score":0.35510000586509705},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.3319000005722046},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.31850001215934753},{"id":"https://openalex.org/C137836250","wikidata":"https://www.wikidata.org/wiki/Q984063","display_name":"Optimization problem","level":2,"score":0.30570000410079956},{"id":"https://openalex.org/C139571649","wikidata":"https://www.wikidata.org/wiki/Q1156793","display_name":"Program optimization","level":3,"score":0.3012000024318695},{"id":"https://openalex.org/C77390884","wikidata":"https://www.wikidata.org/wiki/Q217302","display_name":"Application-specific integrated circuit","level":2,"score":0.2962000072002411},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.2903999984264374},{"id":"https://openalex.org/C58013763","wikidata":"https://www.wikidata.org/wiki/Q5754574","display_name":"High-level synthesis","level":3,"score":0.28619998693466187},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.2827000021934509},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.2806999981403351},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.2800999879837036},{"id":"https://openalex.org/C2778383056","wikidata":"https://www.wikidata.org/wiki/Q873636","display_name":"Namespace","level":2,"score":0.2766000032424927},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.260699987411499},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.25940001010894775},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.2551000118255615},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.2531000077724457}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/mlcad65511.2025.11189222","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mlcad65511.2025.11189222","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 ACM/IEEE 7th Symposium on Machine Learning for CAD (MLCAD)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W336411274","https://openalex.org/W2346205343","https://openalex.org/W3082570516","https://openalex.org/W3099525000","https://openalex.org/W3153044352","https://openalex.org/W3212488318","https://openalex.org/W4282032146","https://openalex.org/W4379115941","https://openalex.org/W4379536906","https://openalex.org/W4386763476","https://openalex.org/W4386763903","https://openalex.org/W4389166737","https://openalex.org/W4391681217","https://openalex.org/W4393145520","https://openalex.org/W4394998527","https://openalex.org/W4399376180","https://openalex.org/W4403023622","https://openalex.org/W4403511174","https://openalex.org/W4404133761","https://openalex.org/W4404134046","https://openalex.org/W4407197178","https://openalex.org/W4408442145","https://openalex.org/W4408442872","https://openalex.org/W4409285469","https://openalex.org/W4409285546","https://openalex.org/W4414197266","https://openalex.org/W4414197367","https://openalex.org/W4414197698","https://openalex.org/W7084125780"],"related_works":[],"abstract_inverted_index":{"Datapath":[0],"RTL":[1,67,174,200],"optimization":[2,71,175],"is":[3,18],"a":[4,84,103,178],"challenging":[5],"multi-objective":[6],"task":[7],"that":[8,105,186],"balances":[9],"power,":[10],"performance,":[11],"and":[12,53,70,76,89,128,150,167,197],"area":[13,166],"(PPA).":[14],"Traditionally,":[15],"this":[16],"process":[17],"done":[19],"manually":[20,49],"due":[21,72],"to":[22,66,73,87,108,126],"the":[23,42,144,152],"complexity":[24],"of":[25,163,181],"balancing":[26],"conflicting":[27],"objectives.":[28],"Recent":[29],"approaches":[30,176],"have":[31,63],"explored":[32],"rule-based":[33],"rewriting":[34,111],"using":[35,132],"equality":[36],"saturation":[37],"with":[38,191],"e-graphs,":[39],"which":[40],"solves":[41],"phase":[43],"ordering":[44],"problem":[45],"but":[46],"relies":[47],"on":[48],"designed":[50],"rewrite":[51,130,148,190],"rules":[52,149],"proxy":[54,140],"PPA":[55,134,193],"cost":[56,157],"models.":[57,141,158],"Meanwhile,":[58],"large":[59],"language":[60],"models":[61],"(LLMs)":[62],"been":[64],"applied":[65],"code":[68],"generation":[69],"their":[74],"reasoning":[75],"programming":[77],"capabilities.":[78],"However,":[79],"existing":[80,172],"LLM-based":[81],"methods":[82],"lack":[83],"structured":[85],"approach":[86,121],"represent":[88],"explore":[90],"Pareto-optimal":[91],"design":[92],"points":[93],"while":[94,112],"ensuring":[95],"equivalence":[96],"in":[97,165,169],"transformed":[98],"RTL.":[99],"We":[100],"propose":[101,127],"ASPEN,":[102],"system":[104,125],"leverages":[106],"LLMs":[107],"guide":[109],"e-graph":[110,189],"incorporating":[113],"accurate,":[114],"detailed":[115],"feedback":[116,135,194],"from":[117],"EDA":[118],"tools.":[119],"Our":[120,183],"employs":[122],"an":[123],"agentic":[124],"select":[129],"rules,":[131],"real":[133,192],"for":[136,146,154],"extraction":[137],"rather":[138],"than":[139],"This":[142],"reduces":[143],"need":[145,153],"handcrafted":[147],"eliminates":[151],"designing":[155],"proxy-based":[156],"ASPEN":[159],"achieves":[160],"average":[161],"improvements":[162],"16.51%":[164],"6.65%":[168],"delay":[170],"over":[171],"e-graph-based":[173],"across":[177],"diverse":[179],"set":[180],"benchmarks.":[182],"results":[184],"demonstrate":[185],"combining":[187],"LLM-driven":[188],"enables":[195],"scalable":[196],"effective":[198],"datapath":[199],"optimization.":[201]},"counts_by_year":[],"updated_date":"2026-03-07T16:01:11.037858","created_date":"2025-10-10T00:00:00"}