{"id":"https://openalex.org/W1993822809","doi":"https://doi.org/10.5555/2132325.2132490","title":"Post-silicon bug diagnosis with inconsistent executions","display_name":"Post-silicon bug diagnosis with inconsistent executions","publication_year":2011,"publication_date":"2011-11-07","ids":{"openalex":"https://openalex.org/W1993822809","doi":"https://doi.org/10.5555/2132325.2132490","mag":"1993822809"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.281.5974","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.281.5974","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.eecs.umich.edu/%7Evaleria/research/publications/ICCAD11BPS.pdf","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5018269902","display_name":"Andrew DeOrio","orcid":"https://orcid.org/0000-0001-5653-5109","observed_orcids":["https://orcid.org/0000-0001-5653-5109"]},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andrew DeOrio","raw_affiliation_strings":["(University of Michigan)"],"raw_orcid":"https://orcid.org/0000-0001-5653-5109","affiliations":[{"raw_affiliation_string":"(University of Michigan)","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060661843","display_name":"Daya Shanker Khudia","orcid":"https://orcid.org/0000-0002-6706-5074","observed_orcids":["https://orcid.org/0000-0002-6706-5074"]},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Daya Shanker Khudia","raw_affiliation_strings":["(University of Michigan)"],"raw_orcid":"https://orcid.org/0000-0002-6706-5074","affiliations":[{"raw_affiliation_string":"(University of Michigan)","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030335506","display_name":"Valeria Bertacco","orcid":"https://orcid.org/0000-0002-0319-3368","observed_orcids":["https://orcid.org/0000-0002-0319-3368"]},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Valeria Bertacco","raw_affiliation_strings":["(University of Michigan)"],"raw_orcid":"https://orcid.org/0000-0002-0319-3368","affiliations":[{"raw_affiliation_string":"(University of Michigan)","institution_ids":["https://openalex.org/I27837315"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I27837315"],"apc_list":null,"apc_paid":null,"fwci":1.468,"has_fulltext":false,"cited_by_count":21,"citation_normalized_percentile":{"value":0.8455804,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"755","last_page":"761"},"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.5889000296592712,"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.5889000296592712,"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.31049999594688416,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.02449999935925007,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/post-silicon-validation","display_name":"post-silicon validation","score":0.9769999980926514},{"id":"https://openalex.org/keywords/bug-diagnosis","display_name":"bug diagnosis","score":0.8849999904632568},{"id":"https://openalex.org/keywords/intermittent-failures","display_name":"intermittent failures","score":0.8259999752044678},{"id":"https://openalex.org/keywords/hardware-debugging","display_name":"hardware debugging","score":0.7129999995231628},{"id":"https://openalex.org/keywords/root-cause-localization","display_name":"root cause localization","score":0.7170000076293945},{"id":"https://openalex.org/keywords/hardware-verification","display_name":"hardware verification","score":0.5139999985694885}],"concepts":[{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.8422171473503113},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7883718013763428},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.7502433657646179},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.6644259095191956},{"id":"https://openalex.org/C165005293","wikidata":"https://www.wikidata.org/wiki/Q1074500","display_name":"Chip","level":2,"score":0.4848414659500122},{"id":"https://openalex.org/C84945661","wikidata":"https://www.wikidata.org/wiki/Q7366567","display_name":"Root cause","level":2,"score":0.4835531413555145},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.47771191596984863},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4538605511188507},{"id":"https://openalex.org/C2779843651","wikidata":"https://www.wikidata.org/wiki/Q7390335","display_name":"SIGNAL (programming language)","level":2,"score":0.43257829546928406},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3301782011985779},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.25723737478256226},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20092123746871948},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1119886040687561},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.281.5974","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.281.5974","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.eecs.umich.edu/%7Evaleria/research/publications/ICCAD11BPS.pdf","raw_type":"text"},{"id":"mag:1993822809","doi":"https://doi.org/10.5555/2132325.2132490","is_oa":false,"landing_page_url":"https://web.eecs.umich.edu/~valeria/research/publications/ICCAD11BPS.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306419226","display_name":"International Conference on Computer Aided Design","issn_l":"1933-7760","issn":["1933-7760"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":["jufo-1"],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"International Conference on Computer Aided Design","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W1834494688","https://openalex.org/W1967664042","https://openalex.org/W1974635992","https://openalex.org/W2110868591","https://openalex.org/W2114179668","https://openalex.org/W2122146819","https://openalex.org/W2123205813","https://openalex.org/W2125094702","https://openalex.org/W2126900578","https://openalex.org/W2129663982","https://openalex.org/W2143849045","https://openalex.org/W2144606498","https://openalex.org/W2147556214","https://openalex.org/W2156515608","https://openalex.org/W2156591015","https://openalex.org/W2157469798","https://openalex.org/W2160037120","https://openalex.org/W2168040632","https://openalex.org/W2168098726","https://openalex.org/W2170454670","https://openalex.org/W2404754476","https://openalex.org/W3139542001","https://openalex.org/W3148440458"],"related_works":["https://openalex.org/W2109892789","https://openalex.org/W2062841565","https://openalex.org/W2092211817","https://openalex.org/W7097484002","https://openalex.org/W2988379438","https://openalex.org/W3141623235","https://openalex.org/W6942322614","https://openalex.org/W2057920668","https://openalex.org/W2024436253","https://openalex.org/W2010246522"],"abstract_inverted_index":{"Abstract\u2014The":[0],"complexity":[1],"of":[2,12,78,92,99,151],"modern":[3],"chips":[4],"intensifies":[5],"verification":[6,14],"challenges,":[7],"and":[8,46,58,126,145],"an":[9],"increasing":[10],"share":[11],"this":[13,62],"effort":[15],"is":[16],"shouldered":[17],"by":[18],"post-silicon":[19,83],"validation.":[20],"Focusing":[21],"onthefirstsilicon":[22],"prototypes,post-silicon":[23],"validation":[24],"poses":[25],"critical":[26,127],"new":[27],"challenges":[28],"such":[29],"as":[30],"intermittent":[31],"failures,":[32],"wheremultiple":[33],"executions":[34,98],"ofasametestdonotyield":[35],"aconsistent":[36],"outcome.":[37],"These":[38],"are":[39],"often":[40],"due":[41],"to":[42,50,73,117,140],"on-chip":[43],"asynchronous":[44],"events":[45],"electrical":[47],"effects,":[48],"leading":[49],"extremely":[51],"time-consuming,":[52],"if":[53],"not":[54],"unachievable,":[55],"bug":[56],"diagnosis":[57,77],"debugging":[59],"processes.":[60],"In":[61],"work,":[63],"we":[64],"propose":[65],"a":[66,89,108],"methodology":[67],"called":[68],"BPS":[69,86,112,134],"(Bug":[70],"Positioning":[71],"System)":[72],"support":[74],"the":[75,100,114,119,122,141],"automatic":[76],"these":[79],"difficult":[80],"bugs.":[81],"During":[82],"validation,":[84],"lightweight":[85],"hardware":[87],"logs":[88],"compact":[90],"encoding":[91],"observed":[93],"signal":[94,144],"activity":[95,116],"over":[96],"multiple":[97],"same":[101],"test:":[102],"some":[103,105],"passing,":[104],"failing.":[106],"Leveraging":[107],"novel":[109],"post-analysis":[110],"algorithm,":[111],"uses":[113],"logged":[115],"diagnose":[118],"bug,":[120],"identifying":[121],"approximate":[123],"manifestation":[124],"time":[125],"design":[128],"signals.":[129],"We":[130],"found":[131],"experimentally":[132],"that":[133],"can":[135],"localize":[136],"most":[137],"bugs":[138],"down":[139],"exact":[142],"root":[143],"within":[146],"about":[147],"1,000":[148],"clock":[149],"cycles":[150],"their":[152],"occurrence.":[153],"I.":[154]},"counts_by_year":[{"year":2021,"cited_by_count":2},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":5},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":1}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}