{"id":"https://openalex.org/W4242846970","doi":"https://doi.org/10.1109/iccad.2015.7372542","title":"Can't see the forest for the trees: State restoration's limitations in post-silicon trace signal selection","display_name":"Can't see the forest for the trees: State restoration's limitations in post-silicon trace signal selection","publication_year":2015,"publication_date":"2015-11-01","ids":{"openalex":"https://openalex.org/W4242846970","doi":"https://doi.org/10.1109/iccad.2015.7372542"},"language":"en","primary_location":{"id":"doi:10.1109/iccad.2015.7372542","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad.2015.7372542","pdf_url":null,"source":{"id":"https://openalex.org/S4363608324","display_name":"2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 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/A5100661594","display_name":"Sai Ma","orcid":"https://orcid.org/0000-0002-9785-7929"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Sai Ma","raw_affiliation_strings":["Coordinated Science Laboratory, University of lllinois at Urbana-Champaign"],"affiliations":[{"raw_affiliation_string":"Coordinated Science Laboratory, University of lllinois at Urbana-Champaign","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072879381","display_name":"Debjit Pal","orcid":"https://orcid.org/0000-0003-3722-5126"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Debjit Pal","raw_affiliation_strings":["Coordinated Science Laboratory, University of lllinois at Urbana-Champaign"],"affiliations":[{"raw_affiliation_string":"Coordinated Science Laboratory, University of lllinois at Urbana-Champaign","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100623019","display_name":"Rui Jiang","orcid":"https://orcid.org/0009-0005-9856-4609"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rui Jiang","raw_affiliation_strings":["Coordinated Science Laboratory, University of lllinois at Urbana-Champaign"],"affiliations":[{"raw_affiliation_string":"Coordinated Science Laboratory, University of lllinois at Urbana-Champaign","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068991400","display_name":"Sandip Ray","orcid":"https://orcid.org/0000-0002-8671-5052"},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sandip Ray","raw_affiliation_strings":["Stategic CAD Labs, Intel Corporation"],"affiliations":[{"raw_affiliation_string":"Stategic CAD Labs, Intel Corporation","institution_ids":["https://openalex.org/I1343180700"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034719762","display_name":"Shobha Vasudevan","orcid":"https://orcid.org/0000-0002-6995-3219"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shobha Vasudevan","raw_affiliation_strings":["Coordinated Science Laboratory, University of lllinois at Urbana-Champaign"],"affiliations":[{"raw_affiliation_string":"Coordinated Science Laboratory, University of lllinois at Urbana-Champaign","institution_ids":["https://openalex.org/I157725225"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5100661594"],"corresponding_institution_ids":["https://openalex.org/I157725225"],"apc_list":null,"apc_paid":null,"fwci":2.6005,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.88666667,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.9997000098228455,"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.9997000098228455,"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.9997000098228455,"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.9991999864578247,"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/trace","display_name":"TRACE (psycholinguistics)","score":0.7918771505355835},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7652661800384521},{"id":"https://openalex.org/keywords/metric","display_name":"Metric (unit)","score":0.6608308553695679},{"id":"https://openalex.org/keywords/assertion","display_name":"Assertion","score":0.5859614014625549},{"id":"https://openalex.org/keywords/pagerank","display_name":"PageRank","score":0.5487247109413147},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4771296977996826},{"id":"https://openalex.org/keywords/selection","display_name":"Selection (genetic algorithm)","score":0.4712814688682556},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.45766857266426086},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.448264479637146},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.4261947274208069},{"id":"https://openalex.org/keywords/tracing","display_name":"Tracing","score":0.41632869839668274},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.38406670093536377},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.33074408769607544},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.3233805298805237},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.19093123078346252},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.11614513397216797},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08275556564331055}],"concepts":[{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.7918771505355835},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7652661800384521},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.6608308553695679},{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.5859614014625549},{"id":"https://openalex.org/C2779172887","wikidata":"https://www.wikidata.org/wiki/Q184316","display_name":"PageRank","level":2,"score":0.5487247109413147},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4771296977996826},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.4712814688682556},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.45766857266426086},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.448264479637146},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.4261947274208069},{"id":"https://openalex.org/C138673069","wikidata":"https://www.wikidata.org/wiki/Q322229","display_name":"Tracing","level":2,"score":0.41632869839668274},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.38406670093536377},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.33074408769607544},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3233805298805237},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.19093123078346252},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11614513397216797},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08275556564331055},{"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/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iccad.2015.7372542","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad.2015.7372542","pdf_url":null,"source":{"id":"https://openalex.org/S4363608324","display_name":"2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6100000143051147,"display_name":"Life in Land","id":"https://metadata.un.org/sdg/15"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W1854214752","https://openalex.org/W1981868262","https://openalex.org/W2020217519","https://openalex.org/W2020584063","https://openalex.org/W2023808162","https://openalex.org/W2033006654","https://openalex.org/W2041612806","https://openalex.org/W2054630434","https://openalex.org/W2076400652","https://openalex.org/W2088256110","https://openalex.org/W2097306889","https://openalex.org/W2108567808","https://openalex.org/W2135042086","https://openalex.org/W2141207024","https://openalex.org/W2141261568","https://openalex.org/W2153174871","https://openalex.org/W3143275871","https://openalex.org/W4243200998","https://openalex.org/W4251019760","https://openalex.org/W6639055396","https://openalex.org/W6678091135"],"related_works":["https://openalex.org/W1498103021","https://openalex.org/W4230849338","https://openalex.org/W4295166216","https://openalex.org/W2177044681","https://openalex.org/W1968067090","https://openalex.org/W138412134","https://openalex.org/W3147005146","https://openalex.org/W2108078705","https://openalex.org/W2062141481","https://openalex.org/W1836768014"],"abstract_inverted_index":{"State":[0],"Restoration":[1],"Ratio":[2],"(SRR)":[3],"has":[4,153,167],"been":[5],"the":[6,30,74,78,81,164,174],"de":[7],"facto":[8],"standard":[9],"for":[10,16,65,138],"evaluating":[11,66],"quality":[12],"of":[13,25,32,51,77,180],"signals":[14,42,87],"selected":[15,26],"post-silicon":[17,139],"tracing":[18],"and":[19,83,163],"debug.":[20],"Given":[21],"a":[22,63,110,123,132],"set":[23],"S":[24,44],"signals,":[27],"SRR":[28,58,105,160,187],"measures":[29],"fraction":[31],"(gate-level)":[33],"design":[34,79],"states":[35],"that":[36,57,104,112,151],"can":[37],"be":[38,107],"inferred":[39],"from":[40],"observing":[41],"in":[43,49,126],"at":[45],"each":[46],"cycle.":[47],"Unfortunately,":[48],"spite":[50],"its":[52],"widespread":[53],"use,":[54],"we":[55,98],"found":[56,150],"is":[59,143,183],"intrinsically":[60],"unsuitable":[61],"as":[62,70,122],"metric":[64,111],"trace":[67,86,140],"signal":[68],"quality,":[69],"it":[71],"captures":[72],"neither":[73],"higher-level":[75],"functionality":[76],"nor":[80],"constraints":[82],"requirements":[84],"on":[85,136],"imposed":[88],"by":[89,109],"architectural,":[90],"physical,":[91],"or":[92],"security":[93],"requirements.":[94],"In":[95],"this":[96,127],"paper,":[97],"argue":[99],"with":[100],"strong":[101],"empirical":[102],"evidence":[103],"must":[106],"replaced":[108],"closely":[113],"models":[114],"high-level":[115],"behavioral":[116,157,171],"coverage.":[117,195],"We":[118,129,149],"propose":[119],"assertion":[120,194],"coverage":[121,158,172,179],"first":[124],"step":[125],"direction.":[128],"also":[130],"present":[131],"new":[133],"algorithm,":[134],"based":[135,188],"Pagerank,":[137],"selection.":[141],"Pagerank":[142,152],"not":[144],"designed":[145],"to":[146],"maximize":[147],"SRR.":[148],"upto":[154,168,184],"70%":[155],"higher":[156,170],"than":[159,173,192],"optimizing":[161],"methods,":[162],"RTL":[165,182],"PageRank":[166,176,181],"30%":[169],"netlist":[175],"algorithm.":[177],"Assertion":[178],"50%":[185],"while":[186],"methods":[189],"have":[190],"less":[191],"5%":[193]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":9},{"year":2016,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}