{"id":"https://openalex.org/W4416429489","doi":"https://doi.org/10.1109/iccad66269.2025.11240954","title":"GROOT: Graph Edge Re-growth and Partitioning for the Verification of Large Designs in Logic Synthesis","display_name":"GROOT: Graph Edge Re-growth and Partitioning for the Verification of Large Designs in Logic Synthesis","publication_year":2025,"publication_date":"2025-10-26","ids":{"openalex":"https://openalex.org/W4416429489","doi":"https://doi.org/10.1109/iccad66269.2025.11240954"},"language":null,"primary_location":{"id":"doi:10.1109/iccad66269.2025.11240954","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad66269.2025.11240954","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":"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/A5113899435","display_name":"Kiran Thorat","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Kiran Thorat","raw_affiliation_strings":["University of Connecticut"],"affiliations":[{"raw_affiliation_string":"University of Connecticut","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045835605","display_name":"Hongwu Peng","orcid":"https://orcid.org/0000-0003-2025-2195"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hongwu Peng","raw_affiliation_strings":["University of Connecticut"],"affiliations":[{"raw_affiliation_string":"University of Connecticut","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111201146","display_name":"Yuebo Luo","orcid":null},"institutions":[{"id":"https://openalex.org/I2800403580","display_name":"University of Minnesota System","ror":"https://ror.org/03grvy078","country_code":"US","type":"education","lineage":["https://openalex.org/I2800403580"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yuebo Luo","raw_affiliation_strings":["University of Minnesota"],"affiliations":[{"raw_affiliation_string":"University of Minnesota","institution_ids":["https://openalex.org/I2800403580"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027272944","display_name":"Xin Xie","orcid":"https://orcid.org/0000-0002-6784-4860"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xi Xie","raw_affiliation_strings":["University of Connecticut"],"affiliations":[{"raw_affiliation_string":"University of Connecticut","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073345631","display_name":"Shaoyi Huang","orcid":"https://orcid.org/0000-0001-6093-9798"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shaoyi Huang","raw_affiliation_strings":["University of Connecticut"],"affiliations":[{"raw_affiliation_string":"University of Connecticut","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109633079","display_name":"Amit Hasan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Amit Hasan","raw_affiliation_strings":["University of Connecticut"],"affiliations":[{"raw_affiliation_string":"University of Connecticut","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068081890","display_name":"Jiahui Zhao","orcid":"https://orcid.org/0000-0001-5359-3709"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jiahui Zhao","raw_affiliation_strings":["University of Connecticut"],"affiliations":[{"raw_affiliation_string":"University of Connecticut","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100425071","display_name":"Yingjie Li","orcid":"https://orcid.org/0000-0002-1144-7401"},"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":"Yingjie Li","raw_affiliation_strings":["University of Maryland"],"affiliations":[{"raw_affiliation_string":"University of Maryland","institution_ids":["https://openalex.org/I66946132"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101431752","display_name":"Zhijie Shi","orcid":"https://orcid.org/0000-0002-6773-8371"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhijie Shi","raw_affiliation_strings":["University of Connecticut"],"affiliations":[{"raw_affiliation_string":"University of Connecticut","institution_ids":[]}]},{"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"],"affiliations":[{"raw_affiliation_string":"University of Maryland","institution_ids":["https://openalex.org/I66946132"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030060072","display_name":"Caiwen Ding","orcid":"https://orcid.org/0000-0003-0891-1231"},"institutions":[{"id":"https://openalex.org/I2800403580","display_name":"University of Minnesota System","ror":"https://ror.org/03grvy078","country_code":"US","type":"education","lineage":["https://openalex.org/I2800403580"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Caiwen Ding","raw_affiliation_strings":["University of Minnesota"],"affiliations":[{"raw_affiliation_string":"University of Minnesota","institution_ids":["https://openalex.org/I2800403580"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":11,"corresponding_author_ids":["https://openalex.org/A5113899435"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.1983,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.90307915,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":98},"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.3098999857902527,"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.3098999857902527,"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/T10363","display_name":"Low-power high-performance VLSI design","score":0.19869999587535858,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.18119999766349792,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.453900009393692},{"id":"https://openalex.org/keywords/graph-partition","display_name":"Graph partition","score":0.4499000012874603},{"id":"https://openalex.org/keywords/memory-footprint","display_name":"Memory footprint","score":0.3937999904155731},{"id":"https://openalex.org/keywords/kernel","display_name":"Kernel (algebra)","score":0.36399999260902405},{"id":"https://openalex.org/keywords/graph-layout","display_name":"Graph Layout","score":0.3560999929904938},{"id":"https://openalex.org/keywords/graph-bandwidth","display_name":"Graph bandwidth","score":0.3483999967575073},{"id":"https://openalex.org/keywords/node","display_name":"Node (physics)","score":0.3328999876976013}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7910000085830688},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.47040000557899475},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.453900009393692},{"id":"https://openalex.org/C48903430","wikidata":"https://www.wikidata.org/wiki/Q491370","display_name":"Graph partition","level":3,"score":0.4499000012874603},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4230000078678131},{"id":"https://openalex.org/C74912251","wikidata":"https://www.wikidata.org/wiki/Q6815727","display_name":"Memory footprint","level":2,"score":0.3937999904155731},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3709999918937683},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.36399999260902405},{"id":"https://openalex.org/C2911174283","wikidata":"https://www.wikidata.org/wiki/Q739462","display_name":"Graph Layout","level":4,"score":0.3560999929904938},{"id":"https://openalex.org/C134727501","wikidata":"https://www.wikidata.org/wiki/Q5597073","display_name":"Graph bandwidth","level":5,"score":0.3483999967575073},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.3328999876976013},{"id":"https://openalex.org/C157922185","wikidata":"https://www.wikidata.org/wiki/Q173198","display_name":"Logic synthesis","level":3,"score":0.33230000734329224},{"id":"https://openalex.org/C74524168","wikidata":"https://www.wikidata.org/wiki/Q1074539","display_name":"Integrated circuit design","level":2,"score":0.30709999799728394},{"id":"https://openalex.org/C2781221856","wikidata":"https://www.wikidata.org/wiki/Q840247","display_name":"Hypergraph","level":2,"score":0.2728999853134155},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.2718000113964081},{"id":"https://openalex.org/C2778476105","wikidata":"https://www.wikidata.org/wiki/Q628539","display_name":"Workload","level":2,"score":0.26080000400543213},{"id":"https://openalex.org/C64260653","wikidata":"https://www.wikidata.org/wiki/Q1194864","display_name":"Electronic design automation","level":2,"score":0.2597000002861023}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iccad66269.2025.11240954","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad66269.2025.11240954","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W2000519336","https://openalex.org/W2070232376","https://openalex.org/W2080267935","https://openalex.org/W2100465945","https://openalex.org/W2106191211","https://openalex.org/W2123594341","https://openalex.org/W2162707967","https://openalex.org/W2165854233","https://openalex.org/W2170621144","https://openalex.org/W2181841040","https://openalex.org/W2295523250","https://openalex.org/W2329849566","https://openalex.org/W2768948804","https://openalex.org/W2772390328","https://openalex.org/W2942139435","https://openalex.org/W2983688775","https://openalex.org/W4230906638","https://openalex.org/W4241366606","https://openalex.org/W4245015178","https://openalex.org/W4282821489","https://openalex.org/W4283312035","https://openalex.org/W4293261720","https://openalex.org/W4381894545","https://openalex.org/W4386764162"],"related_works":[],"abstract_inverted_index":{"Traditional":[0],"verification":[1,30,76,132],"methods":[2],"in":[3,101,203,259],"chip":[4,41,66],"design":[5,42,67],"are":[6],"highly":[7],"time-consuming":[8],"and":[9,47,60,70,89,123,141,154,165,190,232,248,256],"computationally":[10],"demanding,":[11],"especially":[12],"for":[13,119,212],"large":[14,114,215],"scale":[15],"circuits.":[16],"Graph":[17],"neural":[18],"networks":[19],"(GNNs)":[20],"have":[21],"gained":[22],"popularity":[23],"as":[24,245],"a":[25,35,107,125,175,187,200,213,222],"potential":[26],"solution":[27],"to":[28,74,99,111,130,167,253],"improve":[29,75],"efficiency.":[31,77],"However,":[32],"there":[33],"lacks":[34],"joint":[36],"framework":[37,63],"that":[38,64,197],"considers":[39],"all":[40],"domain":[43,68],"knowledge,":[44],"graph":[45,108,126,139,171],"theory,":[46],"GPU":[48,72,121,162,240],"kernel":[49],"designs.":[50],"To":[51],"address":[52],"this":[53],"challenge,":[54],"we":[55,80],"introduce":[56],"GROOT,":[57],"an":[58],"algorithm":[59,110,129],"system":[61],"co-design":[62],"contains":[65],"knowledge":[69],"redesigned":[71],"kernels,":[73],"More":[78],"specifically,":[79],"create":[81],"node":[82,87],"features":[83],"utilizing":[84],"the":[85,90,93,96,113,137,143,169,180,191],"circuit":[86],"types":[88],"polarity":[91],"of":[92,145,149,225,229],"connections":[94],"between":[95],"input":[97],"edges":[98],"nodes":[100,153,231],"And-Inverter":[102],"Graphs":[103],"(AIGs).":[104],"We":[105,134,159,178,235,250],"utilize":[106],"partitioning":[109],"divide":[112],"graphs":[115],"into":[116],"smaller":[117],"sub-graphs":[118],"fast":[120],"processing":[122],"develop":[124],"edge":[127],"re-growth":[128],"recover":[131],"accuracy.":[133],"carefully":[135],"profile":[136],"EDA":[138,170],"workloads":[140],"observe":[142],"uniqueness":[144],"their":[146],"polarized":[147],"distribution":[148],"high":[150,209],"degree":[151,156],"(HD)":[152],"low":[155],"(LD)":[157],"nodes.":[158],"redesign":[160],"two":[161],"kernels":[163],"(HD-kernel":[164],"LD-kernel),":[166],"fit":[168],"learning":[172],"workload":[173],"on":[174],"single":[176],"GPU.":[177],"compare":[179,236],"results":[181],"with":[182,208,221,238],"state-of-the-art":[183],"(SOTA)":[184],"methods:":[185],"GAMORA,":[186],"GNN-based":[188],"approach,":[189],"traditional":[192],"ABC":[193],"framework.":[194],"Results":[195],"show":[196],"GROOT":[198,237],"achieves":[199],"significant":[201],"reduction":[202],"memory":[204],"footprint":[205],"(59.38":[206],"%),":[207],"accuracy":[210],"(99.96%)":[211],"very":[214],"CSA":[216],"multiplier,":[217],"i.e.":[218],"1,024":[219],"bits":[220],"batch":[223],"size":[224],"16,":[226],"which":[227],"consists":[228],"134,103,040":[230],"268,140,544":[233],"edges.":[234],"GPU-based":[239],"Kernel":[241],"designs":[242],"SOTAs":[243],"such":[244],"cuSPARSE,":[246],"MergePath-SpMM,":[247],"GNNAdvisor.":[249],"achieve":[251],"up":[252],"1.104\u00d7,":[254],"5.796\u00d7,":[255],"1.469\u00d7":[257],"improvement":[258],"runtime,":[260],"respectively.":[261]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-11-20T00:00:00"}