{"id":"https://openalex.org/W3143275871","doi":"https://doi.org/10.1109/iccad.2011.6105391","title":"Simulation-based signal selection for state restoration in silicon debug","display_name":"Simulation-based signal selection for state restoration in silicon debug","publication_year":2011,"publication_date":"2011-11-01","ids":{"openalex":"https://openalex.org/W3143275871","doi":"https://doi.org/10.1109/iccad.2011.6105391","mag":"3143275871"},"language":"en","primary_location":{"id":"doi:10.1109/iccad.2011.6105391","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad.2011.6105391","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)","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/A5110888633","display_name":"Debapriya Chatterjee","orcid":null},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan\u2013Ann Arbor","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Debapriya Chatterjee","raw_affiliation_strings":["Department of Computer Science and Engineering, University of Michigan, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, University of Michigan, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063847354","display_name":"Calvin McCarter","orcid":"https://orcid.org/0000-0002-7257-1350"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan\u2013Ann Arbor","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Calvin McCarter","raw_affiliation_strings":["Department of Computer Science and Engineering, University of Michigan, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, University of Michigan, USA","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"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan\u2013Ann Arbor","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":["Department of Computer Science and Engineering, University of Michigan, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, University of Michigan, USA","institution_ids":["https://openalex.org/I27837315"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5110888633"],"corresponding_institution_ids":["https://openalex.org/I27837315"],"apc_list":null,"apc_paid":null,"fwci":3.0224,"has_fulltext":false,"cited_by_count":49,"citation_normalized_percentile":{"value":0.92440584,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"595","last_page":"601"},"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/T14117","display_name":"Integrated Circuits and Semiconductor Failure Analysis","score":1.0,"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/T10472","display_name":"Semiconductor materials and devices","score":0.9975000023841858,"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.8078431487083435},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7774263024330139},{"id":"https://openalex.org/keywords/observability","display_name":"Observability","score":0.748550295829773},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.6728092432022095},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.64830482006073},{"id":"https://openalex.org/keywords/metric","display_name":"Metric (unit)","score":0.6269040703773499},{"id":"https://openalex.org/keywords/performance-metric","display_name":"Performance metric","score":0.5193632245063782},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.48731693625450134},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.4343598484992981},{"id":"https://openalex.org/keywords/signal","display_name":"SIGNAL (programming language)","score":0.4207102358341217},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.4160054326057434},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.4010127782821655},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3427588939666748},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3226308226585388},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.2491784691810608},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12158489227294922},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11903029680252075},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.10033661127090454}],"concepts":[{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.8078431487083435},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7774263024330139},{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.748550295829773},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.6728092432022095},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.64830482006073},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.6269040703773499},{"id":"https://openalex.org/C2780898871","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Performance metric","level":2,"score":0.5193632245063782},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.48731693625450134},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.4343598484992981},{"id":"https://openalex.org/C2779843651","wikidata":"https://www.wikidata.org/wiki/Q7390335","display_name":"SIGNAL (programming language)","level":2,"score":0.4207102358341217},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.4160054326057434},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.4010127782821655},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3427588939666748},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3226308226585388},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2491784691810608},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12158489227294922},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11903029680252075},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.10033661127090454},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"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/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iccad.2011.6105391","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad.2011.6105391","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11","score":0.6399999856948853}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W2082209142","https://openalex.org/W2088256110","https://openalex.org/W2098070460","https://openalex.org/W2122146819","https://openalex.org/W2132721535","https://openalex.org/W2141207024","https://openalex.org/W2141261568","https://openalex.org/W2159004509","https://openalex.org/W2169514898","https://openalex.org/W3143010053","https://openalex.org/W4237135760"],"related_works":["https://openalex.org/W2740264376","https://openalex.org/W4206999239","https://openalex.org/W2900719967","https://openalex.org/W2161928627","https://openalex.org/W4388482952","https://openalex.org/W2786113878","https://openalex.org/W2787155073","https://openalex.org/W2727867943","https://openalex.org/W4322631505","https://openalex.org/W3015562293"],"abstract_inverted_index":{"Post-silicon":[0],"validation":[1,28],"has":[2],"become":[3],"a":[4,37,74,81,86,97,156,163,171,183,213],"crucial":[5],"part":[6],"of":[7,33,36,69,73,77,101,109,115,134,136,191],"modern":[8],"integrated":[9],"circuit":[10],"design":[11,65],"to":[12,45,51,90,112,127,201,207],"capture":[13],"and":[14,121,181],"eliminate":[15],"functional":[16],"bugs":[17],"that":[18,186,196],"escape":[19],"pre-silicon":[20],"verification.":[21],"The":[22],"most":[23],"critical":[24],"roadblock":[25],"in":[26,118,150],"post-silicon":[27,119,145],"is":[29,114],"the":[30,43,64,67,71,91,107,131,151],"limited":[31],"observability":[32],"internal":[34,137],"signals":[35,102,111,129],"design,":[38],"since":[39],"this":[40,53,167],"aspect":[41],"hinders":[42],"ability":[44],"diagnose":[46],"detected":[47],"bugs.":[48],"A":[49],"solution":[50],"address":[52],"issue":[54],"leverage":[55],"trace":[56,92,113,219],"buffers:":[57],"these":[58],"are":[59],"register":[60],"buffers":[61],"embedded":[62],"into":[63],"with":[66,162,217],"goal":[68],"recording":[70],"value":[72],"small":[75,99],"number":[76],"state":[78,204],"elements,":[79],"over":[80],"time":[82],"interval,":[83],"triggered":[84],"by":[85],"user-specified":[87],"event.":[88],"Due":[89],"buffer's":[93],"area":[94],"overhead,":[95],"only":[96],"very":[98],"fraction":[100],"can":[103],"be":[104],"traced.":[105],"Thus,":[106],"selection":[108,142],"which":[110],"paramount":[116],"importance":[117],"debugging":[120],"diagnosis.":[122],"Ideally,":[123],"we":[124,169],"would":[125],"like":[126],"select":[128],"enabling":[130],"maximum":[132],"amount":[133],"reconstruction":[135],"signal":[138,141],"values.":[139],"Several":[140],"algorithms":[143],"for":[144],"debug":[146],"have":[147],"been":[148],"proposed":[149],"literature:":[152],"they":[153],"rely":[154],"on":[155,178],"probability-based":[157],"state-restoration":[158],"capacity":[159,175],"metric":[160],"coupled":[161],"greedy":[164],"algorithm.":[165],"In":[166],"work":[168],"propose":[170],"more":[172],"accurate":[173],"restoration":[174,205],"metric,":[176],"based":[177],"simulation":[179],"information,":[180],"present":[182],"novel":[184],"algorithm":[185],"overcomes":[187],"some":[188],"key":[189],"shortcomings":[190],"previous":[192,209],"solutions.":[193],"We":[194],"show":[195],"our":[197],"technique":[198],"provides":[199],"up":[200],"34%":[202],"better":[203,215],"compared":[206],"all":[208],"techniques":[210],"while":[211],"showing":[212],"much":[214],"trend":[216],"increasing":[218],"buffer":[220],"size.":[221]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":11},{"year":2017,"cited_by_count":8},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":6},{"year":2013,"cited_by_count":5},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}