{"id":"https://openalex.org/W2088716948","doi":"https://doi.org/10.1145/2390191.2390205","title":"Using implications to choose tests through suspect fault identification","display_name":"Using implications to choose tests through suspect fault identification","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W2088716948","doi":"https://doi.org/10.1145/2390191.2390205","mag":"2088716948"},"language":"en","primary_location":{"id":"doi:10.1145/2390191.2390205","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2390191.2390205","pdf_url":null,"source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic 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/A5044465911","display_name":"Jennifer Dworak","orcid":null},"institutions":[{"id":"https://openalex.org/I178169726","display_name":"Southern Methodist University","ror":"https://ror.org/042tdr378","country_code":"US","type":"education","lineage":["https://openalex.org/I178169726"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Jennifer Dworak","raw_affiliation_strings":["Southern Methodist University, Dallas, TX","Southern Methodist University , Dallas , TX"],"affiliations":[{"raw_affiliation_string":"Southern Methodist University, Dallas, TX","institution_ids":["https://openalex.org/I178169726"]},{"raw_affiliation_string":"Southern Methodist University , Dallas , TX","institution_ids":["https://openalex.org/I178169726"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084404179","display_name":"Kundan Nepal","orcid":"https://orcid.org/0000-0002-4215-3393"},"institutions":[{"id":"https://openalex.org/I161515732","display_name":"University of St. Thomas - Minnesota","ror":"https://ror.org/05vfxvp80","country_code":"US","type":"education","lineage":["https://openalex.org/I161515732"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kundan Nepal","raw_affiliation_strings":["University of St. Thomas, MN","University of St. Thomas, MN#TAB#"],"affiliations":[{"raw_affiliation_string":"University of St. Thomas, MN","institution_ids":["https://openalex.org/I161515732"]},{"raw_affiliation_string":"University of St. Thomas, MN#TAB#","institution_ids":["https://openalex.org/I161515732"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103542139","display_name":"Nuno Alves","orcid":"https://orcid.org/0000-0002-6018-5604"},"institutions":[{"id":"https://openalex.org/I27804330","display_name":"Brown University","ror":"https://ror.org/05gq02987","country_code":"US","type":"education","lineage":["https://openalex.org/I27804330"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nuno Alves","raw_affiliation_strings":["Brown University, Providence, RI","Brown University, Providence, RI,"],"affiliations":[{"raw_affiliation_string":"Brown University, Providence, RI","institution_ids":["https://openalex.org/I27804330"]},{"raw_affiliation_string":"Brown University, Providence, RI,","institution_ids":["https://openalex.org/I27804330"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102987027","display_name":"Yiwen Shi","orcid":"https://orcid.org/0000-0003-4152-1470"},"institutions":[{"id":"https://openalex.org/I1342911587","display_name":"Oracle (United States)","ror":"https://ror.org/006c77m33","country_code":"US","type":"company","lineage":["https://openalex.org/I1342911587"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yiwen Shi","raw_affiliation_strings":["Oracle, San Jose, CA","Oracle, San Jose, CA#TAB#"],"affiliations":[{"raw_affiliation_string":"Oracle, San Jose, CA","institution_ids":["https://openalex.org/I1342911587"]},{"raw_affiliation_string":"Oracle, San Jose, CA#TAB#","institution_ids":["https://openalex.org/I1342911587"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065706000","display_name":"Nicholas Imbriglia","orcid":null},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nicholas Imbriglia","raw_affiliation_strings":["Intel, WA"],"affiliations":[{"raw_affiliation_string":"Intel, WA","institution_ids":["https://openalex.org/I1343180700"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5047635410","display_name":"R. Iris Bahar","orcid":"https://orcid.org/0000-0001-6927-8527"},"institutions":[{"id":"https://openalex.org/I27804330","display_name":"Brown University","ror":"https://ror.org/05gq02987","country_code":"US","type":"education","lineage":["https://openalex.org/I27804330"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"R. Iris Bahar","raw_affiliation_strings":["Brown University, Providence, RI","Brown University, Providence, RI,"],"affiliations":[{"raw_affiliation_string":"Brown University, Providence, RI","institution_ids":["https://openalex.org/I27804330"]},{"raw_affiliation_string":"Brown University, Providence, RI,","institution_ids":["https://openalex.org/I27804330"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5044465911"],"corresponding_institution_ids":["https://openalex.org/I178169726"],"apc_list":null,"apc_paid":null,"fwci":1.12314062,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.82002706,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"18","issue":"1","first_page":"1","last_page":"19"},"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/T11005","display_name":"Radiation Effects in Electronics","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/T14117","display_name":"Integrated Circuits and Semiconductor Failure Analysis","score":0.9995999932289124,"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/computer-science","display_name":"Computer science","score":0.8810797929763794},{"id":"https://openalex.org/keywords/suspect","display_name":"Suspect","score":0.8339003324508667},{"id":"https://openalex.org/keywords/identification","display_name":"Identification (biology)","score":0.6066147089004517},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.543369710445404},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.472942590713501},{"id":"https://openalex.org/keywords/core","display_name":"Core (optical fiber)","score":0.470988005399704},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.46115684509277344},{"id":"https://openalex.org/keywords/fault-detection-and-isolation","display_name":"Fault detection and isolation","score":0.42190417647361755},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.4154958128929138},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3622204661369324},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.23395583033561707},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09244313836097717}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8810797929763794},{"id":"https://openalex.org/C2778223634","wikidata":"https://www.wikidata.org/wiki/Q224952","display_name":"Suspect","level":2,"score":0.8339003324508667},{"id":"https://openalex.org/C116834253","wikidata":"https://www.wikidata.org/wiki/Q2039217","display_name":"Identification (biology)","level":2,"score":0.6066147089004517},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.543369710445404},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.472942590713501},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.470988005399704},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.46115684509277344},{"id":"https://openalex.org/C152745839","wikidata":"https://www.wikidata.org/wiki/Q5438153","display_name":"Fault detection and isolation","level":3,"score":0.42190417647361755},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.4154958128929138},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3622204661369324},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.23395583033561707},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09244313836097717},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C172707124","wikidata":"https://www.wikidata.org/wiki/Q423488","display_name":"Actuator","level":2,"score":0.0},{"id":"https://openalex.org/C59822182","wikidata":"https://www.wikidata.org/wiki/Q441","display_name":"Botany","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2390191.2390205","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2390191.2390205","pdf_url":null,"source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5600000023841858,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G4206214206","display_name":null,"funder_award_id":"CCF-0915302, CCF-1110290, CCF-1061164, and CCF-1205176","funder_id":"https://openalex.org/F4320337387","funder_display_name":"Division of Computing and Communication Foundations"}],"funders":[{"id":"https://openalex.org/F4320337387","display_name":"Division of Computing and Communication Foundations","ror":"https://ror.org/01mng8331"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":47,"referenced_works":["https://openalex.org/W1593935583","https://openalex.org/W1913249562","https://openalex.org/W1966086403","https://openalex.org/W1995710727","https://openalex.org/W2006642784","https://openalex.org/W2014820630","https://openalex.org/W2024212907","https://openalex.org/W2035720033","https://openalex.org/W2097325076","https://openalex.org/W2098169468","https://openalex.org/W2098178883","https://openalex.org/W2098417235","https://openalex.org/W2100179054","https://openalex.org/W2100669545","https://openalex.org/W2104696797","https://openalex.org/W2106635847","https://openalex.org/W2112837829","https://openalex.org/W2114172921","https://openalex.org/W2118289054","https://openalex.org/W2121760724","https://openalex.org/W2122819799","https://openalex.org/W2127181941","https://openalex.org/W2127877371","https://openalex.org/W2128855500","https://openalex.org/W2128971504","https://openalex.org/W2130670097","https://openalex.org/W2133505378","https://openalex.org/W2141565132","https://openalex.org/W2142107379","https://openalex.org/W2142688241","https://openalex.org/W2143760852","https://openalex.org/W2144512449","https://openalex.org/W2144869312","https://openalex.org/W2146594632","https://openalex.org/W2151428711","https://openalex.org/W2156732871","https://openalex.org/W2157482771","https://openalex.org/W2164290165","https://openalex.org/W2164529645","https://openalex.org/W2169447254","https://openalex.org/W2169874783","https://openalex.org/W2170296491","https://openalex.org/W2171156763","https://openalex.org/W4229487452","https://openalex.org/W4232640795","https://openalex.org/W4239342999","https://openalex.org/W4243061192"],"related_works":["https://openalex.org/W3197016913","https://openalex.org/W2389153751","https://openalex.org/W4386728183","https://openalex.org/W2185015567","https://openalex.org/W2394191954","https://openalex.org/W2113933481","https://openalex.org/W4292622136","https://openalex.org/W2559305818","https://openalex.org/W4225847548","https://openalex.org/W4366496396"],"abstract_inverted_index":{"As":[0],"circuits":[1],"continue":[2],"to":[3,5,15,58,78,95,106],"scale":[4],"smaller":[6],"feature":[7],"sizes,":[8],"wearout":[9],"and":[10,52,118],"latent":[11],"defects":[12],"are":[13,34],"expected":[14],"cause":[16],"an":[17,84],"increasing":[18],"number":[19],"of":[20,36,41,61,75],"errors":[21,43],"in":[22,113,119,123],"the":[23,53,72,109,115,124],"field.":[24],"Online":[25],"error":[26,85],"detection":[27],"techniques,":[28],"including":[29],"logic":[30,76],"implication-based":[31],"checker":[32],"hardware,":[33],"capable":[35],"detecting":[37],"at":[38],"least":[39],"some":[40],"these":[42],"as":[44],"they":[45],"occur.":[46],"However,":[47],"recovery":[48],"may":[49,56],"be":[50,104],"expensive,":[51],"underlying":[54],"problem":[55],"lead":[57],"multiple":[59],"failures":[60],"a":[62,97],"core":[63,117],"over":[64],"time.":[65],"In":[66],"this":[67,93],"article,":[68],"we":[69],"will":[70,90],"investigate":[71],"diagnostic":[73],"capability":[74],"implications":[77],"identify":[79],"possible":[80],"failure":[81],"locations":[82,112],"when":[83],"is":[86],"detected":[87],"online.":[88],"We":[89],"then":[91],"utilize":[92],"information":[94],"select":[96],"highly":[98],"efficient":[99],"test":[100,108],"set":[101],"that":[102],"can":[103],"used":[105],"effectively":[107],"identified":[110],"suspect":[111],"both":[114],"failing":[116],"other":[120],"identical":[121],"cores":[122],"system.":[125]},"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}