{"id":"https://openalex.org/W2052055895","doi":"https://doi.org/10.1145/1837274.1837405","title":"Verification for fault tolerance of the IBM system z microprocessor","display_name":"Verification for fault tolerance of the IBM system z microprocessor","publication_year":2010,"publication_date":"2010-06-13","ids":{"openalex":"https://openalex.org/W2052055895","doi":"https://doi.org/10.1145/1837274.1837405","mag":"2052055895"},"language":"en","primary_location":{"id":"doi:10.1145/1837274.1837405","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1837274.1837405","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 47th Design Automation Conference","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/A5014696912","display_name":"Brian W. Thompto","orcid":"https://orcid.org/0000-0002-6899-545X"},"institutions":[{"id":"https://openalex.org/I4210156936","display_name":"IBM Research - Austin","ror":"https://ror.org/05gjbbg60","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210156936"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Brian W. Thompto","raw_affiliation_strings":["IBM Systems & Technology Group, Austin, Texas"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM Systems & Technology Group, Austin, Texas","institution_ids":["https://openalex.org/I4210156936"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044904481","display_name":"Bodo Hoppe","orcid":null},"institutions":[{"id":"https://openalex.org/I4210095996","display_name":"IBM (Germany)","ror":"https://ror.org/00pm7rm97","country_code":"DE","type":"company","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210095996"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Bodo Hoppe","raw_affiliation_strings":["IBM Germany Research & Development GmbH, Boeblingen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM Germany Research & Development GmbH, Boeblingen, Germany","institution_ids":["https://openalex.org/I4210095996"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4451,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.57439016,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"525","last_page":"530"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9998999834060669,"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.9998999834060669,"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":0.992900013923645,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9886999726295471,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/dependability","display_name":"Dependability","score":0.8096920251846313},{"id":"https://openalex.org/keywords/fault-injection","display_name":"Fault injection","score":0.7803308367729187},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6959353089332581},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"Fault tolerance","score":0.6519378423690796},{"id":"https://openalex.org/keywords/microprocessor","display_name":"Microprocessor","score":0.5882424712181091},{"id":"https://openalex.org/keywords/ibm","display_name":"IBM","score":0.580949068069458},{"id":"https://openalex.org/keywords/soft-error","display_name":"Soft error","score":0.5808982253074646},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5091254115104675},{"id":"https://openalex.org/keywords/resilience","display_name":"Resilience (materials science)","score":0.5016906261444092},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.4836960434913635},{"id":"https://openalex.org/keywords/serviceability","display_name":"Serviceability (structure)","score":0.46917372941970825},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.4560049772262573},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.30795222520828247},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.28251469135284424},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.22762387990951538},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1712104082107544},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.16127550601959229},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.12871429324150085}],"concepts":[{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.8096920251846313},{"id":"https://openalex.org/C2775928411","wikidata":"https://www.wikidata.org/wiki/Q2041312","display_name":"Fault injection","level":3,"score":0.7803308367729187},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6959353089332581},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.6519378423690796},{"id":"https://openalex.org/C2780728072","wikidata":"https://www.wikidata.org/wiki/Q5297","display_name":"Microprocessor","level":2,"score":0.5882424712181091},{"id":"https://openalex.org/C70388272","wikidata":"https://www.wikidata.org/wiki/Q5968558","display_name":"IBM","level":2,"score":0.580949068069458},{"id":"https://openalex.org/C154474529","wikidata":"https://www.wikidata.org/wiki/Q1658917","display_name":"Soft error","level":2,"score":0.5808982253074646},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5091254115104675},{"id":"https://openalex.org/C2779585090","wikidata":"https://www.wikidata.org/wiki/Q3457762","display_name":"Resilience (materials science)","level":2,"score":0.5016906261444092},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.4836960434913635},{"id":"https://openalex.org/C110245778","wikidata":"https://www.wikidata.org/wiki/Q2169658","display_name":"Serviceability (structure)","level":2,"score":0.46917372941970825},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.4560049772262573},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.30795222520828247},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.28251469135284424},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.22762387990951538},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1712104082107544},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.16127550601959229},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.12871429324150085},{"id":"https://openalex.org/C171250308","wikidata":"https://www.wikidata.org/wiki/Q11468","display_name":"Nanotechnology","level":1,"score":0.0},{"id":"https://openalex.org/C24326235","wikidata":"https://www.wikidata.org/wiki/Q126095","display_name":"Electronic engineering","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/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1837274.1837405","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1837274.1837405","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 47th Design Automation Conference","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.5099999904632568}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W160422864","https://openalex.org/W1979828579","https://openalex.org/W1996937823","https://openalex.org/W2004749420","https://openalex.org/W2072867273","https://openalex.org/W2100050851","https://openalex.org/W2107672210"],"related_works":["https://openalex.org/W3018727313","https://openalex.org/W2373958571","https://openalex.org/W1526253314","https://openalex.org/W1864358311","https://openalex.org/W2044069930","https://openalex.org/W2163463765","https://openalex.org/W4246700523","https://openalex.org/W2007562802","https://openalex.org/W1994651680","https://openalex.org/W1608921170"],"abstract_inverted_index":{"IBM":[0,54],"System":[1,55],"z":[2,56],"processors":[3],"are":[4,122,167],"known":[5],"for":[6],"their":[7],"industry":[8],"leading":[9],"Reliability,":[10],"Availability":[11],"and":[12,26,85,113,140,159,164],"Serviceability":[13],"(RAS).":[14],"The":[15],"hardware":[16],"is":[17,127],"designed":[18],"to":[19,29,46,64,74,102,109,114,138],"support":[20],"a":[21,34,70,94,99],"high":[22,61],"resilience":[23],"against":[24],"errors":[25,32,88],"the":[27,41,49,53,60,76,90,103,111,129,142,146,157,162,172,176,180],"ability":[28],"recover":[30],"from":[31],"maintaining":[33],"valid":[35],"architectural":[36,116],"state.":[37],"This":[38,67,97],"paper":[39,68],"describes":[40],"thorough":[42],"verification":[43,72,105],"effort":[44],"required":[45],"prove":[47],"that":[48],"fault":[50,119],"tolerance":[51],"of":[52,79,93,132,145,156,161,171,179],"processor":[57,147],"core":[58],"matches":[59],"expectations":[62],"prior":[63],"design":[65,95],"tape-out.":[66],"proposes":[69],"multifaceted":[71],"methodology":[73,131],"cover":[75],"various":[77],"aspects":[78],"verifying":[80],"correct":[81],"error":[82],"detection,":[83],"isolation":[84],"recovery.":[86],"Soft":[87,151],"enlarge":[89],"state":[91],"space":[92],"significantly.":[96],"provides":[98],"significant":[100],"challenge":[101],"functional":[104,165],"environment":[106],"in":[107],"order":[108],"tolerate":[110],"fails":[112],"expect":[115],"compliance.":[117],"Several":[118],"injection":[120],"mechanisms":[121],"discussed.":[123],"A":[124],"special":[125],"focus":[126],"on":[128],"novel":[130],"Comprehensive":[133],"Fault":[134],"Injection":[135],"(CFI)":[136],"used":[137],"validate":[139],"improve":[141],"dependability":[143],"characteristics":[144],"core,":[148],"providing":[149],"improved":[150],"Error":[152],"Resilience":[153],"(SER).":[154],"Feedback":[155],"results":[158],"measurements":[160],"efficiency":[163],"coverage":[166],"an":[168],"integral":[169],"part":[170],"overall":[173],"methodology,":[174],"allowing":[175],"smart":[177],"use":[178],"available":[181],"compute":[182],"resources.":[183]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}