{"id":"https://openalex.org/W4407691091","doi":"https://doi.org/10.1109/tim.2025.3542861","title":"Logic Synthesis Tools\u2019 Testing via Configuration Diversification With Combinatorial Multiarmed Bandit","display_name":"Logic Synthesis Tools\u2019 Testing via Configuration Diversification With Combinatorial Multiarmed Bandit","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4407691091","doi":"https://doi.org/10.1109/tim.2025.3542861"},"language":"en","primary_location":{"id":"doi:10.1109/tim.2025.3542861","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tim.2025.3542861","pdf_url":null,"source":{"id":"https://openalex.org/S10892749","display_name":"IEEE Transactions on Instrumentation and Measurement","issn_l":"0018-9456","issn":["0018-9456","1557-9662"],"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 Instrumentation and Measurement","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/A5034954395","display_name":"Peiyu Zou","orcid":"https://orcid.org/0000-0003-2786-1807"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Peiyu Zou","raw_affiliation_strings":["School of Software and the Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian University of Technology, Dalian, China","School of Software, Dalian University of Technology, Dalian, China"],"raw_orcid":"https://orcid.org/0000-0003-2786-1807","affiliations":[{"raw_affiliation_string":"School of Software and the Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian University of Technology, Dalian, China","institution_ids":["https://openalex.org/I27357992"]},{"raw_affiliation_string":"School of Software, Dalian University of Technology, Dalian, China","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002119636","display_name":"He Jiang","orcid":"https://orcid.org/0000-0001-8674-4948"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]},{"id":"https://openalex.org/I4210102840","display_name":"Ubiquitous Energy (United States)","ror":"https://ror.org/01b06j989","country_code":"US","type":"company","lineage":["https://openalex.org/I4210102840"]}],"countries":["CN","US"],"is_corresponding":false,"raw_author_name":"He Jiang","raw_affiliation_strings":["School of Software, the Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province and the Artificial Intelligence Institute, Dalian University of Technology, Dalian, China","School of Software, Dalian University of Technology, Dalian, China"],"raw_orcid":"https://orcid.org/0000-0001-8674-4948","affiliations":[{"raw_affiliation_string":"School of Software, the Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province and the Artificial Intelligence Institute, Dalian University of Technology, Dalian, China","institution_ids":["https://openalex.org/I27357992","https://openalex.org/I4210102840"]},{"raw_affiliation_string":"School of Software, Dalian University of Technology, Dalian, China","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Xiaochen Li","orcid":"https://orcid.org/0000-0002-5068-1938"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaochen Li","raw_affiliation_strings":["School of Software and the Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian University of Technology, Dalian, China","School of Software, Dalian University of Technology, Dalian, China"],"raw_orcid":"https://orcid.org/0000-0002-5068-1938","affiliations":[{"raw_affiliation_string":"School of Software and the Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian University of Technology, Dalian, China","institution_ids":["https://openalex.org/I27357992"]},{"raw_affiliation_string":"School of Software, Dalian University of Technology, Dalian, China","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001859368","display_name":"Zhide Zhou","orcid":"https://orcid.org/0000-0001-6195-7605"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhide Zhou","raw_affiliation_strings":["School of Software and the Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian University of Technology, Dalian, China","School of Software, Dalian University of Technology, Dalian, China"],"raw_orcid":"https://orcid.org/0000-0001-6195-7605","affiliations":[{"raw_affiliation_string":"School of Software and the Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province, Dalian University of Technology, Dalian, China","institution_ids":["https://openalex.org/I27357992"]},{"raw_affiliation_string":"School of Software, Dalian University of Technology, Dalian, China","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018071549","display_name":"Shikai Guo","orcid":"https://orcid.org/0000-0002-8554-6365"},"institutions":[{"id":"https://openalex.org/I43313876","display_name":"Dalian Maritime University","ror":"https://ror.org/002b7nr53","country_code":"CN","type":"education","lineage":["https://openalex.org/I43313876"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shikai Guo","raw_affiliation_strings":["School of Information Science and Technology, Dalian Maritime University, Dalian, China","School of Information Science and Technology, Dalian Maritime University, Dalian, Chin"],"raw_orcid":"https://orcid.org/0000-0002-8554-6365","affiliations":[{"raw_affiliation_string":"School of Information Science and Technology, Dalian Maritime University, Dalian, China","institution_ids":["https://openalex.org/I43313876"]},{"raw_affiliation_string":"School of Information Science and Technology, Dalian Maritime University, Dalian, Chin","institution_ids":["https://openalex.org/I43313876"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102678414","display_name":"Xu Zhao","orcid":"https://orcid.org/0009-0001-3476-0994"},"institutions":[{"id":"https://openalex.org/I125839683","display_name":"Beijing Institute of Technology","ror":"https://ror.org/01skt4w74","country_code":"CN","type":"education","lineage":["https://openalex.org/I125839683","https://openalex.org/I890469752"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xu Zhao","raw_affiliation_strings":["School of Computer Science and Technology, Beijing Institute of Technology, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0001-3476-0994","affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, Beijing Institute of Technology, Beijing, China","institution_ids":["https://openalex.org/I125839683"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.8854,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.73527287,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"74","issue":null,"first_page":"1","last_page":"17"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9817000031471252,"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.9817000031471252,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9800000190734863,"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/T10906","display_name":"AI-based Problem Solving and Planning","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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.49956345558166504},{"id":"https://openalex.org/keywords/diversification","display_name":"Diversification (marketing strategy)","score":0.4867832362651825},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.09633737802505493}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.49956345558166504},{"id":"https://openalex.org/C180916674","wikidata":"https://www.wikidata.org/wiki/Q3711935","display_name":"Diversification (marketing strategy)","level":2,"score":0.4867832362651825},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.09633737802505493},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tim.2025.3542861","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tim.2025.3542861","pdf_url":null,"source":{"id":"https://openalex.org/S10892749","display_name":"IEEE Transactions on Instrumentation and Measurement","issn_l":"0018-9456","issn":["0018-9456","1557-9662"],"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 Instrumentation and Measurement","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3427093674","display_name":null,"funder_award_id":"62032004","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5057948433","display_name":null,"funder_award_id":"62472062","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6007899901","display_name":null,"funder_award_id":"62202079","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7460829232","display_name":null,"funder_award_id":"2023M730472","funder_id":"https://openalex.org/F4320321543","funder_display_name":"China Postdoctoral Science Foundation"},{"id":"https://openalex.org/G7874800282","display_name":null,"funder_award_id":"62302077","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8949869718","display_name":null,"funder_award_id":"2023M730472","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/F4320321543","display_name":"China Postdoctoral Science Foundation","ror":"https://ror.org/0426zh255"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W2165436148","https://openalex.org/W2295658119","https://openalex.org/W3000168951","https://openalex.org/W3000636126","https://openalex.org/W3008410827","https://openalex.org/W3008753369","https://openalex.org/W3013938122","https://openalex.org/W3022068489","https://openalex.org/W3080745458","https://openalex.org/W3094392068","https://openalex.org/W3160429442","https://openalex.org/W3164773099","https://openalex.org/W3197664379","https://openalex.org/W4210483703","https://openalex.org/W4292829262","https://openalex.org/W4293024067","https://openalex.org/W4311839588","https://openalex.org/W4312583943","https://openalex.org/W4312889722","https://openalex.org/W4313598794","https://openalex.org/W4320713034","https://openalex.org/W4362683591","https://openalex.org/W4366310743","https://openalex.org/W4377235297","https://openalex.org/W4378716064","https://openalex.org/W4384302906","https://openalex.org/W4384916994","https://openalex.org/W4386159957","https://openalex.org/W4386212296","https://openalex.org/W4386764677","https://openalex.org/W4387415154","https://openalex.org/W4387986524","https://openalex.org/W4388758253","https://openalex.org/W4389166804","https://openalex.org/W4390187724","https://openalex.org/W4390659359","https://openalex.org/W4404134032","https://openalex.org/W6849992863","https://openalex.org/W7064485774"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4389391504","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4301410663","https://openalex.org/W4312472185","https://openalex.org/W4396701345"],"abstract_inverted_index":{"As":[0],"circuit":[1],"design":[2],"complexity":[3],"increases,":[4],"ensuring":[5,64],"the":[6,65,144,192,217,223,228],"accuracy":[7],"and":[8,33,61,119,156,172],"reliability":[9],"of":[10,58,67,91,98,104,146,188,216],"logic":[11,92,167,174],"synthesis":[12,21,93,154,168,175],"tools":[13,94,169,176],"becomes":[14],"crucial.":[15],"However,":[16],"inherent":[17],"faults":[18,155],"can":[19],"cause":[20],"failures,":[22],"affecting":[23],"netlist":[24],"accuracy.":[25],"Traditional":[26],"testing":[27,90],"approaches":[28],"rely":[29],"on":[30,124,163],"code":[31],"generators,":[32],"their":[34,235],"effectiveness":[35,209],"is":[36],"highly":[37,226],"influenced":[38],"by":[39,200,232],"generator":[40,100],"configurations.":[41,101],"For":[42],"an":[43],"effective":[44],"test":[45,50,125,137],"configuration,":[46],"it":[47],"must":[48],"produce":[49],"programs":[51],"that":[52,182],"are":[53],"both":[54,164],"bug-revealing":[55],"(i.e.,":[56,63,170,177],"capable":[57],"triggering":[59],"bugs)":[60],"diverse":[62],"detection":[66,208],"various":[68],"bug":[69,229],"types).":[70],"To":[71],"achieve":[72],"this":[73],"goal,":[74],"we":[75],"propose":[76],"LoSyTe:":[77],"Logic":[78],"Synthesis":[79],"Tools\u2019":[80],"Testing":[81],"via":[82],"Configuration":[83],"Diversification":[84],"with":[85,149,214],"CMAB.":[86],"LoSyTe":[87,162,183,206],"conducts":[88],"comprehensive":[89],"through":[95],"dynamic":[96],"optimization":[97],"test-program":[99],"It":[102],"consists":[103],"three":[105],"main":[106],"components.":[107],"The":[108,139,179],"configuration":[109,121],"selection":[110],"component":[111,129,142],"applies":[112],"a":[113],"multiarmed":[114],"bandit":[115],"algorithm":[116],"to":[117,135,152,203,212,238],"select":[118],"optimize":[120],"combinations":[122],"based":[123],"feedback.":[126],"Test-program":[127],"vectorization":[128],"turns":[130],"test-programs":[131],"into":[132],"feature":[133],"vectors":[134],"quantify":[136],"diversity.":[138],"equivalence":[140],"checking":[141],"checks":[143],"consistency":[145],"synthesized":[147],"netlists":[148],"Verilog":[150],"tests":[151],"identify":[153],"guide":[157],"strategy":[158],"adjustments.":[159],"We":[160],"assess":[161],"proprietary":[165],"commercial":[166],"Vivado)":[171],"open-source":[173],"Yosys).":[178],"results":[180],"show":[181],"successfully":[184],"discovered":[185],"20":[186],"bugs":[187,194,218],"four":[189],"types;":[190],"all":[191],"reported":[193],"have":[195],"been":[196],"confirmed":[197],"or":[198],"fixed":[199],"developers.":[201],"Compared":[202],"baseline":[204],"methods,":[205],"improves":[207],"from":[210],"70.00%":[211],"466.67%,":[213],"41.18%":[215],"uniquely":[219],"identified.":[220],"In":[221],"addition,":[222],"Vivado":[224],"community":[225],"praises":[227],"reports":[230],"submitted":[231],"LoSyTe,":[233],"recognizing":[234],"significant":[236],"contribution":[237],"tool":[239],"improvement.":[240]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2025-12-28T23:10:05.387466","created_date":"2025-10-10T00:00:00"}