{"id":"https://openalex.org/W4415915096","doi":"https://doi.org/10.1145/3774883","title":"Efficient and Effective E-graph-based Logic Optimization","display_name":"Efficient and Effective E-graph-based Logic Optimization","publication_year":2025,"publication_date":"2025-11-05","ids":{"openalex":"https://openalex.org/W4415915096","doi":"https://doi.org/10.1145/3774883"},"language":"en","primary_location":{"id":"doi:10.1145/3774883","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3774883","pdf_url":null,"source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3774883","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091535529","display_name":"Tianji Liu","orcid":"https://orcid.org/0009-0003-2204-280X"},"institutions":[{"id":"https://openalex.org/I177725633","display_name":"Chinese University of Hong Kong","ror":"https://ror.org/00t33hh48","country_code":"HK","type":"education","lineage":["https://openalex.org/I177725633"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Tianji Liu","raw_affiliation_strings":["Computer Science and Engineering, The Chinese University of Hong Kong","Computer Science and Engineering, The Chinese University of Hong Kong, Shatin, Hong Kong"],"raw_orcid":"https://orcid.org/0009-0003-2204-280X","affiliations":[{"raw_affiliation_string":"Computer Science and Engineering, The Chinese University of Hong Kong","institution_ids":["https://openalex.org/I177725633"]},{"raw_affiliation_string":"Computer Science and Engineering, The Chinese University of Hong Kong, Shatin, Hong Kong","institution_ids":["https://openalex.org/I177725633"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5120265584","display_name":"Nutdranai Jaruthikorn","orcid":"https://orcid.org/0009-0006-4332-0567"},"institutions":[{"id":"https://openalex.org/I177725633","display_name":"Chinese University of Hong Kong","ror":"https://ror.org/00t33hh48","country_code":"HK","type":"education","lineage":["https://openalex.org/I177725633"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Nutdranai Jaruthikorn","raw_affiliation_strings":["Computer Science and Engineering, The Chinese University of Hong Kong","Computer Science and Engineering, The Chinese University of Hong Kong, Shatin Hong Kong"],"raw_orcid":"https://orcid.org/0009-0006-4332-0567","affiliations":[{"raw_affiliation_string":"Computer Science and Engineering, The Chinese University of Hong Kong","institution_ids":["https://openalex.org/I177725633"]},{"raw_affiliation_string":"Computer Science and Engineering, The Chinese University of Hong Kong, Shatin Hong Kong","institution_ids":["https://openalex.org/I177725633"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041371153","display_name":"Shiju Lin","orcid":"https://orcid.org/0000-0002-6556-7038"},"institutions":[{"id":"https://openalex.org/I4210165005","display_name":"BioElectronics (United States)","ror":"https://ror.org/05mh3a113","country_code":"US","type":"company","lineage":["https://openalex.org/I4210165005"]},{"id":"https://openalex.org/I889458895","display_name":"University of Hong Kong","ror":"https://ror.org/02zhqgq86","country_code":"HK","type":"education","lineage":["https://openalex.org/I889458895"]},{"id":"https://openalex.org/I90610280","display_name":"South China University of Technology","ror":"https://ror.org/0530pts50","country_code":"CN","type":"education","lineage":["https://openalex.org/I90610280"]}],"countries":["CN","HK","US"],"is_corresponding":false,"raw_author_name":"Shiju Lin","raw_affiliation_strings":["Thrust of Microelectronics, The Hong Kong University of Science and Technology - Guangzhou Campus","Thrust of Microelectronics, The Hong Kong University of Science and Technology - Guangzhou Campus, Guangzhou, China"],"raw_orcid":"https://orcid.org/0000-0002-6556-7038","affiliations":[{"raw_affiliation_string":"Thrust of Microelectronics, The Hong Kong University of Science and Technology - Guangzhou Campus","institution_ids":["https://openalex.org/I4210165005","https://openalex.org/I889458895"]},{"raw_affiliation_string":"Thrust of Microelectronics, The Hong Kong University of Science and Technology - Guangzhou Campus, Guangzhou, China","institution_ids":["https://openalex.org/I90610280","https://openalex.org/I889458895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003335238","display_name":"Bentian Jiang","orcid":"https://orcid.org/0000-0001-8163-3114"},"institutions":[{"id":"https://openalex.org/I2250955327","display_name":"Huawei Technologies (China)","ror":"https://ror.org/00cmhce21","country_code":"CN","type":"company","lineage":["https://openalex.org/I2250955327"]},{"id":"https://openalex.org/I4210146936","display_name":"Huawei Technologies (United States)","ror":"https://ror.org/03jyqk712","country_code":"US","type":"company","lineage":["https://openalex.org/I2250955327","https://openalex.org/I4210146936"]}],"countries":["CN","US"],"is_corresponding":false,"raw_author_name":"Bentian Jiang","raw_affiliation_strings":["Huawei Design Automation Lab, Hong Kong","Huawei Design Automation Lab, Hong Kong, Shatin Hong Kong"],"raw_orcid":"https://orcid.org/0000-0001-8163-3114","affiliations":[{"raw_affiliation_string":"Huawei Design Automation Lab, Hong Kong","institution_ids":["https://openalex.org/I2250955327","https://openalex.org/I4210146936"]},{"raw_affiliation_string":"Huawei Design Automation Lab, Hong Kong, Shatin Hong Kong","institution_ids":["https://openalex.org/I2250955327"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078419652","display_name":"Guannan Guo","orcid":"https://orcid.org/0000-0002-7318-4010"},"institutions":[{"id":"https://openalex.org/I2250955327","display_name":"Huawei Technologies (China)","ror":"https://ror.org/00cmhce21","country_code":"CN","type":"company","lineage":["https://openalex.org/I2250955327"]},{"id":"https://openalex.org/I4210146936","display_name":"Huawei Technologies (United States)","ror":"https://ror.org/03jyqk712","country_code":"US","type":"company","lineage":["https://openalex.org/I2250955327","https://openalex.org/I4210146936"]}],"countries":["CN","US"],"is_corresponding":false,"raw_author_name":"Guannan Guo","raw_affiliation_strings":["Huawei Design Automation Lab, Hong Kong","Huawei Design Automation Lab, Hong Kong, Shatin Hong Kong"],"raw_orcid":"https://orcid.org/0000-0002-7318-4010","affiliations":[{"raw_affiliation_string":"Huawei Design Automation Lab, Hong Kong","institution_ids":["https://openalex.org/I2250955327","https://openalex.org/I4210146936"]},{"raw_affiliation_string":"Huawei Design Automation Lab, Hong Kong, Shatin Hong Kong","institution_ids":["https://openalex.org/I2250955327"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101709744","display_name":"Weihua Sheng","orcid":"https://orcid.org/0009-0000-0810-2042"},"institutions":[{"id":"https://openalex.org/I2250955327","display_name":"Huawei Technologies (China)","ror":"https://ror.org/00cmhce21","country_code":"CN","type":"company","lineage":["https://openalex.org/I2250955327"]},{"id":"https://openalex.org/I4210146936","display_name":"Huawei Technologies (United States)","ror":"https://ror.org/03jyqk712","country_code":"US","type":"company","lineage":["https://openalex.org/I2250955327","https://openalex.org/I4210146936"]}],"countries":["CN","US"],"is_corresponding":false,"raw_author_name":"Weihua Sheng","raw_affiliation_strings":["Huawei Design Automation Lab, Hong Kong","Huawei Design Automation Lab, Hong Kong, Shatin Hong Kong"],"raw_orcid":"https://orcid.org/0009-0000-0810-2042","affiliations":[{"raw_affiliation_string":"Huawei Design Automation Lab, Hong Kong","institution_ids":["https://openalex.org/I2250955327","https://openalex.org/I4210146936"]},{"raw_affiliation_string":"Huawei Design Automation Lab, Hong Kong, Shatin Hong Kong","institution_ids":["https://openalex.org/I2250955327"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5070795253","display_name":"Evangeline F. Y. Young","orcid":"https://orcid.org/0000-0003-0623-1590"},"institutions":[{"id":"https://openalex.org/I177725633","display_name":"Chinese University of Hong Kong","ror":"https://ror.org/00t33hh48","country_code":"HK","type":"education","lineage":["https://openalex.org/I177725633"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Evangeline F.Y. Young","raw_affiliation_strings":["Computer Science and Engineering, The Chinese University of Hong Kong","Computer Science and Engineering, The Chinese University of Hong Kong, Shatin Hong Kong"],"raw_orcid":"https://orcid.org/0000-0003-0623-1590","affiliations":[{"raw_affiliation_string":"Computer Science and Engineering, The Chinese University of Hong Kong","institution_ids":["https://openalex.org/I177725633"]},{"raw_affiliation_string":"Computer Science and Engineering, The Chinese University of Hong Kong, Shatin Hong Kong","institution_ids":["https://openalex.org/I177725633"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.2690239,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"31","issue":"2","first_page":"1","last_page":"16"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.6025000214576721,"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"}},"topics":[{"id":"https://openalex.org/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.6025000214576721,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.11150000244379044,"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.0940999984741211,"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/netlist","display_name":"Netlist","score":0.9588000178337097},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.6585000157356262},{"id":"https://openalex.org/keywords/logic-synthesis","display_name":"Logic synthesis","score":0.5047000050544739},{"id":"https://openalex.org/keywords/inefficiency","display_name":"Inefficiency","score":0.5019000172615051},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4341000020503998},{"id":"https://openalex.org/keywords/logic-optimization","display_name":"Logic optimization","score":0.4278999865055084},{"id":"https://openalex.org/keywords/extraction","display_name":"Extraction (chemistry)","score":0.41339999437332153}],"concepts":[{"id":"https://openalex.org/C177650935","wikidata":"https://www.wikidata.org/wiki/Q1760303","display_name":"Netlist","level":2,"score":0.9588000178337097},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8878999948501587},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.6585000157356262},{"id":"https://openalex.org/C157922185","wikidata":"https://www.wikidata.org/wiki/Q173198","display_name":"Logic synthesis","level":3,"score":0.5047000050544739},{"id":"https://openalex.org/C2778869765","wikidata":"https://www.wikidata.org/wiki/Q6028363","display_name":"Inefficiency","level":2,"score":0.5019000172615051},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4341000020503998},{"id":"https://openalex.org/C28449271","wikidata":"https://www.wikidata.org/wiki/Q6667469","display_name":"Logic optimization","level":4,"score":0.4278999865055084},{"id":"https://openalex.org/C4725764","wikidata":"https://www.wikidata.org/wiki/Q844704","display_name":"Extraction (chemistry)","level":2,"score":0.41339999437332153},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3837999999523163},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34290000796318054},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.3395000100135803},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.33899998664855957},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.3384000062942505},{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.3149999976158142},{"id":"https://openalex.org/C137836250","wikidata":"https://www.wikidata.org/wiki/Q984063","display_name":"Optimization problem","level":2,"score":0.30869999527931213},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.30239999294281006},{"id":"https://openalex.org/C2776493592","wikidata":"https://www.wikidata.org/wiki/Q5158717","display_name":"Succinctness","level":2,"score":0.2957000136375427},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.29429998993873596},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.2809000015258789}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3774883","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3774883","pdf_url":null,"source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3774883","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3774883","pdf_url":null,"source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1552077729","https://openalex.org/W2035561773","https://openalex.org/W2100465945","https://openalex.org/W2124618076","https://openalex.org/W2140132043","https://openalex.org/W2150787480","https://openalex.org/W2152397470","https://openalex.org/W2346205343","https://openalex.org/W2963366311","https://openalex.org/W3099525000","https://openalex.org/W4205872049","https://openalex.org/W4212945444","https://openalex.org/W4239323126","https://openalex.org/W4324125812","https://openalex.org/W4379536906","https://openalex.org/W4386763903","https://openalex.org/W4393141084","https://openalex.org/W4400646779","https://openalex.org/W4403511174","https://openalex.org/W4404133761"],"related_works":[],"abstract_inverted_index":{"Recent":[0],"efforts":[1],"of":[2,48,92],"applying":[3],"e-graphs":[4],"in":[5,50,81],"logic":[6,15],"synthesis":[7],"have":[8],"shown":[9],"promising":[10],"results.":[11],"Nevertheless,":[12],"e-graph-based":[13],"gate-level":[14],"optimization":[16],"suffers":[17],"from":[18],"inefficiency":[19],"and":[20,39,53,72,78,83],"limited":[21],"extraction":[22,43,74,96],"quality.":[23],"In":[24],"this":[25],"article,":[26],"we":[27],"propose":[28],"a":[29,68],"fast":[30],"parallel":[31],"e-matching":[32],"algorithm":[33],"for":[34],"speeding":[35],"up":[36,64],"e-graph":[37,58,70],"rewriting,":[38],"an":[40],"efficient":[41],"netlist":[42,95],"framework":[44,75],"with":[45],"high":[46],"quality":[47],"results":[49,91],"both":[51],"area":[52],"delay.":[54],"Experiments":[55],"show":[56],"that":[57],"rewriting":[59],"can":[60],"be":[61],"accelerated":[62],"by":[63],"to":[65,88],"8.3\u00d7":[66],"over":[67],"high-performance":[69],"library,":[71],"our":[73],"achieves":[76],"11.0%":[77],"1.0%":[79],"improvements":[80],"size":[82],"level":[84],"on":[85],"average,":[86],"compared":[87],"the":[89,93],"best":[90],"state-of-the-art":[94],"method.":[97]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-11-05T00:00:00"}