{"id":"https://openalex.org/W2181725979","doi":"https://doi.org/10.1109/test.2015.7342397","title":"A structured approach to post-silicon validation and debug using symbolic quick error detection","display_name":"A structured approach to post-silicon validation and debug using symbolic quick error detection","publication_year":2015,"publication_date":"2015-10-01","ids":{"openalex":"https://openalex.org/W2181725979","doi":"https://doi.org/10.1109/test.2015.7342397","mag":"2181725979"},"language":"en","primary_location":{"id":"doi:10.1109/test.2015.7342397","is_oa":false,"landing_page_url":"https://doi.org/10.1109/test.2015.7342397","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE International Test Conference (ITC)","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/A5043891822","display_name":"David C. Lin","orcid":"https://orcid.org/0000-0003-4492-0944"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"David Lin","raw_affiliation_strings":["Department of Electrical Engineering"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055282803","display_name":"Eshan Singh","orcid":"https://orcid.org/0000-0001-8851-4724"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Eshan Singh","raw_affiliation_strings":["Department of Electrical Engineering"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026961968","display_name":"Clark Barrett","orcid":"https://orcid.org/0000-0002-9522-3084"},"institutions":[{"id":"https://openalex.org/I57206974","display_name":"New York University","ror":"https://ror.org/0190ak572","country_code":"US","type":"education","lineage":["https://openalex.org/I57206974"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Clark Barrett","raw_affiliation_strings":["Department of Computer Science, New York University, New York, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, New York University, New York, USA","institution_ids":["https://openalex.org/I57206974"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5036312663","display_name":"Subhasish Mitra","orcid":"https://orcid.org/0000-0002-5572-5194"},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Subhasish Mitra","raw_affiliation_strings":["Department of Computer Science, Stanford University, Stanford, USA","Department of Electrical Engineering"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Stanford University, Stanford, USA","institution_ids":["https://openalex.org/I97018004"]},{"raw_affiliation_string":"Department of Electrical Engineering","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5043891822"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.3229,"has_fulltext":false,"cited_by_count":22,"citation_normalized_percentile":{"value":0.88539757,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"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":0.9998999834060669,"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.9998999834060669,"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.9998000264167786,"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.9994999766349792,"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/debugging","display_name":"Debugging","score":0.912781834602356},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7766434550285339},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.6375635862350464},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5366261601448059},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.38357818126678467},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.313351035118103},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.2838004231452942}],"concepts":[{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.912781834602356},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7766434550285339},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.6375635862350464},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5366261601448059},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.38357818126678467},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.313351035118103},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2838004231452942}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/test.2015.7342397","is_oa":false,"landing_page_url":"https://doi.org/10.1109/test.2015.7342397","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE International Test Conference (ITC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.46000000834465027}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":44,"referenced_works":["https://openalex.org/W57231800","https://openalex.org/W108458771","https://openalex.org/W298612178","https://openalex.org/W1500570021","https://openalex.org/W1819209966","https://openalex.org/W1974635992","https://openalex.org/W1976197109","https://openalex.org/W1981504678","https://openalex.org/W1986697603","https://openalex.org/W1993822809","https://openalex.org/W1994573764","https://openalex.org/W2006955715","https://openalex.org/W2012262513","https://openalex.org/W2024436253","https://openalex.org/W2030959856","https://openalex.org/W2062677539","https://openalex.org/W2063922433","https://openalex.org/W2074741789","https://openalex.org/W2090692734","https://openalex.org/W2097994445","https://openalex.org/W2098771792","https://openalex.org/W2108870314","https://openalex.org/W2113235308","https://openalex.org/W2122146819","https://openalex.org/W2123205813","https://openalex.org/W2134643952","https://openalex.org/W2143849045","https://openalex.org/W2144984544","https://openalex.org/W2145021036","https://openalex.org/W2147556214","https://openalex.org/W2154550022","https://openalex.org/W2158302200","https://openalex.org/W2168238416","https://openalex.org/W3142765463","https://openalex.org/W3150400496","https://openalex.org/W4230252678","https://openalex.org/W4238549726","https://openalex.org/W4243872270","https://openalex.org/W6610608857","https://openalex.org/W6630229278","https://openalex.org/W6674915895","https://openalex.org/W6678313375","https://openalex.org/W6678329786","https://openalex.org/W6681525158"],"related_works":["https://openalex.org/W2061417947","https://openalex.org/W2068239131","https://openalex.org/W2740264376","https://openalex.org/W2978026406","https://openalex.org/W2388687068","https://openalex.org/W1999657508","https://openalex.org/W2399091034","https://openalex.org/W4256495946","https://openalex.org/W2351581202","https://openalex.org/W2366922255"],"abstract_inverted_index":{"During":[0],"post-silicon":[1,23,59],"validation":[2,24,60],"and":[3,17,25,32,61,88,98,113,129,164,202],"debug,":[4],"manufactured":[5],"integrated":[6],"circuits":[7],"(ICs)":[8],"are":[9,28,207],"tested":[10],"in":[11,69,137,156,172],"actual":[12],"system":[13],"environments":[14],"to":[15,58,95,174,209],"detect":[16,81],"fix":[18],"design":[19],"flaws":[20],"(bugs).":[21],"Existing":[22],"debug":[26],"techniques":[27,94,155,186],"mostly":[29],"ad":[30,38],"hoc":[31,39],"often":[33,188],"involve":[34],"manual":[35,154,175],"steps.":[36],"Such":[37],"approaches":[40,176],"cannot":[41],"scale":[42],"with":[43,83],"increasing":[44],"IC":[45],"complexity.":[46],"We":[47,109],"present":[48],"Symbolic":[49,63,116,147],"Quick":[50,74],"Error":[51,75],"Detection":[52,76],"(Symbolic":[53],"QED),":[54],"a":[55,70,122,169],"structured":[56],"approach":[57],"debug.":[62],"QED":[64,117],"combines":[65],"the":[66,106,111,119],"following":[67],"steps":[68],"coordinated":[71],"fashion:":[72],"1.":[73],"(QED)":[77],"tests":[78],"that":[79,135,146,159,177,187,206],"quickly":[80],"bugs":[82,97],"short":[84],"error":[85],"detection":[86,104],"latencies":[87],"high":[89],"coverage.":[90],"2.":[91],"Formal":[92],"analysis":[93],"localize":[96],"generate":[99],"minimal-length":[100],"bug":[101,133],"traces":[102],"upon":[103],"of":[105,115,212],"corresponding":[107],"bugs.":[108],"demonstrate":[110],"practicality":[112],"effectiveness":[114],"using":[118,130],"OpenSPARC":[120],"T2,":[121],"500-million-transistor":[123],"open-source":[124],"multicore":[125,141],"System-on-Chip":[126],"(SoC)":[127],"design,":[128],"\"difficult\"":[131],"logic":[132,204],"scenarios":[134],"occurred":[136],"various":[138],"state-of-the-art":[139],"commercial":[140],"SoCs.":[142],"Our":[143],"results":[144],"show":[145],"QED:":[148],"(i)":[149],"is":[150],"fully":[151],"automatic":[152],"(unlike":[153],"use":[157],"today":[158],"can":[160],"be":[161],"extremely":[162],"time-consuming":[163],"expensive);":[165],"(ii)":[166],"requires":[167],"only":[168],"few":[170],"hours":[171],"contrast":[173],"might":[178],"take":[179,189],"days":[180,190],"(or":[181],"even":[182],"months)":[183],"or":[184,191],"formal":[185],"fail":[192],"completely":[193],"for":[194],"large":[195],"designs;":[196],"(iii)":[197],"generates":[198],"counter-examples":[199],"(for":[200],"activating":[201],"detecting":[203],"bugs)":[205],"up":[208],"6":[210],"orders":[211],"magnitude":[213],"shorter":[214],"than":[215],"those":[216],"produced":[217],"by":[218],"traditional":[219],"techniques;":[220],"and,":[221],"(iv)":[222],"does":[223],"not":[224],"require":[225],"any":[226],"additional":[227],"hardware.":[228]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":2}],"updated_date":"2026-03-18T06:27:02.140700","created_date":"2025-10-10T00:00:00"}