{"id":"https://openalex.org/W4388820899","doi":"https://doi.org/10.1109/ats59501.2023.10317948","title":"A Distributed ATPG System Combining Test Compaction Based on Pure MaxSAT","display_name":"A Distributed ATPG System Combining Test Compaction Based on Pure MaxSAT","publication_year":2023,"publication_date":"2023-10-14","ids":{"openalex":"https://openalex.org/W4388820899","doi":"https://doi.org/10.1109/ats59501.2023.10317948"},"language":"en","primary_location":{"id":"doi:10.1109/ats59501.2023.10317948","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ats59501.2023.10317948","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE 32nd Asian Test Symposium (ATS)","raw_type":"proceedings-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/A5033100776","display_name":"Zhiteng Chao","orcid":"https://orcid.org/0009-0006-2926-7499"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]},{"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"]},{"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":true,"raw_author_name":"Zhiteng Chao","raw_affiliation_strings":["Institute of Computing Technology, Chinese Academy of Sciences,State Key Lab of Processors,Beijing,China","University of Chinese Academy of Sciences, Beijing, China","State Key Lab of Processors, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","CASTEST Co., Ltd., Beijing, China"],"affiliations":[{"raw_affiliation_string":"Institute of Computing Technology, Chinese Academy of Sciences,State Key Lab of Processors,Beijing,China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I19820366"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]},{"raw_affiliation_string":"State Key Lab of Processors, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I19820366"]},{"raw_affiliation_string":"CASTEST Co., Ltd., Beijing, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102707078","display_name":"Senlin Wang","orcid":"https://orcid.org/0000-0002-6648-9684"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]},{"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"]},{"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":"Senlin Wang","raw_affiliation_strings":["Institute of Computing Technology, Chinese Academy of Sciences,State Key Lab of Processors,Beijing,China","CASTEST Co., Ltd., Beijing, China","State Key Lab of Processors, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","University of Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Institute of Computing Technology, Chinese Academy of Sciences,State Key Lab of Processors,Beijing,China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I19820366"]},{"raw_affiliation_string":"CASTEST Co., Ltd., Beijing, China","institution_ids":[]},{"raw_affiliation_string":"State Key Lab of Processors, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I19820366"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018853932","display_name":"Pengyu Tian","orcid":null},"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"]},{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","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":"Pengyu Tian","raw_affiliation_strings":["Institute of Computing Technology, Chinese Academy of Sciences,State Key Lab of Processors,Beijing,China","University of Chinese Academy of Sciences, Beijing, China","State Key Lab of Processors, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","CASTEST Co., Ltd., Beijing, China"],"affiliations":[{"raw_affiliation_string":"Institute of Computing Technology, Chinese Academy of Sciences,State Key Lab of Processors,Beijing,China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I19820366"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]},{"raw_affiliation_string":"State Key Lab of Processors, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I19820366"]},{"raw_affiliation_string":"CASTEST Co., Ltd., Beijing, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108251052","display_name":"Shuwen Yuan","orcid":null},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]},{"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"]},{"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":"Shuwen Yuan","raw_affiliation_strings":["Institute of Computing Technology, Chinese Academy of Sciences,State Key Lab of Processors,Beijing,China","CASTEST Co., Ltd., Beijing, China","State Key Lab of Processors, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","University of Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Institute of Computing Technology, Chinese Academy of Sciences,State Key Lab of Processors,Beijing,China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I19820366"]},{"raw_affiliation_string":"CASTEST Co., Ltd., Beijing, China","institution_ids":[]},{"raw_affiliation_string":"State Key Lab of Processors, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I19820366"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100768288","display_name":"Huawei Li","orcid":"https://orcid.org/0000-0001-8082-4218"},"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"]},{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","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":"Huawei Li","raw_affiliation_strings":["Institute of Computing Technology, Chinese Academy of Sciences,State Key Lab of Processors,Beijing,China","State Key Lab of Processors, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","CASTEST Co., Ltd., Beijing, China","University of Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Institute of Computing Technology, Chinese Academy of Sciences,State Key Lab of Processors,Beijing,China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I19820366"]},{"raw_affiliation_string":"State Key Lab of Processors, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I19820366"]},{"raw_affiliation_string":"CASTEST Co., Ltd., Beijing, China","institution_ids":[]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100394414","display_name":"Jing Ye","orcid":"https://orcid.org/0000-0002-8023-5090"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]},{"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"]},{"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":"Jing Ye","raw_affiliation_strings":["Institute of Computing Technology, Chinese Academy of Sciences,State Key Lab of Processors,Beijing,China","CASTEST Co., Ltd., Beijing, China","State Key Lab of Processors, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","University of Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Institute of Computing Technology, Chinese Academy of Sciences,State Key Lab of Processors,Beijing,China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I19820366"]},{"raw_affiliation_string":"CASTEST Co., Ltd., Beijing, China","institution_ids":[]},{"raw_affiliation_string":"State Key Lab of Processors, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I19820366"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5023380073","display_name":"Xiaowei Li","orcid":"https://orcid.org/0000-0002-0874-814X"},"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"]},{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","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":"Xiaowei Li","raw_affiliation_strings":["Institute of Computing Technology, Chinese Academy of Sciences,State Key Lab of Processors,Beijing,China","State Key Lab of Processors, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","University of Chinese Academy of Sciences, Beijing, China","CASTEST Co., Ltd., Beijing, China"],"affiliations":[{"raw_affiliation_string":"Institute of Computing Technology, Chinese Academy of Sciences,State Key Lab of Processors,Beijing,China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I19820366"]},{"raw_affiliation_string":"State Key Lab of Processors, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I19820366"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210165038"]},{"raw_affiliation_string":"CASTEST Co., Ltd., Beijing, China","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5033100776"],"corresponding_institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210090176","https://openalex.org/I4210165038"],"apc_list":null,"apc_paid":null,"fwci":0.6151,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.64886935,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":1.0,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9987999796867371,"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/T14117","display_name":"Integrated Circuits and Semiconductor Failure Analysis","score":0.9987000226974487,"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/automatic-test-pattern-generation","display_name":"Automatic test pattern generation","score":0.9333082437515259},{"id":"https://openalex.org/keywords/fault-coverage","display_name":"Fault coverage","score":0.6560643911361694},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6450212001800537},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.5611661672592163},{"id":"https://openalex.org/keywords/redundancy","display_name":"Redundancy (engineering)","score":0.5401050448417664},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4581640362739563},{"id":"https://openalex.org/keywords/combinational-logic","display_name":"Combinational logic","score":0.4402727782726288},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.42386671900749207},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4062674045562744},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.35908690094947815},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.33602970838546753},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.21484947204589844},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.18821683526039124},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.08352559804916382}],"concepts":[{"id":"https://openalex.org/C17626397","wikidata":"https://www.wikidata.org/wiki/Q837455","display_name":"Automatic test pattern generation","level":3,"score":0.9333082437515259},{"id":"https://openalex.org/C126953365","wikidata":"https://www.wikidata.org/wiki/Q5438152","display_name":"Fault coverage","level":3,"score":0.6560643911361694},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6450212001800537},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.5611661672592163},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.5401050448417664},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4581640362739563},{"id":"https://openalex.org/C81409106","wikidata":"https://www.wikidata.org/wiki/Q76505","display_name":"Combinational logic","level":3,"score":0.4402727782726288},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.42386671900749207},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4062674045562744},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.35908690094947815},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.33602970838546753},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.21484947204589844},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.18821683526039124},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.08352559804916382},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ats59501.2023.10317948","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ats59501.2023.10317948","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE 32nd Asian Test Symposium (ATS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2148714490","display_name":null,"funder_award_id":"U20A20202,62090024,61876173","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6997238163","display_name":null,"funder_award_id":"2020YFB1600201","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program 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/F4320321133","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null},{"id":"https://openalex.org/F4320335892","display_name":"Youth Innovation Promotion Association","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W168622005","https://openalex.org/W1838626497","https://openalex.org/W1890663346","https://openalex.org/W1891229889","https://openalex.org/W2003676354","https://openalex.org/W2056509764","https://openalex.org/W2073590490","https://openalex.org/W2089540425","https://openalex.org/W2097275999","https://openalex.org/W2110683333","https://openalex.org/W2128426877","https://openalex.org/W2132744626","https://openalex.org/W2151526282","https://openalex.org/W2154934646","https://openalex.org/W2165730231","https://openalex.org/W2296702311","https://openalex.org/W2427394675","https://openalex.org/W2509815610","https://openalex.org/W2907747812","https://openalex.org/W3083621833","https://openalex.org/W3215527485","https://openalex.org/W4245586739","https://openalex.org/W4308083752"],"related_works":["https://openalex.org/W2128496560","https://openalex.org/W2117563988","https://openalex.org/W4248162147","https://openalex.org/W2095349217","https://openalex.org/W2091833418","https://openalex.org/W1412895167","https://openalex.org/W2126951255","https://openalex.org/W2120257283","https://openalex.org/W2913077774","https://openalex.org/W1493811107"],"abstract_inverted_index":{"As":[0],"the":[1,27,41,58,87,91,97,126,136,143,149,155],"target":[2],"of":[3,43,60,99,103,128,145],"test":[4,11,18,30,78,129,156],"synthesis":[5],"is":[6,159],"to":[7,39,46,52,85,124],"obtain":[8],"highly":[9],"compacted":[10],"patterns":[12,88,100,146],"with":[13,118,154],"acceptable":[14,164],"fault":[15,104,116],"coverage,":[16],"automatic":[17],"pattern":[19,65],"generation":[20],"(ATPG)":[21],"plays":[22],"an":[23,163],"important":[24],"role":[25],"in":[26],"design":[28],"for":[29],"(DFT)":[31],"process.":[32,49],"Distributed":[33],"ATPG":[34,93,151],"systems":[35],"have":[36],"been":[37],"designed":[38],"harness":[40],"parallelism":[42],"computer":[44],"architectures":[45],"accelerate":[47],"this":[48,72,74],"However,":[50],"due":[51],"delayed":[53],"communication":[54,133],"among":[55],"distributed":[56,92,137,150],"nodes,":[57],"redundancy":[59],"certain":[61],"computations":[62],"and":[63,113,131],"substantial":[64],"expansion":[66],"issues":[67],"may":[68],"arise.":[69],"To":[70],"tackle":[71],"problem,":[73],"paper":[75],"proposes":[76],"a":[77,115],"compaction":[79,130,157],"module":[80,158],"based":[81],"on":[82],"Pure":[83],"MaxSAT":[84],"re-compact":[86],"generated":[89,147],"by":[90,148],"system,":[94],"significantly":[95],"reducing":[96],"number":[98,144],"without":[101],"loss":[102],"coverage.":[105],"Techniques":[106],"such":[107],"as":[108],"partial":[109],"fault-dropping,":[110],"two-stage":[111],"compaction,":[112],"building":[114],"dictionary":[117],"machine":[119],"word":[120],"all-fill":[121],"are":[122],"integrated":[123,153],"reduce":[125],"cost":[127],"internal":[132],"overhead":[134],"within":[135,162],"framework.":[138],"Experimental":[139],"results":[140],"indicate":[141],"that":[142],"system":[152],"greatly":[160],"reduced":[161],"time":[165],"overhead.":[166]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}