{"id":"https://openalex.org/W4389104870","doi":"https://doi.org/10.1109/tcad.2023.3337279","title":"Semi-Tensor Product-Based Exact Synthesis for Logic Rewriting","display_name":"Semi-Tensor Product-Based Exact Synthesis for Logic Rewriting","publication_year":2023,"publication_date":"2023-11-28","ids":{"openalex":"https://openalex.org/W4389104870","doi":"https://doi.org/10.1109/tcad.2023.3337279"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2023.3337279","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2023.3337279","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-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/A5101608841","display_name":"Hongyang Pan","orcid":"https://orcid.org/0009-0009-0874-4518"},"institutions":[{"id":"https://openalex.org/I109935558","display_name":"Ningbo University","ror":"https://ror.org/03et85d35","country_code":"CN","type":"education","lineage":["https://openalex.org/I109935558"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Hongyang Pan","raw_affiliation_strings":["Faculty of Electrical Engineering and Computer Science, Ningbo University, Ningbo, China"],"raw_orcid":"https://orcid.org/0009-0009-0874-4518","affiliations":[{"raw_affiliation_string":"Faculty of Electrical Engineering and Computer Science, Ningbo University, Ningbo, China","institution_ids":["https://openalex.org/I109935558"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070614875","display_name":"Yinshui Xia","orcid":"https://orcid.org/0000-0002-3831-3876"},"institutions":[{"id":"https://openalex.org/I109935558","display_name":"Ningbo University","ror":"https://ror.org/03et85d35","country_code":"CN","type":"education","lineage":["https://openalex.org/I109935558"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yinshui Xia","raw_affiliation_strings":["Faculty of Electrical Engineering and Computer Science, Ningbo University, Ningbo, China"],"raw_orcid":"https://orcid.org/0000-0002-3831-3876","affiliations":[{"raw_affiliation_string":"Faculty of Electrical Engineering and Computer Science, Ningbo University, Ningbo, China","institution_ids":["https://openalex.org/I109935558"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037201336","display_name":"Lunyao Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I109935558","display_name":"Ningbo University","ror":"https://ror.org/03et85d35","country_code":"CN","type":"education","lineage":["https://openalex.org/I109935558"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lunyao Wang","raw_affiliation_strings":["Faculty of Electrical Engineering and Computer Science, Ningbo University, Ningbo, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Electrical Engineering and Computer Science, Ningbo University, Ningbo, China","institution_ids":["https://openalex.org/I109935558"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5022156184","display_name":"Zhufei Chu","orcid":"https://orcid.org/0000-0001-5718-4822"},"institutions":[{"id":"https://openalex.org/I109935558","display_name":"Ningbo University","ror":"https://ror.org/03et85d35","country_code":"CN","type":"education","lineage":["https://openalex.org/I109935558"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhufei Chu","raw_affiliation_strings":["Faculty of Electrical Engineering and Computer Science, Ningbo University, Ningbo, China"],"raw_orcid":"https://orcid.org/0000-0001-5718-4822","affiliations":[{"raw_affiliation_string":"Faculty of Electrical Engineering and Computer Science, Ningbo University, Ningbo, China","institution_ids":["https://openalex.org/I109935558"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5101608841"],"corresponding_institution_ids":["https://openalex.org/I109935558"],"apc_list":null,"apc_paid":null,"fwci":0.511,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.65416306,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"43","issue":"4","first_page":"1093","last_page":"1106"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10363","display_name":"Low-power high-performance VLSI design","score":0.9986000061035156,"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/T10363","display_name":"Low-power high-performance VLSI design","score":0.9986000061035156,"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/T10142","display_name":"Formal Methods in Verification","score":0.9984999895095825,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9983999729156494,"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/rewriting","display_name":"Rewriting","score":0.8767210245132446},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6866153478622437},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.5493016242980957},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.5464233160018921},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4426875710487366},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.4376221001148224},{"id":"https://openalex.org/keywords/logic-synthesis","display_name":"Logic synthesis","score":0.42064863443374634},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.41063234210014343},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.26827144622802734},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2002161741256714}],"concepts":[{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.8767210245132446},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6866153478622437},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.5493016242980957},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.5464233160018921},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4426875710487366},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.4376221001148224},{"id":"https://openalex.org/C157922185","wikidata":"https://www.wikidata.org/wiki/Q173198","display_name":"Logic synthesis","level":3,"score":0.42064863443374634},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41063234210014343},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.26827144622802734},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2002161741256714}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcad.2023.3337279","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2023.3337279","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.49000000953674316}],"awards":[{"id":"https://openalex.org/G3827714646","display_name":null,"funder_award_id":"62274100","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4749324214","display_name":null,"funder_award_id":"U23A20351","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4900995696","display_name":null,"funder_award_id":"61871242","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"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":48,"referenced_works":["https://openalex.org/W567151721","https://openalex.org/W1513176853","https://openalex.org/W1517479771","https://openalex.org/W1518705996","https://openalex.org/W1604160780","https://openalex.org/W1776822698","https://openalex.org/W1996198117","https://openalex.org/W2039485990","https://openalex.org/W2050779425","https://openalex.org/W2073389244","https://openalex.org/W2093176534","https://openalex.org/W2100465945","https://openalex.org/W2105715355","https://openalex.org/W2105761964","https://openalex.org/W2129147175","https://openalex.org/W2129183345","https://openalex.org/W2150787480","https://openalex.org/W2158395308","https://openalex.org/W2181841040","https://openalex.org/W2396635671","https://openalex.org/W2587513648","https://openalex.org/W2587804194","https://openalex.org/W2590761278","https://openalex.org/W2727817250","https://openalex.org/W2752061190","https://openalex.org/W2799013413","https://openalex.org/W2908846298","https://openalex.org/W2913953585","https://openalex.org/W2946189651","https://openalex.org/W2954164878","https://openalex.org/W2966102862","https://openalex.org/W2977646073","https://openalex.org/W3036425636","https://openalex.org/W3099337032","https://openalex.org/W3193251185","https://openalex.org/W4200383047","https://openalex.org/W4210669946","https://openalex.org/W4239821859","https://openalex.org/W4253456425","https://openalex.org/W4255086862","https://openalex.org/W4320352041","https://openalex.org/W4379115819","https://openalex.org/W4385668771","https://openalex.org/W6747275755","https://openalex.org/W6767874552","https://openalex.org/W6784968370","https://openalex.org/W6850072388","https://openalex.org/W6991201851"],"related_works":["https://openalex.org/W2115480761","https://openalex.org/W4386614288","https://openalex.org/W3176904788","https://openalex.org/W21597398","https://openalex.org/W4298153058","https://openalex.org/W2408080066","https://openalex.org/W2268872489","https://openalex.org/W2920896101","https://openalex.org/W1913543287","https://openalex.org/W2014111643"],"abstract_inverted_index":{"Boolean":[0,73],"satisfiability":[1],"(SAT)-based":[2],"exact":[3,62,70,131],"synthesis":[4,63,71,124,132],"has":[5],"made":[6],"significant":[7],"progress":[8],"in":[9,13,160],"recent":[10],"years,":[11],"particularly":[12],"logic":[14,66,76,123],"rewriting":[15,25,106],"for":[16,65],"the":[17,99,109,121,161],"identification":[18],"of":[19,44,113,163],"potential":[20,37],"subnetwork":[21,100],"replacements.":[22],"However,":[23],"existing":[24],"algorithms":[26],"suffer":[27],"from":[28],"two":[29],"major":[30],"drawbacks:":[31],"1)":[32],"inflexibility":[33],"due":[34],"to":[35,86,103],"precomputed":[36],"replacement":[38,90],"candidates":[39,91],"and":[40,78,138,153,165],"2)":[41],"high-computational":[42],"complexity":[43],"off-the-shelf":[45],"conjunction":[46],"normal":[47],"form":[48],"(CNF)-based":[49],"SAT":[50,83],"solvers.":[51],"In":[52],"this":[53],"article,":[54],"we":[55,97,156],"propose":[56],"a":[57,93,143],"novel":[58],"semi-tensor":[59],"product":[60],"(STP)-based":[61],"approach":[64],"rewriting.":[67],"The":[68],"STP-based":[69,130],"encodes":[72],"functions":[74],"into":[75,149],"matrices":[77],"uses":[79],"circuit-based":[80],"all":[81,88,114,140],"solutions":[82],"(AllSAT)":[84],"solver":[85],"obtain":[87,157],"optimal":[89,115],"with":[92,120],"single":[94],"pass.":[95],"Additionally,":[96],"improve":[98],"selection":[101],"strategy":[102],"allow":[104],"flexible":[105],"by":[107],"selecting":[108],"most":[110],"cost-effective":[111],"implementation":[112],"candidates.":[116],"Experimental":[117],"results,":[118],"compared":[119],"state-of-the-art":[122],"tool":[125],"ABC,":[126],"show":[127],"that":[128],"proposed":[129],"reduces":[133],"41%":[134],"runtime":[135],"on":[136],"average":[137,158],"solves":[139],"instances":[141],"within":[142],"time":[144],"limit.":[145],"Moreover,":[146],"after":[147],"mapping":[148],"6-LUT":[150],"FPGA":[151],"technology":[152],"standard":[154],"cells,":[155],"improvements":[159],"area":[162],"6%":[164],"18%,":[166],"respectively.":[167]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}