{"id":"https://openalex.org/W4286362563","doi":"https://doi.org/10.1109/tvlsi.2022.3186946","title":"BMC-Based Temperature-Aware SBST for Worst-Case Delay Fault Testing Under High Temperature","display_name":"BMC-Based Temperature-Aware SBST for Worst-Case Delay Fault Testing Under High Temperature","publication_year":2022,"publication_date":"2022-07-20","ids":{"openalex":"https://openalex.org/W4286362563","doi":"https://doi.org/10.1109/tvlsi.2022.3186946"},"language":"en","primary_location":{"id":"doi:10.1109/tvlsi.2022.3186946","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tvlsi.2022.3186946","pdf_url":null,"source":{"id":"https://openalex.org/S37538908","display_name":"IEEE Transactions on Very Large Scale Integration (VLSI) Systems","issn_l":"1063-8210","issn":["1063-8210","1557-9999"],"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 Very Large Scale Integration (VLSI) 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/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":true,"raw_author_name":"Ying Zhang","raw_affiliation_strings":["School of Software Engineering, Tongji University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"School of Software Engineering, Tongji University, Shanghai, China","institution_ids":["https://openalex.org/I116953780"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037684756","display_name":"Yi Ding","orcid":"https://orcid.org/0000-0002-1226-341X"},"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":"Yi Ding","raw_affiliation_strings":["School of Software Engineering, Tongji University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"School of Software Engineering, Tongji University, Shanghai, China","institution_ids":["https://openalex.org/I116953780"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003372884","display_name":"Zebo Peng","orcid":"https://orcid.org/0000-0002-5137-565X"},"institutions":[{"id":"https://openalex.org/I102134673","display_name":"Link\u00f6ping University","ror":"https://ror.org/05ynxx418","country_code":"SE","type":"education","lineage":["https://openalex.org/I102134673"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Zebo Peng","raw_affiliation_strings":["Embedded Systems Laboratory, Linkoping University, Linkoping, Sweden"],"affiliations":[{"raw_affiliation_string":"Embedded Systems Laboratory, Linkoping University, Linkoping, Sweden","institution_ids":["https://openalex.org/I102134673"]}]},{"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/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","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":["SKLCA, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"SKLCA, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I19820366"]}]},{"author_position":"middle","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":false,"raw_author_name":"Masahiro Fujita","raw_affiliation_strings":["VLSI Design and Education Center, The University of Tokyo, Tokyo, Japan"],"affiliations":[{"raw_affiliation_string":"VLSI Design and Education Center, The University of Tokyo, Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]},{"author_position":"last","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 Software Engineering, Tongji University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"School of Software Engineering, Tongji University, Shanghai, China","institution_ids":["https://openalex.org/I116953780"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5101723569"],"corresponding_institution_ids":["https://openalex.org/I116953780"],"apc_list":null,"apc_paid":null,"fwci":1.1592,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.76253394,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"30","issue":"11","first_page":"1677","last_page":"1690"},"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.9995999932289124,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9983000159263611,"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.6134916543960571},{"id":"https://openalex.org/keywords/automatic-test-pattern-generation","display_name":"Automatic test pattern generation","score":0.6091881394386292},{"id":"https://openalex.org/keywords/fault-coverage","display_name":"Fault coverage","score":0.5948054790496826},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5288568139076233},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.5164713859558105},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.4761747717857361},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.46086275577545166},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.46043887734413147},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.4452480375766754},{"id":"https://openalex.org/keywords/built-in-self-test","display_name":"Built-in self-test","score":0.4323229491710663},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.424850732088089},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.39702484011650085},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3279293179512024},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.31165987253189087},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.22470057010650635},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.19644460082054138},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.12211686372756958}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6134916543960571},{"id":"https://openalex.org/C17626397","wikidata":"https://www.wikidata.org/wiki/Q837455","display_name":"Automatic test pattern generation","level":3,"score":0.6091881394386292},{"id":"https://openalex.org/C126953365","wikidata":"https://www.wikidata.org/wiki/Q5438152","display_name":"Fault coverage","level":3,"score":0.5948054790496826},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5288568139076233},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.5164713859558105},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.4761747717857361},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.46086275577545166},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.46043887734413147},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.4452480375766754},{"id":"https://openalex.org/C2780980493","wikidata":"https://www.wikidata.org/wiki/Q181142","display_name":"Built-in self-test","level":2,"score":0.4323229491710663},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.424850732088089},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.39702484011650085},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3279293179512024},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.31165987253189087},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.22470057010650635},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.19644460082054138},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.12211686372756958},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"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/tvlsi.2022.3186946","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tvlsi.2022.3186946","pdf_url":null,"source":{"id":"https://openalex.org/S37538908","display_name":"IEEE Transactions on Very Large Scale Integration (VLSI) Systems","issn_l":"1063-8210","issn":["1063-8210","1557-9999"],"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 Very Large Scale Integration (VLSI) Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"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/G4478266629","display_name":null,"funder_award_id":"62090024","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4757893089","display_name":null,"funder_award_id":"U20A20202","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/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W1583869287","https://openalex.org/W1597578789","https://openalex.org/W1819209966","https://openalex.org/W1876406499","https://openalex.org/W1967098233","https://openalex.org/W1981662161","https://openalex.org/W1995827686","https://openalex.org/W2023155196","https://openalex.org/W2057694122","https://openalex.org/W2088545523","https://openalex.org/W2105522986","https://openalex.org/W2113270322","https://openalex.org/W2115795793","https://openalex.org/W2130789838","https://openalex.org/W2154711067","https://openalex.org/W2162696040","https://openalex.org/W2167073370","https://openalex.org/W2171716781","https://openalex.org/W2288330210","https://openalex.org/W2294133975","https://openalex.org/W2334801967","https://openalex.org/W2523211787","https://openalex.org/W2566036489","https://openalex.org/W2588890006","https://openalex.org/W2602994942","https://openalex.org/W2612140429","https://openalex.org/W2738366174","https://openalex.org/W2761562961","https://openalex.org/W2772661308","https://openalex.org/W2781937213","https://openalex.org/W2907134375","https://openalex.org/W2944975644","https://openalex.org/W2953642299","https://openalex.org/W2971534259","https://openalex.org/W2991965607","https://openalex.org/W3000704581","https://openalex.org/W3011859938","https://openalex.org/W3092603030","https://openalex.org/W3146734585","https://openalex.org/W4205113866","https://openalex.org/W4235782507","https://openalex.org/W4240114955","https://openalex.org/W4241233758","https://openalex.org/W4242469033","https://openalex.org/W4244825689","https://openalex.org/W4251804981"],"related_works":["https://openalex.org/W2091833418","https://openalex.org/W2913077774","https://openalex.org/W4256030018","https://openalex.org/W2145089576","https://openalex.org/W2021253405","https://openalex.org/W1986228509","https://openalex.org/W2147400189","https://openalex.org/W1600468096","https://openalex.org/W2154529098","https://openalex.org/W2109319621"],"abstract_inverted_index":{"This":[0],"article":[1],"presents":[2],"a":[3,35],"bounded":[4],"model":[5,66],"checking":[6],"(BMC)-based":[7],"temperature-aware":[8,83],"software-based":[9],"self-testing":[10],"(SBST)":[11],"technique":[12,116],"to":[13,43,63,71,90],"test":[14,39,49,79,94,102,136],"worst":[15,104,155],"case":[16,105,156],"delay":[17,48,123,157],"faults":[18,124,158],"within":[19,97],"the":[20,30,46,59,65,74,93,98,103,114,132,142],"highest":[21],"temperature":[22,95],"range.":[23],"The":[24,145],"BMC-based":[25],"SBST":[26,84,147],"method":[27,85],"first":[28],"defines":[29],"sequential":[31],"constraint.":[32],"It":[33,56],"develops":[34],"sequentially":[36],"constrained":[37],"automatic":[38],"pattern":[40],"generation":[41],"(ATPG)":[42],"ensure":[44,91],"that":[45,92,113,140],"generated":[47,146],"patterns":[50],"can":[51],"emerge":[52],"in":[53,153],"functional":[54],"mode.":[55],"then":[57,87],"uses":[58],"processor\u2019s":[60],"multiple-level":[61],"information":[62],"reduce":[64],"complexity,":[67],"avoid":[68],"aborts":[69],"due":[70],"time-outs":[72],"during":[73],"BMC":[75],"process,":[76],"and":[77,101,125,151],"generate":[78],"programs":[80,148],"automatically.":[81],"A":[82],"has":[86],"been":[88],"developed":[89],"is":[96],"specified":[99],"range":[100],"delays":[106],"under":[107,159],"high":[108,120,160],"temperature.":[109,161],"Experimental":[110],"results":[111],"demonstrate":[112],"proposed":[115],"achieves":[117],"an":[118],"extremely":[119],"coverage":[121],"for":[122],"effectively":[126],"avoids":[127],"yield":[128],"loss":[129],"caused":[130],"by":[131],"overtesting":[133],"problem.":[134],"Its":[135],"quality":[137],"also":[138],"outperforms":[139],"of":[141],"existing":[143],"methods.":[144],"are":[149],"successful":[150],"efficient":[152],"testing":[154]},"counts_by_year":[{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}