{"id":"https://openalex.org/W3000648138","doi":"https://doi.org/10.1109/ats47505.2019.00019","title":"Validating Multi-Processor Cache Coherence Mechanisms under Diminished Observability","display_name":"Validating Multi-Processor Cache Coherence Mechanisms under Diminished Observability","publication_year":2019,"publication_date":"2019-12-01","ids":{"openalex":"https://openalex.org/W3000648138","doi":"https://doi.org/10.1109/ats47505.2019.00019","mag":"3000648138"},"language":"en","primary_location":{"id":"doi:10.1109/ats47505.2019.00019","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ats47505.2019.00019","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE 28th Asian Test Symposium (ATS)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5100712187","display_name":"B\u0131nod Kumar","orcid":"https://orcid.org/0000-0002-6172-7938"},"institutions":[{"id":"https://openalex.org/I162827531","display_name":"Indian Institute of Technology Bombay","ror":"https://ror.org/02qyf5152","country_code":"IN","type":"education","lineage":["https://openalex.org/I162827531"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Binod Kumar","raw_affiliation_strings":["Indian Institute of Technology Bombay, India","Qualcomm India Private Limited, Bengaluru"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Indian Institute of Technology Bombay, India","institution_ids":["https://openalex.org/I162827531"]},{"raw_affiliation_string":"Qualcomm India Private Limited, Bengaluru","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080854852","display_name":"Atul Kumar Bhosale","orcid":null},"institutions":[{"id":"https://openalex.org/I162827531","display_name":"Indian Institute of Technology Bombay","ror":"https://ror.org/02qyf5152","country_code":"IN","type":"education","lineage":["https://openalex.org/I162827531"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Atul Kumar Bhosale","raw_affiliation_strings":["Indian Institute of Technology Bombay, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Indian Institute of Technology Bombay, India","institution_ids":["https://openalex.org/I162827531"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027837299","display_name":"Masahiro Fujita","orcid":"https://orcid.org/0000-0002-6516-4175"},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Masahiro Fujita","raw_affiliation_strings":["University of Tokyo, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073587430","display_name":"Virendra Singh","orcid":"https://orcid.org/0000-0002-7035-7844"},"institutions":[{"id":"https://openalex.org/I162827531","display_name":"Indian Institute of Technology Bombay","ror":"https://ror.org/02qyf5152","country_code":"IN","type":"education","lineage":["https://openalex.org/I162827531"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Virendra Singh","raw_affiliation_strings":["Indian Institute of Technology Bombay, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Indian Institute of Technology Bombay, India","institution_ids":["https://openalex.org/I162827531"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.1947,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.77554199,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"99","last_page":"995"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","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"}},"topics":[{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","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/T10472","display_name":"Semiconductor materials and devices","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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9994000196456909,"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/mesi-protocol","display_name":"MESI protocol","score":0.8594688177108765},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8419303894042969},{"id":"https://openalex.org/keywords/cache-coherence","display_name":"Cache coherence","score":0.8065690994262695},{"id":"https://openalex.org/keywords/coherence","display_name":"Coherence (philosophical gambling strategy)","score":0.520275890827179},{"id":"https://openalex.org/keywords/cache","display_name":"Cache","score":0.5194377899169922},{"id":"https://openalex.org/keywords/mesif-protocol","display_name":"MESIF protocol","score":0.5082587599754333},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5001065731048584},{"id":"https://openalex.org/keywords/latency","display_name":"Latency (audio)","score":0.45635440945625305},{"id":"https://openalex.org/keywords/error-detection-and-correction","display_name":"Error detection and correction","score":0.45170652866363525},{"id":"https://openalex.org/keywords/multi-core-processor","display_name":"Multi-core processor","score":0.4155998229980469},{"id":"https://openalex.org/keywords/multiprocessing","display_name":"Multiprocessing","score":0.4110046625137329},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.39345604181289673},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.35629355907440186},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.32279881834983826},{"id":"https://openalex.org/keywords/cpu-cache","display_name":"CPU cache","score":0.2928829789161682},{"id":"https://openalex.org/keywords/cache-algorithms","display_name":"Cache algorithms","score":0.2565610408782959},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.11863484978675842}],"concepts":[{"id":"https://openalex.org/C120936851","wikidata":"https://www.wikidata.org/wiki/Q1408065","display_name":"MESI protocol","level":5,"score":0.8594688177108765},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8419303894042969},{"id":"https://openalex.org/C141917322","wikidata":"https://www.wikidata.org/wiki/Q1025017","display_name":"Cache coherence","level":5,"score":0.8065690994262695},{"id":"https://openalex.org/C2781181686","wikidata":"https://www.wikidata.org/wiki/Q4226068","display_name":"Coherence (philosophical gambling strategy)","level":2,"score":0.520275890827179},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.5194377899169922},{"id":"https://openalex.org/C199979278","wikidata":"https://www.wikidata.org/wiki/Q263221","display_name":"MESIF protocol","level":5,"score":0.5082587599754333},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5001065731048584},{"id":"https://openalex.org/C82876162","wikidata":"https://www.wikidata.org/wiki/Q17096504","display_name":"Latency (audio)","level":2,"score":0.45635440945625305},{"id":"https://openalex.org/C103088060","wikidata":"https://www.wikidata.org/wiki/Q1062839","display_name":"Error detection and correction","level":2,"score":0.45170652866363525},{"id":"https://openalex.org/C78766204","wikidata":"https://www.wikidata.org/wiki/Q555032","display_name":"Multi-core processor","level":2,"score":0.4155998229980469},{"id":"https://openalex.org/C4822641","wikidata":"https://www.wikidata.org/wiki/Q846651","display_name":"Multiprocessing","level":2,"score":0.4110046625137329},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.39345604181289673},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.35629355907440186},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.32279881834983826},{"id":"https://openalex.org/C189783530","wikidata":"https://www.wikidata.org/wiki/Q352090","display_name":"CPU cache","level":3,"score":0.2928829789161682},{"id":"https://openalex.org/C38556500","wikidata":"https://www.wikidata.org/wiki/Q13404475","display_name":"Cache algorithms","level":4,"score":0.2565610408782959},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.11863484978675842},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/ats47505.2019.00019","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ats47505.2019.00019","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE 28th Asian Test Symposium (ATS)","raw_type":"proceedings-article"},{"id":"pmh:oai:dsapce.library.iitb.ac.in:100/27670","is_oa":false,"landing_page_url":"http://dspace.library.iitb.ac.in/xmlui/handle/100/27670","pdf_url":null,"source":{"id":"https://openalex.org/S4306400899","display_name":"DSpace (IIT Bombay)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I162827531","host_organization_name":"Indian Institute of Technology Bombay","host_organization_lineage":["https://openalex.org/I162827531"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference Paper"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W1523595001","https://openalex.org/W1966023676","https://openalex.org/W2072422327","https://openalex.org/W2098004978","https://openalex.org/W2148985500","https://openalex.org/W2151925011","https://openalex.org/W2168188227","https://openalex.org/W2170212320","https://openalex.org/W2173730676","https://openalex.org/W3148376842","https://openalex.org/W4249203857","https://openalex.org/W4312364354"],"related_works":["https://openalex.org/W2290195868","https://openalex.org/W4285204597","https://openalex.org/W2584505417","https://openalex.org/W2140673013","https://openalex.org/W3193874149","https://openalex.org/W1555453305","https://openalex.org/W2987765027","https://openalex.org/W2352722396","https://openalex.org/W2155112318","https://openalex.org/W1499406481"],"abstract_inverted_index":{"Modern":[0],"chip":[1],"multi-processors":[2],"(CMP)":[3],"inevitably":[4],"require":[5],"cache":[6,20,88],"coherence":[7,21,89,98],"mechanisms":[8],"for":[9,80],"their":[10],"correct":[11,117],"operation.":[12],"However,":[13],"exhaustive":[14],"functional":[15],"verification":[16],"of":[17,61,68,97,164],"a":[18,24,108,137,142,180],"complex":[19],"mechanism":[22,123],"is":[23,52,110,176],"challenging":[25],"task.":[26],"This":[27],"leads":[28],"to":[29,32,92,179],"bugs":[30],"escaping":[31],"the":[33,40,94,101,125,147,155,185],"first":[34],"silicon":[35,42],"and":[36,64,100,116,132,171],"necessitates":[37],"validation":[38],"at":[39,129],"post-":[41],"stage.":[43],"In":[44],"this":[45],"work,":[46],"an":[47,105],"on-chip":[48],"signal":[49,95,114,118],"logging":[50,122],"method":[51],"proposed":[53,85,121,156,182],"which":[54],"helps":[55],"in":[56,59,159,184],"bug":[57,82],"detection":[58,127,174],"case":[60],"design":[62,161],"errors":[63,166],"soft-errors":[65],"arising":[66],"out":[67],"reliability":[69],"issues.":[70],"The":[71,84,120],"logged":[72],"contents":[73],"can":[74],"then":[75],"be":[76],"further":[77],"dumped":[78],"off-line":[79],"fine-grained":[81],"localization.":[83],"methodology":[86,157],"utilizes":[87],"protocol":[90,152],"specifications":[91],"obtain":[93],"states":[96,115],"transactions":[99],"detector":[102],"module":[103],"flags":[104],"error":[106,126,173],"once":[107],"mismatch":[109],"found":[111],"between":[112],"observed":[113],"states.":[119],"decreases":[124],"latency":[128,175],"minimal":[130],"area":[131],"power":[133],"overheads.":[134],"Experiments":[135],"on":[136],"four":[138],"core":[139],"multiprocessor":[140],"having":[141],"7-stage":[143],"MIPS":[144],"pipeline":[145],"implementing":[146],"widely":[148],"utilized":[149],"directory-based":[150],"MESI":[151],"indicate":[153],"that":[154],"succeeds":[158],"detecting":[160],"errors.":[162],"Analysis":[163],"soft":[165],"have":[167],"also":[168],"been":[169],"performed":[170],"shorter":[172],"achieved":[177],"compared":[178],"previously":[181],"technique":[183],"literature.":[186]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":3}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}