{"id":"https://openalex.org/W4403674939","doi":"https://doi.org/10.1109/tcad.2024.3485577","title":"Multiobjective Optimization in Logic Synthesis Based on TB-RM Dual Logic","display_name":"Multiobjective Optimization in Logic Synthesis Based on TB-RM Dual Logic","publication_year":2024,"publication_date":"2024-10-23","ids":{"openalex":"https://openalex.org/W4403674939","doi":"https://doi.org/10.1109/tcad.2024.3485577"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2024.3485577","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2024.3485577","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/A5043011026","display_name":"Yuhao Zhou","orcid":"https://orcid.org/0000-0002-6460-7480"},"institutions":[{"id":"https://openalex.org/I116953780","display_name":"Tongji University","ror":"https://ror.org/03rc6as71","country_code":"CN","type":"education","lineage":["https://openalex.org/I116953780"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yuhao Zhou","raw_affiliation_strings":["School of Computer Science and Technology, Tongji University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, Tongji University, Shanghai, China","institution_ids":["https://openalex.org/I116953780"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100422399","display_name":"Zhen Wang","orcid":"https://orcid.org/0000-0003-0019-8240"},"institutions":[{"id":"https://openalex.org/I23632641","display_name":"Shanghai University of Electric Power","ror":"https://ror.org/02w4tny03","country_code":"CN","type":"education","lineage":["https://openalex.org/I23632641"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhen Wang","raw_affiliation_strings":["School of the Computer Science and Technology, Shanghai University of Electric Power, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"School of the Computer Science and Technology, Shanghai University of Electric Power, Shanghai, China","institution_ids":["https://openalex.org/I23632641"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102817656","display_name":"Xiaoxiao Kong","orcid":"https://orcid.org/0000-0001-9739-0647"},"institutions":[{"id":"https://openalex.org/I15823474","display_name":"Linyi University","ror":"https://ror.org/01knv0402","country_code":"CN","type":"education","lineage":["https://openalex.org/I15823474"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiangxue Kong","raw_affiliation_strings":["Middle School Mathematics Department, No. 40 Middle School of Linyi, Linyi, China","Middle School of Linyi, Linyi, China"],"affiliations":[{"raw_affiliation_string":"Middle School Mathematics Department, No. 40 Middle School of Linyi, Linyi, China","institution_ids":["https://openalex.org/I15823474"]},{"raw_affiliation_string":"Middle School of Linyi, Linyi, China","institution_ids":["https://openalex.org/I15823474"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101608841","display_name":"Hongyang Pan","orcid":"https://orcid.org/0009-0009-0874-4518"},"institutions":[{"id":"https://openalex.org/I24943067","display_name":"Fudan University","ror":"https://ror.org/013q1eq08","country_code":"CN","type":"education","lineage":["https://openalex.org/I24943067"]},{"id":"https://openalex.org/I4210132426","display_name":"Shanghai Fudan Microelectronics (China)","ror":"https://ror.org/02vfj3j86","country_code":"CN","type":"company","lineage":["https://openalex.org/I4210132426"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hongyang Pan","raw_affiliation_strings":["School of Microelectronics, State Key Laboratory of Integrated Chips and System, Fudan University, Shanghai, China","State Key Laboratory of Integrated Chips and System, School of Microelectronics, Fudan University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"School of Microelectronics, State Key Laboratory of Integrated Chips and System, Fudan University, Shanghai, China","institution_ids":["https://openalex.org/I4210132426","https://openalex.org/I24943067"]},{"raw_affiliation_string":"State Key Laboratory of Integrated Chips and System, School of Microelectronics, Fudan University, Shanghai, China","institution_ids":["https://openalex.org/I4210132426","https://openalex.org/I24943067"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042951311","display_name":"Zhenxue He","orcid":"https://orcid.org/0000-0001-7041-8582"},"institutions":[{"id":"https://openalex.org/I108160477","display_name":"Hebei Agricultural University","ror":"https://ror.org/009fw8j44","country_code":"CN","type":"education","lineage":["https://openalex.org/I108160477"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhenxue He","raw_affiliation_strings":["Key Laboratory of Agricultural Big Data of Hebei Province, Hebei Agricultural University, Baoding, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of Agricultural Big Data of Hebei Province, Hebei Agricultural University, Baoding, China","institution_ids":["https://openalex.org/I108160477"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101723569","display_name":"Ying Zhang","orcid":"https://orcid.org/0000-0001-7887-6510"},"institutions":[{"id":"https://openalex.org/I116953780","display_name":"Tongji University","ror":"https://ror.org/03rc6as71","country_code":"CN","type":"education","lineage":["https://openalex.org/I116953780"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ying Zhang","raw_affiliation_strings":["School of Computer Science and Technology, Tongji University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, Tongji University, Shanghai, China","institution_ids":["https://openalex.org/I116953780"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088671434","display_name":"Jianhui Jiang","orcid":"https://orcid.org/0000-0002-5829-8423"},"institutions":[{"id":"https://openalex.org/I116953780","display_name":"Tongji University","ror":"https://ror.org/03rc6as71","country_code":"CN","type":"education","lineage":["https://openalex.org/I116953780"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianhui Jiang","raw_affiliation_strings":["School of Computer Science and Technology, Tongji University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, Tongji University, Shanghai, China","institution_ids":["https://openalex.org/I116953780"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027553782","display_name":"Limin Xiao","orcid":"https://orcid.org/0000-0002-9806-5851"},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Limin Xiao","raw_affiliation_strings":["School of Computer Science and Engineering, Beihang University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, Beihang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100388989","display_name":"Xiang Wang","orcid":"https://orcid.org/0000-0001-8799-2644"},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiang Wang","raw_affiliation_strings":["School of Electronic and Information Engineering, Beihang University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"School of Electronic and Information Engineering, Beihang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":9,"corresponding_author_ids":["https://openalex.org/A5043011026"],"corresponding_institution_ids":["https://openalex.org/I116953780"],"apc_list":null,"apc_paid":null,"fwci":0.6457,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.70483131,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":"44","issue":"4","first_page":"1380","last_page":"1393"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T14474","display_name":"Industrial Technology and Control Systems","score":0.7631999850273132,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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/T14474","display_name":"Industrial Technology and Control Systems","score":0.7631999850273132,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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.6985999941825867,"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.641700029373169,"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/logic-optimization","display_name":"Logic optimization","score":0.5804728269577026},{"id":"https://openalex.org/keywords/dual","display_name":"Dual (grammatical number)","score":0.5583206415176392},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.46005743741989136},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.38326433300971985},{"id":"https://openalex.org/keywords/logic-synthesis","display_name":"Logic synthesis","score":0.3435462415218353},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.3248941898345947},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.273776113986969},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.2644190192222595},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.0760807991027832}],"concepts":[{"id":"https://openalex.org/C28449271","wikidata":"https://www.wikidata.org/wiki/Q6667469","display_name":"Logic optimization","level":4,"score":0.5804728269577026},{"id":"https://openalex.org/C2780980858","wikidata":"https://www.wikidata.org/wiki/Q110022","display_name":"Dual (grammatical number)","level":2,"score":0.5583206415176392},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.46005743741989136},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.38326433300971985},{"id":"https://openalex.org/C157922185","wikidata":"https://www.wikidata.org/wiki/Q173198","display_name":"Logic synthesis","level":3,"score":0.3435462415218353},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.3248941898345947},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.273776113986969},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.2644190192222595},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0760807991027832},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcad.2024.3485577","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2024.3485577","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":[],"awards":[{"id":"https://openalex.org/G3792108932","display_name":null,"funder_award_id":"62374114","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4402920525","display_name":null,"funder_award_id":"61974105","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6923471883","display_name":null,"funder_award_id":"62102130","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8003865692","display_name":null,"funder_award_id":"92473203","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":35,"referenced_works":["https://openalex.org/W1918485682","https://openalex.org/W2056613478","https://openalex.org/W2091551711","https://openalex.org/W2096443114","https://openalex.org/W2121950290","https://openalex.org/W2134079021","https://openalex.org/W2137756604","https://openalex.org/W2137981013","https://openalex.org/W2158999039","https://openalex.org/W2168473504","https://openalex.org/W2290883490","https://openalex.org/W2363530255","https://openalex.org/W2379717927","https://openalex.org/W2594426548","https://openalex.org/W2617411258","https://openalex.org/W3007108195","https://openalex.org/W3011104345","https://openalex.org/W3014054012","https://openalex.org/W3089349998","https://openalex.org/W3135229335","https://openalex.org/W3160711977","https://openalex.org/W3197047861","https://openalex.org/W3204396310","https://openalex.org/W4211049012","https://openalex.org/W4226060744","https://openalex.org/W4282935563","https://openalex.org/W4285819999","https://openalex.org/W4289536568","https://openalex.org/W4306894647","https://openalex.org/W4319990041","https://openalex.org/W4319998077","https://openalex.org/W4324142445","https://openalex.org/W4362722139","https://openalex.org/W4396982214","https://openalex.org/W7069881669"],"related_works":["https://openalex.org/W2125631309","https://openalex.org/W1553855433","https://openalex.org/W2130825721","https://openalex.org/W1966764473","https://openalex.org/W2000478871","https://openalex.org/W4386159957","https://openalex.org/W2078452800","https://openalex.org/W2133179865","https://openalex.org/W2359073992","https://openalex.org/W1488117239"],"abstract_inverted_index":{"Traditional":[0,29],"logic":[1,14,34,41,45,96,103,121,143],"synthesis":[2,35,74,97],"methods":[3,75],"are":[4],"based":[5,111],"on":[6,112],"Boolean":[7,30,39],"logic,":[8],"which":[9,100],"tends":[10],"to":[11,133],"produce":[12],"redundant":[13],"structures":[15],"in":[16,169,184,213],"dense":[17],"circuit":[18],"applications,":[19],"such":[20],"as":[21,204],"complex":[22],"number":[23],"operations":[24],"and":[25,31,42,51,85,107,124,191,197,218],"error":[26,149],"detection/correction":[27],"coding.":[28],"Reed-Muller":[32,43],"(TB-RM)":[33],"method":[36,58,98,105],"combining":[37],"traditional":[38,73],"(TB)":[40],"(RM)":[44],"can":[46,118,126,164],"improve":[47],"comprehensive":[48],"optimization":[49,80,171,186],"indexes":[50],"reduce":[52],"cost.":[53],"The":[54],"existing":[55],"TB":[56],"design":[57],"is":[59],"not":[60,77],"effective":[61,94],"when":[62],"dealing":[63],"with":[64,67,159,174],"constrained":[65],"systems":[66],"high-resource":[68],"utilization":[69],"requirements.":[70],"In":[71,131],"addition,":[72,132],"do":[76],"consider":[78],"multiobjective":[79,185],"of":[81,187,216],"area,":[82,188],"power":[83,189],"consumption":[84,190],"reliability.":[86],"To":[87],"solve":[88],"these":[89],"problems,":[90],"we":[91,145,209],"propose":[92,146],"an":[93],"dual":[95,102],"(EDSM),":[99],"includes":[101],"detection":[104,122],"(DDM)":[106],"differential":[108],"evolution":[109],"algorithm":[110],"multidimensional":[113],"mutation":[114],"strategy":[115],"(DE-MMS).":[116],"DDM":[117],"complete":[119],"the":[120,129,135,142,205,214],"function,":[123],"DE-MMS":[125],"further":[127],"optimize":[128],"polarity.":[130],"evaluate":[134],"soft":[136,148],"errors":[137],"occurring":[138],"more":[139],"efficiently":[140],"at":[141],"level,":[144],"a":[147],"rate":[150],"(SER)":[151],"estimation":[152],"model.":[153],"Experimental":[154],"results":[155],"show":[156],"that":[157],"compared":[158,173],"state-of-the-art":[160],"evolutionary":[161],"algorithms,":[162],"EDSM":[163,180],"search":[165],"for":[166],"optimal":[167,206],"solutions":[168],"all":[170],"problems;":[172],"commonly":[175],"used":[176],"TB-based":[177],"minimization":[178],"methods,":[179],"has":[181],"obvious":[182],"advantages":[183],"SER.":[192],"After":[193],"6-LUT":[194],"FPGA":[195],"technology":[196],"standard":[198],"cells":[199],"mapping,":[200],"by":[201],"selecting":[202],"area":[203,215],"cost":[207],"implementation,":[208],"obtain":[210],"average":[211],"improvements":[212],"14%":[217],"2%,":[219],"respectively.":[220]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-10-10T00:00:00"}