{"id":"https://openalex.org/W7154742539","doi":"https://doi.org/10.1109/lats70329.2026.11480366","title":"Validating Statistical Delay Test Generation Under Timing Variations via SAT-Based ATPG","display_name":"Validating Statistical Delay Test Generation Under Timing Variations via SAT-Based ATPG","publication_year":2026,"publication_date":"2026-03-17","ids":{"openalex":"https://openalex.org/W7154742539","doi":"https://doi.org/10.1109/lats70329.2026.11480366"},"language":null,"primary_location":{"id":"doi:10.1109/lats70329.2026.11480366","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lats70329.2026.11480366","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2026 IEEE 27th Latin American Test Symposium (LATS)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5003101843","display_name":"Hanieh Jafarzadeh","orcid":null},"institutions":[{"id":"https://openalex.org/I206945453","display_name":"Paderborn University","ror":"https://ror.org/058kzsd48","country_code":"DE","type":"education","lineage":["https://openalex.org/I206945453"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Hanieh Jafarzadeh","raw_affiliation_strings":["Paderborn University,Paderborn,Germany,33098"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Paderborn University,Paderborn,Germany,33098","institution_ids":["https://openalex.org/I206945453"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081497240","display_name":"Jan Dennis Reimer","orcid":null},"institutions":[{"id":"https://openalex.org/I206945453","display_name":"Paderborn University","ror":"https://ror.org/058kzsd48","country_code":"DE","type":"education","lineage":["https://openalex.org/I206945453"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jan Dennis Reimer","raw_affiliation_strings":["Paderborn University,Paderborn,Germany,33098"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Paderborn University,Paderborn,Germany,33098","institution_ids":["https://openalex.org/I206945453"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059133190","display_name":"Hussam Amrouch","orcid":"https://orcid.org/0000-0002-5649-3102"},"institutions":[{"id":"https://openalex.org/I100066346","display_name":"University of Stuttgart","ror":"https://ror.org/04vnq7t77","country_code":"DE","type":"education","lineage":["https://openalex.org/I100066346"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Hussam Amrouch","raw_affiliation_strings":["University of Stuttgart,Stuttgart,Germany,70569"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Stuttgart,Stuttgart,Germany,70569","institution_ids":["https://openalex.org/I100066346"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051549317","display_name":"Sybille Hellebrand","orcid":"https://orcid.org/0000-0002-3717-3939"},"institutions":[{"id":"https://openalex.org/I206945453","display_name":"Paderborn University","ror":"https://ror.org/058kzsd48","country_code":"DE","type":"education","lineage":["https://openalex.org/I206945453"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sybille Hellebrand","raw_affiliation_strings":["Paderborn University,Paderborn,Germany,33098"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Paderborn University,Paderborn,Germany,33098","institution_ids":["https://openalex.org/I206945453"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5133855631","display_name":"Hans-Joachim Wunderlich","orcid":null},"institutions":[{"id":"https://openalex.org/I100066346","display_name":"University of Stuttgart","ror":"https://ror.org/04vnq7t77","country_code":"DE","type":"education","lineage":["https://openalex.org/I100066346"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Hans-Joachim Wunderlich","raw_affiliation_strings":["University of Stuttgart,Stuttgart,Germany,70569"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Stuttgart,Stuttgart,Germany,70569","institution_ids":["https://openalex.org/I100066346"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.29345372,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"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":0.6955999732017517,"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":0.6955999732017517,"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/T11321","display_name":"Error Correcting Code Techniques","score":0.03550000116229057,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T13293","display_name":"Engineering and Test Systems","score":0.02370000071823597,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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.475600004196167},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.37369999289512634},{"id":"https://openalex.org/keywords/statistical-analysis","display_name":"Statistical analysis","score":0.2797999978065491},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.2669999897480011},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.25690001249313354}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5590999722480774},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4851999878883362},{"id":"https://openalex.org/C17626397","wikidata":"https://www.wikidata.org/wiki/Q837455","display_name":"Automatic test pattern generation","level":3,"score":0.475600004196167},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.37369999289512634},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.35120001435279846},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.29190000891685486},{"id":"https://openalex.org/C2986587452","wikidata":"https://www.wikidata.org/wiki/Q938438","display_name":"Statistical analysis","level":2,"score":0.2797999978065491},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.2669999897480011},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.25690001249313354},{"id":"https://openalex.org/C87007009","wikidata":"https://www.wikidata.org/wiki/Q210832","display_name":"Statistical hypothesis testing","level":2,"score":0.25220000743865967}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/lats70329.2026.11480366","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lats70329.2026.11480366","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2026 IEEE 27th Latin American Test Symposium (LATS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Affordable and clean energy","id":"https://metadata.un.org/sdg/7","score":0.47502660751342773}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1994293072","https://openalex.org/W2019500818","https://openalex.org/W2074088078","https://openalex.org/W2109986557","https://openalex.org/W2123349422","https://openalex.org/W2151053034","https://openalex.org/W2160444875","https://openalex.org/W2161054100","https://openalex.org/W2785837881","https://openalex.org/W4213132743","https://openalex.org/W4229941905","https://openalex.org/W4379115640","https://openalex.org/W4390098696","https://openalex.org/W4401416600","https://openalex.org/W4404848977"],"related_works":[],"abstract_inverted_index":{"Process,":[0],"voltage":[1],"and":[2,57,110],"temperature":[3],"fluctuations":[4],"induce":[5],"timing":[6],"variations":[7],"which":[8],"require":[9],"statistical":[10,53,93],"test":[11,22,55,60,68,102,136],"generation":[12,56,61],"methods":[13],"for":[14,28,73],"detecting":[15],"Small":[16],"Delay":[17],"Faults":[18],"(SDFs).":[19],"Such":[20],"a":[21,33,40],"set":[23,84,103,124],"is":[24,77,87,96],"called":[25],"robust,":[26],"if":[27],"each":[29],"fault":[30,143],"f":[31],"of":[32,66,85,135],"randomly":[34],"created":[35],"circuit":[36],"instance,":[37],"it":[38],"contains":[39],"pattern":[41],"detecting$f$with":[42],"its":[43],"minimum":[44],"theoretically":[45],"detectable":[46],"size.":[47],"The":[48,70],"paper":[49],"at":[50],"hand":[51],"combines":[52],"delay":[54],"deterministic":[58,129],"satisfability-based":[59],"to":[62,116],"validate":[63],"the":[64,67,74,82,92,99,120,141],"robustness":[65],"sets.":[69],"computing":[71],"time":[72],"SAT-based":[75,121],"algorithm":[76],"drastically":[78],"reduced":[79],"as":[80],"only":[81,111],"small":[83],"faults":[86],"targeted":[88],"not":[89],"detected":[90],"by":[91,119],"approach.":[94],"It":[95],"seen":[97],"that":[98],"statistically":[100],"generated":[101],"has":[104],"already":[105],"an":[106,132],"extremely":[107],"high":[108],"quality":[109],"very":[112],"few":[113],"patterns":[114],"need":[115],"be":[117],"added":[118],"algorithm.":[122],"Test":[123],"compaction":[125],"starting":[126],"with":[127],"these":[128],"patterns,":[130],"provides":[131],"additional":[133],"reduction":[134],"data":[137],"volumes":[138],"while":[139],"keeping":[140],"improved":[142],"efficiency.":[144]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2026-04-18T00:00:00"}