{"id":"https://openalex.org/W4417319492","doi":"https://doi.org/10.1145/3785362","title":"A Survey of Machine Learning Approaches in Logic Synthesis","display_name":"A Survey of Machine Learning Approaches in Logic Synthesis","publication_year":2025,"publication_date":"2025-12-15","ids":{"openalex":"https://openalex.org/W4417319492","doi":"https://doi.org/10.1145/3785362"},"language":"en","primary_location":{"id":"doi:10.1145/3785362","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3785362","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/3785362","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5115593831","display_name":"Miao Liu","orcid":"https://orcid.org/0000-0001-9075-8007"},"institutions":[{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Miao Liu","raw_affiliation_strings":["University of the Chinese Academy of Sciences"],"raw_orcid":"https://orcid.org/0000-0001-9075-8007","affiliations":[{"raw_affiliation_string":"University of the Chinese Academy of Sciences","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5095848519","display_name":"Liwei Ni","orcid":"https://orcid.org/0009-0003-7525-9375"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liwei Ni","raw_affiliation_strings":["Institute of Computing Technology Chinese Academy of Sciences"],"raw_orcid":"https://orcid.org/0009-0003-7525-9375","affiliations":[{"raw_affiliation_string":"Institute of Computing Technology Chinese Academy of Sciences","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033252786","display_name":"Junfeng Liu","orcid":"https://orcid.org/0009-0006-8205-4564"},"institutions":[{"id":"https://openalex.org/I4210136793","display_name":"Peng Cheng Laboratory","ror":"https://ror.org/03qdqbt06","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210136793"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Junfeng Liu","raw_affiliation_strings":["Pengcheng Laboratory"],"raw_orcid":"https://orcid.org/0009-0006-8205-4564","affiliations":[{"raw_affiliation_string":"Pengcheng Laboratory","institution_ids":["https://openalex.org/I4210136793"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076193275","display_name":"Xingyu Meng","orcid":"https://orcid.org/0000-0001-5787-0101"},"institutions":[{"id":"https://openalex.org/I4210136793","display_name":"Peng Cheng Laboratory","ror":"https://ror.org/03qdqbt06","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210136793"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xingyu Meng","raw_affiliation_strings":["Pengcheng Laboratory"],"raw_orcid":"https://orcid.org/0000-0001-5787-0101","affiliations":[{"raw_affiliation_string":"Pengcheng Laboratory","institution_ids":["https://openalex.org/I4210136793"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Rui Wang","orcid":"https://orcid.org/0009-0007-1620-6889"},"institutions":[{"id":"https://openalex.org/I180726961","display_name":"Shenzhen University","ror":"https://ror.org/01vy4gh70","country_code":"CN","type":"education","lineage":["https://openalex.org/I180726961"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Rui Wang","raw_affiliation_strings":["College of Computer Science and Software Engineering, Shenzhen University"],"raw_orcid":"https://orcid.org/0009-0007-1620-6889","affiliations":[{"raw_affiliation_string":"College of Computer Science and Software Engineering, Shenzhen University","institution_ids":["https://openalex.org/I180726961"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027794809","display_name":"Xiaoze Lin","orcid":"https://orcid.org/0000-0001-7512-5746"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaoze Lin","raw_affiliation_strings":["Institute of Computing Technology Chinese Academy of Sciences"],"raw_orcid":"https://orcid.org/0000-0001-7512-5746","affiliations":[{"raw_affiliation_string":"Institute of Computing Technology Chinese Academy of Sciences","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001412760","display_name":"Xinhua Lai","orcid":"https://orcid.org/0009-0005-6514-2151"},"institutions":[{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xinhua Lai","raw_affiliation_strings":["School of Computer Science & Technology, University of the Chinese Academy of Sciences"],"raw_orcid":"https://orcid.org/0009-0005-6514-2151","affiliations":[{"raw_affiliation_string":"School of Computer Science & Technology, University of the Chinese Academy of Sciences","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012196564","display_name":"Xingquan Li","orcid":"https://orcid.org/0000-0002-7145-9391"},"institutions":[{"id":"https://openalex.org/I4210136793","display_name":"Peng Cheng Laboratory","ror":"https://ror.org/03qdqbt06","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210136793"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xingquan Li","raw_affiliation_strings":["Pengcheng Laboratory"],"raw_orcid":"https://orcid.org/0000-0002-7145-9391","affiliations":[{"raw_affiliation_string":"Pengcheng Laboratory","institution_ids":["https://openalex.org/I4210136793"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016973102","display_name":"Jungang Xu","orcid":"https://orcid.org/0000-0002-3994-1401"},"institutions":[{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jungang Xu","raw_affiliation_strings":["School of Computer Science & Technology, University of the Chinese Academy of Sciences"],"raw_orcid":"https://orcid.org/0000-0002-3994-1401","affiliations":[{"raw_affiliation_string":"School of Computer Science & Technology, University of the Chinese Academy of Sciences","institution_ids":["https://openalex.org/I4210165038"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":9,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.0909,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.85362819,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":98},"biblio":{"volume":"31","issue":"2","first_page":"1","last_page":"43"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.3684999942779541,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.3684999942779541,"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/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.32350000739097595,"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.13199999928474426,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.6636999845504761},{"id":"https://openalex.org/keywords/categorization","display_name":"Categorization","score":0.5271000266075134},{"id":"https://openalex.org/keywords/digital-electronics","display_name":"Digital electronics","score":0.5188999772071838},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.3944999873638153},{"id":"https://openalex.org/keywords/logic-synthesis","display_name":"Logic synthesis","score":0.38989999890327454},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.3725000023841858}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8618000149726868},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.6636999845504761},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5738999843597412},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.5541999936103821},{"id":"https://openalex.org/C94124525","wikidata":"https://www.wikidata.org/wiki/Q912550","display_name":"Categorization","level":2,"score":0.5271000266075134},{"id":"https://openalex.org/C81843906","wikidata":"https://www.wikidata.org/wiki/Q173156","display_name":"Digital electronics","level":3,"score":0.5188999772071838},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.3944999873638153},{"id":"https://openalex.org/C157922185","wikidata":"https://www.wikidata.org/wiki/Q173198","display_name":"Logic synthesis","level":3,"score":0.38989999890327454},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.3725000023841858},{"id":"https://openalex.org/C108583219","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep learning","level":2,"score":0.36730000376701355},{"id":"https://openalex.org/C10418432","wikidata":"https://www.wikidata.org/wiki/Q560370","display_name":"AND gate","level":3,"score":0.3384000062942505},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.33160001039505005},{"id":"https://openalex.org/C64260653","wikidata":"https://www.wikidata.org/wiki/Q1194864","display_name":"Electronic design automation","level":2,"score":0.29109999537467957},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.2906000018119812},{"id":"https://openalex.org/C34854456","wikidata":"https://www.wikidata.org/wiki/Q1484552","display_name":"Register-transfer level","level":4,"score":0.2736000120639801},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.2630999982357025},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.25060001015663147}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3785362","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3785362","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/3785362","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3785362","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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":112,"referenced_works":["https://openalex.org/W1528837436","https://openalex.org/W2025617772","https://openalex.org/W2039140951","https://openalex.org/W2039485990","https://openalex.org/W2044560939","https://openalex.org/W2100465945","https://openalex.org/W2105715355","https://openalex.org/W2108361034","https://openalex.org/W2108598243","https://openalex.org/W2112173236","https://openalex.org/W2119348475","https://openalex.org/W2124618076","https://openalex.org/W2131023370","https://openalex.org/W2148501415","https://openalex.org/W2150787480","https://openalex.org/W2171775842","https://openalex.org/W2488758846","https://openalex.org/W2786282599","https://openalex.org/W2794046273","https://openalex.org/W2799013413","https://openalex.org/W2892708618","https://openalex.org/W2908550013","https://openalex.org/W2908846298","https://openalex.org/W2945434047","https://openalex.org/W2945759188","https://openalex.org/W2962949351","https://openalex.org/W2971865858","https://openalex.org/W2973742903","https://openalex.org/W2982812248","https://openalex.org/W2992137891","https://openalex.org/W2997090216","https://openalex.org/W2997292582","https://openalex.org/W2999231091","https://openalex.org/W3000806426","https://openalex.org/W3013938122","https://openalex.org/W3046905195","https://openalex.org/W3092027164","https://openalex.org/W3109775750","https://openalex.org/W3114230949","https://openalex.org/W3124695806","https://openalex.org/W3145367831","https://openalex.org/W3158327736","https://openalex.org/W3183732142","https://openalex.org/W3198511427","https://openalex.org/W3199918294","https://openalex.org/W3200855694","https://openalex.org/W3206089473","https://openalex.org/W3207606975","https://openalex.org/W3210841499","https://openalex.org/W3211948120","https://openalex.org/W3212416488","https://openalex.org/W3212488318","https://openalex.org/W3212743974","https://openalex.org/W3213615259","https://openalex.org/W4200088851","https://openalex.org/W4200159199","https://openalex.org/W4206042814","https://openalex.org/W4212892348","https://openalex.org/W4226492646","https://openalex.org/W4239323126","https://openalex.org/W4280640024","https://openalex.org/W4281630198","https://openalex.org/W4281917088","https://openalex.org/W4287119796","https://openalex.org/W4293024139","https://openalex.org/W4293261952","https://openalex.org/W4295119432","https://openalex.org/W4297493044","https://openalex.org/W4312121112","https://openalex.org/W4312231865","https://openalex.org/W4312725592","https://openalex.org/W4312889722","https://openalex.org/W4312939266","https://openalex.org/W4318224822","https://openalex.org/W4318256984","https://openalex.org/W4318685218","https://openalex.org/W4378983659","https://openalex.org/W4381415966","https://openalex.org/W4385831258","https://openalex.org/W4386075034","https://openalex.org/W4386764162","https://openalex.org/W4386765017","https://openalex.org/W4388040402","https://openalex.org/W4388568026","https://openalex.org/W4389162792","https://openalex.org/W4389166679","https://openalex.org/W4389166681","https://openalex.org/W4389166788","https://openalex.org/W4390097578","https://openalex.org/W4390097745","https://openalex.org/W4390098039","https://openalex.org/W4393145457","https://openalex.org/W4394815686","https://openalex.org/W4395662034","https://openalex.org/W4399487662","https://openalex.org/W4399758679","https://openalex.org/W4400907341","https://openalex.org/W4401016984","https://openalex.org/W4401416403","https://openalex.org/W4401416452","https://openalex.org/W4401568756","https://openalex.org/W4402455175","https://openalex.org/W4405936061","https://openalex.org/W4406706864","https://openalex.org/W4408151444","https://openalex.org/W4408151700","https://openalex.org/W4408163925","https://openalex.org/W4409285546","https://openalex.org/W4411713499","https://openalex.org/W4415003292","https://openalex.org/W4415883259","https://openalex.org/W4416429566"],"related_works":[],"abstract_inverted_index":{"The":[0],"increasing":[1],"complexity":[2],"of":[3,9,46,59,92,160],"digital":[4],"circuits":[5],"and":[6,36,64,68,88,95,111,126,132,139,149,155],"the":[7,47,60,90,103,147,152],"limitations":[8,69,150],"heuristic":[10,100],"methods":[11,82,97,110],"have":[12],"led":[13],"to":[14,22],"growing":[15],"interest":[16],"in":[17,53,102,113,134,151,163],"applying":[18],"Machine":[19],"Learning":[20],"(ML)":[21],"Logic":[23],"Synthesis":[24],"(LS).":[25],"ML":[26,51,62,109],"provides":[27,42],"a":[28,43,56,158],"promising":[29],"paradigm":[30],"shift":[31],"by":[32],"implementing":[33],"automated,":[34],"scalable,":[35],"data-driven":[37],"optimization":[38,142],"strategies.":[39,143],"This":[40],"survey":[41],"comprehensive":[44],"overview":[45],"latest":[48],"studies":[49],"on":[50],"approaches":[52],"LS,":[54],"offering":[55],"deep":[57],"understanding":[58],"fundamental":[61],"methods,":[63],"analyzing":[65],"their":[66],"strengths":[67],"through":[70],"systematic":[71],"comparisons.":[72],"We":[73,106],"categorize":[74],"existing":[75],"works":[76],"into":[77],"two":[78],"main":[79],"types:":[80],"ML-Assistance":[81],"aiming":[83],"at":[84],"predicting":[85],"performance":[86],"metrics":[87],"reducing":[89],"cost":[91],"traditional":[93],"simulations,":[94],"ML-Agent":[96],"directly":[98],"replacing":[99],"processes":[101],"LS":[104,115],"flow.":[105],"further":[107,156],"analyze":[108],"applications":[112],"different":[114],"stages,":[116],"including":[117],"Boolean":[118,121],"circuit":[119,122],"generation,":[120],"analysis,":[123],"logic":[124],"optimization,":[125],"technology":[127],"mapping,":[128],"showing":[129],"great":[130],"achievements":[131],"improvement":[133],"exploring":[135],"non-linear":[136],"design":[137],"spaces":[138],"discovering":[140],"new":[141],"Finally,":[144],"we":[145],"discuss":[146],"challenges":[148],"current":[153],"situation":[154],"provide":[157],"vision":[159],"future":[161],"directions":[162],"LS.":[164]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-12-15T00:00:00"}