{"id":"https://openalex.org/W2550417642","doi":"https://doi.org/10.1109/iccd.2016.7753339","title":"Unveiling difficult bugs in address translation caching arrays for effective post-silicon validation","display_name":"Unveiling difficult bugs in address translation caching arrays for effective post-silicon validation","publication_year":2016,"publication_date":"2016-10-01","ids":{"openalex":"https://openalex.org/W2550417642","doi":"https://doi.org/10.1109/iccd.2016.7753339","mag":"2550417642"},"language":"en","primary_location":{"id":"doi:10.1109/iccd.2016.7753339","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccd.2016.7753339","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE 34th International Conference on Computer Design (ICCD)","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/A5036767968","display_name":"George N. Papadimitriou","orcid":"https://orcid.org/0000-0002-3772-5019"},"institutions":[{"id":"https://openalex.org/I200777214","display_name":"National and Kapodistrian University of Athens","ror":"https://ror.org/04gnjpq42","country_code":"GR","type":"education","lineage":["https://openalex.org/I200777214"]}],"countries":["GR"],"is_corresponding":true,"raw_author_name":"George Papadimitriou","raw_affiliation_strings":["University of Athens, Computer Architecture Lab, Greece"],"affiliations":[{"raw_affiliation_string":"University of Athens, Computer Architecture Lab, Greece","institution_ids":["https://openalex.org/I200777214"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007119083","display_name":"Dimitris Gizopoulos","orcid":"https://orcid.org/0000-0002-1613-9061"},"institutions":[{"id":"https://openalex.org/I200777214","display_name":"National and Kapodistrian University of Athens","ror":"https://ror.org/04gnjpq42","country_code":"GR","type":"education","lineage":["https://openalex.org/I200777214"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Dimitris Gizopoulos","raw_affiliation_strings":["University of Athens, Computer Architecture Lab, Greece"],"affiliations":[{"raw_affiliation_string":"University of Athens, Computer Architecture Lab, Greece","institution_ids":["https://openalex.org/I200777214"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072708525","display_name":"Athanasios Chatzidimitriou","orcid":"https://orcid.org/0000-0001-8161-7165"},"institutions":[{"id":"https://openalex.org/I200777214","display_name":"National and Kapodistrian University of Athens","ror":"https://ror.org/04gnjpq42","country_code":"GR","type":"education","lineage":["https://openalex.org/I200777214"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Athanasios Chatzidimitriou","raw_affiliation_strings":["University of Athens, Computer Architecture Lab, Greece"],"affiliations":[{"raw_affiliation_string":"University of Athens, Computer Architecture Lab, Greece","institution_ids":["https://openalex.org/I200777214"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004166192","display_name":"Tom Kolan","orcid":null},"institutions":[{"id":"https://openalex.org/I4210167297","display_name":"IBM Research - Haifa","ror":"https://ror.org/05rw9t746","country_code":"IL","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Tom Kolan","raw_affiliation_strings":["IBM Research, Haifa, Israel"],"affiliations":[{"raw_affiliation_string":"IBM Research, Haifa, Israel","institution_ids":["https://openalex.org/I4210167297"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077780621","display_name":"Anatoly Koyfman","orcid":null},"institutions":[{"id":"https://openalex.org/I4210167297","display_name":"IBM Research - Haifa","ror":"https://ror.org/05rw9t746","country_code":"IL","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Anatoly Koyfman","raw_affiliation_strings":["IBM Research, Haifa, Israel"],"affiliations":[{"raw_affiliation_string":"IBM Research, Haifa, Israel","institution_ids":["https://openalex.org/I4210167297"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078990888","display_name":"Ronny Morad","orcid":null},"institutions":[{"id":"https://openalex.org/I4210167297","display_name":"IBM Research - Haifa","ror":"https://ror.org/05rw9t746","country_code":"IL","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Ronny Morad","raw_affiliation_strings":["IBM Research, Haifa, Israel"],"affiliations":[{"raw_affiliation_string":"IBM Research, Haifa, Israel","institution_ids":["https://openalex.org/I4210167297"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058832650","display_name":"Vitali Sokhin","orcid":null},"institutions":[{"id":"https://openalex.org/I4210167297","display_name":"IBM Research - Haifa","ror":"https://ror.org/05rw9t746","country_code":"IL","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Vitali Sokhin","raw_affiliation_strings":["IBM Research, Haifa, Israel"],"affiliations":[{"raw_affiliation_string":"IBM Research, Haifa, Israel","institution_ids":["https://openalex.org/I4210167297"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5036767968"],"corresponding_institution_ids":["https://openalex.org/I200777214"],"apc_list":null,"apc_paid":null,"fwci":0.1838,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.59246069,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"41788","issue":null,"first_page":"544","last_page":"551"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","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"}},"topics":[{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","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/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/T10363","display_name":"Low-power high-performance VLSI design","score":0.9995999932289124,"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.8441406488418579},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8075309991836548},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.7512917518615723},{"id":"https://openalex.org/keywords/microarchitecture","display_name":"Microarchitecture","score":0.7296285033226013},{"id":"https://openalex.org/keywords/microprocessor","display_name":"Microprocessor","score":0.6705939769744873},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5799611210823059},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5557914972305298},{"id":"https://openalex.org/keywords/chip","display_name":"Chip","score":0.5201504826545715},{"id":"https://openalex.org/keywords/instruction-set","display_name":"Instruction set","score":0.44539737701416016},{"id":"https://openalex.org/keywords/translation","display_name":"Translation (biology)","score":0.42421072721481323},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.39339685440063477},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.2931079864501953},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.2813377380371094},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.2576526999473572},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.21884900331497192}],"concepts":[{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.8441406488418579},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8075309991836548},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.7512917518615723},{"id":"https://openalex.org/C107598950","wikidata":"https://www.wikidata.org/wiki/Q259864","display_name":"Microarchitecture","level":2,"score":0.7296285033226013},{"id":"https://openalex.org/C2780728072","wikidata":"https://www.wikidata.org/wiki/Q5297","display_name":"Microprocessor","level":2,"score":0.6705939769744873},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5799611210823059},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5557914972305298},{"id":"https://openalex.org/C165005293","wikidata":"https://www.wikidata.org/wiki/Q1074500","display_name":"Chip","level":2,"score":0.5201504826545715},{"id":"https://openalex.org/C202491316","wikidata":"https://www.wikidata.org/wiki/Q272683","display_name":"Instruction set","level":2,"score":0.44539737701416016},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.42421072721481323},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.39339685440063477},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2931079864501953},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2813377380371094},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.2576526999473572},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21884900331497192},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C105580179","wikidata":"https://www.wikidata.org/wiki/Q188928","display_name":"Messenger RNA","level":3,"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":1,"locations":[{"id":"doi:10.1109/iccd.2016.7753339","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccd.2016.7753339","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE 34th International Conference on Computer Design (ICCD)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W1935809293","https://openalex.org/W1976197109","https://openalex.org/W1978154263","https://openalex.org/W1980644431","https://openalex.org/W2049403384","https://openalex.org/W2078635214","https://openalex.org/W2086311869","https://openalex.org/W2093828978","https://openalex.org/W2113607428","https://openalex.org/W2143849045","https://openalex.org/W2147657366","https://openalex.org/W2156591015","https://openalex.org/W2158302200","https://openalex.org/W2158668620","https://openalex.org/W2216122564","https://openalex.org/W2258121958","https://openalex.org/W2537928523","https://openalex.org/W4232751114","https://openalex.org/W4254298894","https://openalex.org/W6683257795"],"related_works":["https://openalex.org/W2740264376","https://openalex.org/W4206999239","https://openalex.org/W2900719967","https://openalex.org/W4388482952","https://openalex.org/W2161928627","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,153],"is":[2,16,35,59],"one":[3],"of":[4,9,49],"the":[5,10,17,33,38,46,50,56,63,83,137],"most":[6,84],"important":[7],"parts":[8],"microprocessor":[11,57],"prototype":[12,52],"chip":[13,34,58],"lifecycle.":[14],"It":[15],"last":[18],"chance":[19],"for":[20,119],"debug":[21],"engineers":[22],"to":[23,37,44,79,147],"detect":[24,128,141],"defects":[25],"and":[26,53,66,81,94,97,127],"bugs":[27,86,101,143],"that":[28,136,144],"escaped":[29],"pre-silicon":[30],"verification,":[31],"before":[32],"released":[36],"market.":[39],"Effective":[40],"solutions":[41],"are":[42,145],"required":[43],"harness":[45],"peak":[47],"performance":[48],"hardware":[51],"evaluate":[54],"whether":[55],"fully":[60],"compliant":[61],"with":[62],"instruction":[64],"set":[65],"other":[67],"specifications.":[68],"We":[69,105,113],"perform":[70],"a":[71,76,116],"comprehensive":[72],"experimental":[73,133],"study":[74],"on":[75],"state-of-the-art":[77],"microarchitecture":[78],"assess":[80],"identify":[82],"difficult":[85,142],"in":[87],"address":[88],"translation":[89],"caching":[90],"arrays":[91],"(multi-level":[92],"TLBs":[93],"MMU":[95],"Caches),":[96],"explain":[98],"why":[99],"these":[100],"persist":[102],"across":[103],"generations.":[104],"also":[106],"categorize":[107],"them":[108],"into":[109],"distinct":[110],"bug":[111,130],"scenarios.":[112,131],"then":[114],"propose":[115],"novel":[117],"methodology":[118],"generating":[120],"random":[121],"self-checking":[122],"stimuli":[123],"programs,":[124],"which":[125],"expose":[126],"such":[129],"Our":[132],"results":[134],"show":[135],"proposed":[138],"method":[139],"can":[140],"likely":[146],"be":[148],"missed":[149],"by":[150],"traditional":[151],"post-silicon":[152],"techniques.":[154]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}