{"id":"https://openalex.org/W4393118729","doi":"https://doi.org/10.48550/arxiv.2403.14242","title":"E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis","display_name":"E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis","publication_year":2024,"publication_date":"2024-03-21","ids":{"openalex":"https://openalex.org/W4393118729","doi":"https://doi.org/10.48550/arxiv.2403.14242"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2403.14242","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2403.14242","pdf_url":"https://arxiv.org/pdf/2403.14242","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2403.14242","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100418417","display_name":"Chen Chen","orcid":"https://orcid.org/0000-0002-2579-2011"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Chen, Chen","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080163434","display_name":"Guangyu Hu","orcid":"https://orcid.org/0000-0001-5077-8361"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hu, Guangyu","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112632691","display_name":"Dongsheng Zuo","orcid":"https://orcid.org/0009-0004-9346-6383"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zuo, Dongsheng","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029321729","display_name":"Cunxi Yu","orcid":"https://orcid.org/0000-0003-3481-307X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yu, Cunxi","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103159844","display_name":"Yuzhe Ma","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ma, Yuzhe","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5003614499","display_name":"Hongce Zhang","orcid":"https://orcid.org/0000-0003-4001-264X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Hongce","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5100418417"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":1,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9782000184059143,"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"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9782000184059143,"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"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9768000245094299,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.967199981212616,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.7732629776000977},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5987592935562134},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.503318727016449},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.46534550189971924},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.30939364433288574}],"concepts":[{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.7732629776000977},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5987592935562134},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.503318727016449},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.46534550189971924},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.30939364433288574}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2403.14242","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2403.14242","pdf_url":"https://arxiv.org/pdf/2403.14242","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"doi:10.48550/arxiv.2403.14242","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2403.14242","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2403.14242","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2403.14242","pdf_url":"https://arxiv.org/pdf/2403.14242","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1023919524","display_name":null,"funder_award_id":", Grant","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2087396116","display_name":null,"funder_award_id":"China","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2291908008","display_name":null,"funder_award_id":"2023A03J0013","funder_id":"https://openalex.org/F4320335480","funder_display_name":"Guangzhou Municipal Science and Technology Project"},{"id":"https://openalex.org/G3085993365","display_name":null,"funder_award_id":"(Grant No.","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3317480652","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5280065856","display_name":null,"funder_award_id":"62304194","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5939423041","display_name":null,"funder_award_id":"Technology","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5994120800","display_name":null,"funder_award_id":"Natural","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6639867748","display_name":null,"funder_award_id":"2023A03","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6856683539","display_name":null,"funder_award_id":"No. 2023A03J0013","funder_id":"https://openalex.org/F4320335480","funder_display_name":"Guangzhou Municipal Science and Technology Project"},{"id":"https://openalex.org/G7726157001","display_name":null,"funder_award_id":"Grant No.","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335480","display_name":"Guangzhou Municipal Science and Technology Project","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4393118729.pdf","grobid_xml":"https://content.openalex.org/works/W4393118729.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2120204135","https://openalex.org/W2139396251","https://openalex.org/W1796293478","https://openalex.org/W1577544887","https://openalex.org/W2168276503","https://openalex.org/W1573537275","https://openalex.org/W2105713543","https://openalex.org/W4205908955","https://openalex.org/W174435416"],"abstract_inverted_index":{"Logic":[0],"synthesis":[1,156,167],"plays":[2],"a":[3,13,38,110,132,145],"crucial":[4],"role":[5],"in":[6,88,165],"the":[7,17,24,47,69,81,99,151],"digital":[8],"design":[9,147],"flow.":[10,157],"It":[11,108,158],"has":[12],"decisive":[14],"influence":[15],"on":[16,160],"final":[18],"Quality":[19],"of":[20,23,40,98,113,135],"Results":[21],"(QoR)":[22],"circuit":[25,48],"implementations.":[26],"However,":[27],"existing":[28],"multi-level":[29],"logic":[30,89,106,128,141,155],"optimization":[31,42,65,142],"algorithms":[32],"often":[33],"employ":[34],"greedy":[35],"approaches":[36],"with":[37],"series":[39],"local":[41,64],"steps.":[43],"Each":[44],"step":[45],"breaks":[46],"into":[49],"small":[50],"pieces":[51,61],"(e.g.,":[52],"k-feasible":[53],"cuts)":[54],"and":[55,72,126,168],"applies":[56],"incremental":[57],"changes":[58],"to":[59,103,122,150],"individual":[60],"separately.":[62],"These":[63],"steps":[66],"could":[67],"limit":[68],"exploration":[70],"space":[71,148],"may":[73],"miss":[74],"opportunities":[75],"for":[76,172],"significant":[77],"improvements.":[78],"To":[79],"address":[80],"limitation,":[82],"this":[83],"paper":[84],"proposes":[85],"using":[86],"e-graph":[87,101],"synthesis.":[90,129,174],"The":[91],"new":[92],"workflow,":[93],"named":[94],"Esyn,":[95],"makes":[96],"use":[97],"well-established":[100],"infrastructure":[102],"efficiently":[104],"perform":[105],"rewriting.":[107],"explores":[109],"diverse":[111],"set":[112],"equivalent":[114],"Boolean":[115],"representations":[116],"while":[117],"allowing":[118],"technology-aware":[119],"cost":[120],"functions":[121],"better":[123],"support":[124],"delay-oriented":[125,166],"area-oriented":[127,173],"Experiments":[130],"over":[131],"wide":[133],"range":[134],"benchmark":[136],"designs":[137],"show":[138],"our":[139],"proposed":[140],"approach":[143],"reaches":[144],"wider":[146],"compared":[149],"commonly":[152],"used":[153],"AIG-based":[154],"achieves":[159],"average":[161],"15.29%":[162],"delay":[163],"saving":[164,171],"6.42%":[169],"area":[170]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-04-13T07:58:08.660418","created_date":"2025-10-10T00:00:00"}