{"id":"https://openalex.org/W2047503989","doi":"https://doi.org/10.1109/test.2014.7035351","title":"Efficient SAT-based ATPG techniques for all multiple stuck-at faults","display_name":"Efficient SAT-based ATPG techniques for all multiple stuck-at faults","publication_year":2014,"publication_date":"2014-10-01","ids":{"openalex":"https://openalex.org/W2047503989","doi":"https://doi.org/10.1109/test.2014.7035351","mag":"2047503989"},"language":"en","primary_location":{"id":"doi:10.1109/test.2014.7035351","is_oa":false,"landing_page_url":"https://doi.org/10.1109/test.2014.7035351","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 International Test Conference","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/A5027837299","display_name":"Masahiro Fujita","orcid":"https://orcid.org/0000-0002-6516-4175"},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Masahiro Fujita","raw_affiliation_strings":["University of Tokyo","University of Tokyo, , Japan"],"affiliations":[{"raw_affiliation_string":"University of Tokyo","institution_ids":["https://openalex.org/I74801974"]},{"raw_affiliation_string":"University of Tokyo, , Japan","institution_ids":["https://openalex.org/I74801974"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110450560","display_name":"Alan Mishchenko","orcid":"https://orcid.org/0009-0004-1303-6261"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alan Mishchenko","raw_affiliation_strings":["University of California, Berkeley","University of California\u2010Berkeley USA"],"affiliations":[{"raw_affiliation_string":"University of California, Berkeley","institution_ids":["https://openalex.org/I95457486"]},{"raw_affiliation_string":"University of California\u2010Berkeley USA","institution_ids":["https://openalex.org/I95457486"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5027837299"],"corresponding_institution_ids":["https://openalex.org/I74801974"],"apc_list":null,"apc_paid":null,"fwci":2.7583,"has_fulltext":false,"cited_by_count":27,"citation_normalized_percentile":{"value":0.90384957,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"10"},"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/T14117","display_name":"Integrated Circuits and Semiconductor Failure Analysis","score":0.9997000098228455,"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/T11005","display_name":"Radiation Effects in Electronics","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.8494060039520264},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6599316596984863},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.47663888335227966},{"id":"https://openalex.org/keywords/combinational-logic","display_name":"Combinational logic","score":0.42617279291152954},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3684926927089691},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.30831044912338257},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.13671112060546875},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.08516710996627808},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.0761762261390686}],"concepts":[{"id":"https://openalex.org/C17626397","wikidata":"https://www.wikidata.org/wiki/Q837455","display_name":"Automatic test pattern generation","level":3,"score":0.8494060039520264},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6599316596984863},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.47663888335227966},{"id":"https://openalex.org/C81409106","wikidata":"https://www.wikidata.org/wiki/Q76505","display_name":"Combinational logic","level":3,"score":0.42617279291152954},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3684926927089691},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.30831044912338257},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.13671112060546875},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.08516710996627808},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0761762261390686}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/test.2014.7035351","is_oa":false,"landing_page_url":"https://doi.org/10.1109/test.2014.7035351","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 International Test Conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W73161924","https://openalex.org/W1503377936","https://openalex.org/W1528837436","https://openalex.org/W1593401011","https://openalex.org/W1836933035","https://openalex.org/W1983881446","https://openalex.org/W1985685974","https://openalex.org/W2014319462","https://openalex.org/W2039413528","https://openalex.org/W2043080135","https://openalex.org/W2059722774","https://openalex.org/W2070238330","https://openalex.org/W2098850317","https://openalex.org/W2119167026","https://openalex.org/W2119241964","https://openalex.org/W2138843016","https://openalex.org/W2146907344","https://openalex.org/W2149236697","https://openalex.org/W2149315264","https://openalex.org/W2170288398","https://openalex.org/W3136036009","https://openalex.org/W4235567996","https://openalex.org/W4245450710","https://openalex.org/W4256313551","https://openalex.org/W6602997044"],"related_works":["https://openalex.org/W2117563988","https://openalex.org/W1412895167","https://openalex.org/W2120257283","https://openalex.org/W2132684947","https://openalex.org/W4238986168","https://openalex.org/W2165817266","https://openalex.org/W1493811107","https://openalex.org/W1910267371","https://openalex.org/W2125459034","https://openalex.org/W4240466429"],"abstract_inverted_index":{"Due":[0],"to":[1,111,172],"the":[2,77,117,133,142,223,240,263,294,310,328,342,356,381],"continuous":[3],"shrinking":[4],"of":[5,38,64,80,83,120,168,178,190,196,207,250,266,276,288,300,312,344,375,380],"semiconductor":[6],"technology,":[7],"there":[8],"are":[9,139,237,245,322,347],"more":[10,12],"and":[11,22,221],"subtle":[13],"errors":[14],"or":[15,103,180],"faults":[16,40,81,115,138,169,179,197,271,365,370],"widely":[17],"distributed":[18],"in":[19,74,132,141,170,239,253,327,377],"manufactured":[20],"chips,":[21],"traditional":[23],"\u201csingle\u201d":[24],"stuck-at":[25,59,65,99,101,305,319,364],"fault":[26,90,109,126,129,143,153,181,345],"model":[27],"may":[28],"become":[29],"inappropriate.":[30],"It":[31],"is":[32,97],"definitely":[33],"better":[34],"if":[35],"all":[36,57,62,113,136,232,363],"combinations":[37,63,346],"multiple":[39,58,318,339],"can":[41,227,281,308],"be":[42,228],"completely":[43],"tested.":[44],"In":[45],"this":[46],"paper,":[47],"we":[48,292,307,331,353],"present":[49,184],"ATPG":[50,106,189,279,295],"(Automatic":[51],"Test":[52],"Pattern":[53],"Generation)":[54],"techniques":[55,280],"targeting":[56],"faults,":[60,306,340],"i.e.":[61],"faults.":[66,163,202,320],"That":[67],"is,":[68],"given":[69,286],"\u201cn\u201d":[70],"possibly":[71,94],"faulty":[72,95],"locations":[73],"a":[75,205,285,298,323],"circuit,":[76],"target":[78],"set":[79,119,206,265,287,299,311],"consists":[82],"3":[84,157],"<sup":[85,158],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[86,159],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">n</sup>":[87,160],"-":[88,161],"1":[89,162],"combinations,":[91],"as":[92,156,231,352],"each":[93],"location":[96],"under":[98],"1,":[100],"0,":[102],"normal/non-faulty.":[104],"Traditional":[105],"flows":[107],"use":[108],"simulators":[110,127],"eliminate":[112],"detectable":[114],"by":[116,198],"current":[118],"test":[121,267,289,301,314,336,360],"vectors.":[122,290],"The":[123],"problem,":[124],"however,":[125],"represent":[128],"lists":[130],"explicitly":[131],"sense":[134,329],"that":[135,270,330],"possible":[137],"enumerated":[140],"lists.":[144],"This":[145],"prevents":[146],"us":[147],"from":[148],"dealing":[149],"with":[150,174,284,297],"ultra":[151],"large":[152,194],"lists,":[154],"such":[155,175],"We":[164,183,203,259],"need":[165,332],"\u201cimplicit\u201d":[166],"representation":[167],"order":[171],"deal":[173],"huge":[176],"numbers":[177,195,343],"combinations.":[182],"SAT":[185,208,242],"based":[186],"formulations":[187],"for":[188,303,317,338,355,362,366],"circuits":[191,252,368,382],"having":[192],"very":[193,229,333],"implicitly":[199],"eliminating":[200],"detected":[201],"solve":[204],"problems":[209],"whose":[210],"constraints":[211],"increase":[212],"pure":[213],"incrementally":[214],"(here":[215],"\u201cpure\u201d":[216],"means":[217],"never":[218],"deleting":[219],"constraints),":[220],"so":[222,235],"entire":[224],"solving":[225],"process":[226],"efficient,":[230],"learnings":[233],"obtained":[234],"far":[236,351],"valid":[238],"following":[241],"problems.":[243],"Experiments":[244],"performed":[246],"on":[247],"combinational":[248],"parts":[249],"ISCAS89":[251,367],"their":[254],"AIG":[255,378],"(AND-Inverter":[256],"Graph)":[257],"representations.":[258],"have":[260,383],"successfully":[261],"generated":[262],"complete":[264,359],"vectors":[268,302,315,337,361],"assuming":[269],"happen":[272,371],"only":[273,372],"at":[274,373],"outputs":[275,374],"gates.":[277],"Our":[278],"also":[282],"start":[283,293],"If":[291],"processes":[296],"single":[304],"obtain":[309],"additional":[313,335],"required":[316],"Results":[321],"little":[324],"bit":[325],"surprising":[326],"few":[334],"although":[341],"exponentially":[348],"larger.":[349],"As":[350],"know,":[354],"first":[357],"time,":[358],"where":[369],"gates":[376],"representations":[379],"been":[384],"obtained.":[385]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":4}],"updated_date":"2026-01-13T01:12:25.745995","created_date":"2025-10-10T00:00:00"}