{"id":"https://openalex.org/W1993842551","doi":"https://doi.org/10.1147/rd.483.0347","title":"Functional verification of the z990 superscalar, multibook microprocessor complex","display_name":"Functional verification of the z990 superscalar, multibook microprocessor complex","publication_year":2004,"publication_date":"2004-05-01","ids":{"openalex":"https://openalex.org/W1993842551","doi":"https://doi.org/10.1147/rd.483.0347","mag":"1993842551"},"language":"en","primary_location":{"id":"doi:10.1147/rd.483.0347","is_oa":false,"landing_page_url":"https://doi.org/10.1147/rd.483.0347","pdf_url":null,"source":{"id":"https://openalex.org/S4210219925","display_name":"IBM Journal of Research and Development","issn_l":"0018-8646","issn":["0018-8646","2151-8556"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320652","host_organization_name":"IBM","host_organization_lineage":["https://openalex.org/P4310320652"],"host_organization_lineage_names":["IBM"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IBM Journal of Research and Development","raw_type":"journal-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/A5033320238","display_name":"D. G. Bair","orcid":null},"institutions":[{"id":"https://openalex.org/I4210091433","display_name":"Poughkeepsie Public Library District","ror":"https://ror.org/001vaag74","country_code":"US","type":"archive","lineage":["https://openalex.org/I4210091433"]},{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"D. G. Bair","raw_affiliation_strings":["IBM Systems and Technology Group, 522 South Road, Poughkeepsie, New York 12601, USA","IBM Systems and Technology Group, 522 South Road, Poughkeepsie, New York#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Systems and Technology Group, 522 South Road, Poughkeepsie, New York 12601, USA","institution_ids":["https://openalex.org/I4210091433"]},{"raw_affiliation_string":"IBM Systems and Technology Group, 522 South Road, Poughkeepsie, New York#TAB#","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067917350","display_name":"Steven M. German","orcid":null},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]},{"id":"https://openalex.org/I4210114115","display_name":"IBM Research - Thomas J. Watson Research Center","ror":"https://ror.org/0265w5591","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"S. M. German","raw_affiliation_strings":["IBM Research Division, IBM Thomas J. Watson Research Center, P.O. Box 218, Yorktown Heights, New York 10598, USA","IBM Reasearch Division, IBM Thomas J. Watson Research Center, P.O. Box 218, Yorktown Heights, New York#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Research Division, IBM Thomas J. Watson Research Center, P.O. Box 218, Yorktown Heights, New York 10598, USA","institution_ids":["https://openalex.org/I4210114115"]},{"raw_affiliation_string":"IBM Reasearch Division, IBM Thomas J. Watson Research Center, P.O. Box 218, Yorktown Heights, New York#TAB#","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051227350","display_name":"W. D. Wollyung","orcid":null},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"W. D. Wollyung","raw_affiliation_strings":["IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, New York 12601, USA","IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, New York#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, New York 12601, USA","institution_ids":["https://openalex.org/I1341412227"]},{"raw_affiliation_string":"IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, New York#TAB#","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069584051","display_name":"E. J. Kaminski","orcid":null},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"E. J. Kaminski","raw_affiliation_strings":["IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, New York 12601, USA","IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, New York#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, New York 12601, USA","institution_ids":["https://openalex.org/I1341412227"]},{"raw_affiliation_string":"IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, New York#TAB#","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008219786","display_name":"James Schafer","orcid":"https://orcid.org/0000-0002-6604-6584"},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"J. Schafer","raw_affiliation_strings":["IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, New York 12601, USA","IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, New York#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, New York 12601, USA","institution_ids":["https://openalex.org/I1341412227"]},{"raw_affiliation_string":"IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, New York#TAB#","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086282251","display_name":"M. P. Mullen","orcid":null},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]},{"id":"https://openalex.org/I4210091433","display_name":"Poughkeepsie Public Library District","ror":"https://ror.org/001vaag74","country_code":"US","type":"archive","lineage":["https://openalex.org/I4210091433"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"M. P. Mullen","raw_affiliation_strings":["IBM Systems and Technology Group, 522 South Road, Poughkeepsie, New York 12601, USA","IBM Systems and Technology Group, 522 South Road, Poughkeepsie, New York#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Systems and Technology Group, 522 South Road, Poughkeepsie, New York 12601, USA","institution_ids":["https://openalex.org/I4210091433"]},{"raw_affiliation_string":"IBM Systems and Technology Group, 522 South Road, Poughkeepsie, New York#TAB#","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085498420","display_name":"W. J. Lewis","orcid":null},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"W. J. Lewis","raw_affiliation_strings":["IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, New York 12601, USA","IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, New York#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, New York 12601, USA","institution_ids":["https://openalex.org/I1341412227"]},{"raw_affiliation_string":"IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, New York#TAB#","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029112800","display_name":"Remigiusz Wi\u015bniewski","orcid":"https://orcid.org/0000-0001-6829-2263"},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"R. Wisniewski","raw_affiliation_strings":["IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, New York 12601, USA","IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, New York#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, New York 12601, USA","institution_ids":["https://openalex.org/I1341412227"]},{"raw_affiliation_string":"IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, New York#TAB#","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111642721","display_name":"J. Walter","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":"J. Walter","raw_affiliation_strings":["IBM Systems and Technology Group, IBM Deutschland Entwicklung GmbH, Schoenaicherstrasse 220, 71032 Boeblingen, Germany"],"affiliations":[{"raw_affiliation_string":"IBM Systems and Technology Group, IBM Deutschland Entwicklung GmbH, Schoenaicherstrasse 220, 71032 Boeblingen, Germany","institution_ids":["https://openalex.org/I4210095996"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030655018","display_name":"Steve Mittermaier","orcid":null},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"S. Mittermaier","raw_affiliation_strings":["IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, New York 12601, USA","IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, New York#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, New York 12601, USA","institution_ids":["https://openalex.org/I1341412227"]},{"raw_affiliation_string":"IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, New York#TAB#","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043465747","display_name":"V. Vokhshoori","orcid":null},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"V. Vokhshoori","raw_affiliation_strings":["IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, New York 12601, USA","IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, New York#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, New York 12601, USA","institution_ids":["https://openalex.org/I1341412227"]},{"raw_affiliation_string":"IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, New York#TAB#","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085309811","display_name":"R. J. Adkins","orcid":null},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"R. J. Adkins","raw_affiliation_strings":["IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, New York 12601, USA","IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, New York#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, New York 12601, USA","institution_ids":["https://openalex.org/I1341412227"]},{"raw_affiliation_string":"IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, New York#TAB#","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005957387","display_name":"M. Halas","orcid":null},"institutions":[{"id":"https://openalex.org/I4210091433","display_name":"Poughkeepsie Public Library District","ror":"https://ror.org/001vaag74","country_code":"US","type":"archive","lineage":["https://openalex.org/I4210091433"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"M. Halas","raw_affiliation_strings":["IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, New York 12603, USA","IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, New York#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, New York 12603, USA","institution_ids":["https://openalex.org/I4210091433"]},{"raw_affiliation_string":"IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, New York#TAB#","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027530155","display_name":"T. Ruane","orcid":null},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"T. Ruane","raw_affiliation_strings":["IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, New York 12601, USA","IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, New York#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, New York 12601, USA","institution_ids":["https://openalex.org/I1341412227"]},{"raw_affiliation_string":"IBM Systems and Technology Group, 2455 South Road, Poughkeepsie, New York#TAB#","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013694946","display_name":"U. Hahn","orcid":null},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]},{"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","US"],"is_corresponding":false,"raw_author_name":"U. Hahn","raw_affiliation_strings":["IBM Systems and Technology Group, IBM Deutschland Entwicklung GmbH, Schoenaicherstrasse 220, 71032 Boeblingen, Germany","IBM Systems and Technology Group, IBM Deutschland Entwicklung GmbH, Schenaicherstrasse 220, 71032 Boeblingen, Germany#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Systems and Technology Group, IBM Deutschland Entwicklung GmbH, Schoenaicherstrasse 220, 71032 Boeblingen, Germany","institution_ids":["https://openalex.org/I4210095996"]},{"raw_affiliation_string":"IBM Systems and Technology Group, IBM Deutschland Entwicklung GmbH, Schenaicherstrasse 220, 71032 Boeblingen, Germany#TAB#","institution_ids":["https://openalex.org/I1341412227"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":15,"corresponding_author_ids":["https://openalex.org/A5033320238"],"corresponding_institution_ids":["https://openalex.org/I1341412227","https://openalex.org/I4210091433"],"apc_list":null,"apc_paid":null,"fwci":0.5266,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.651181,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"48","issue":"3.4","first_page":"347","last_page":"365"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9994999766349792,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9994999766349792,"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/T10142","display_name":"Formal Methods in Verification","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9988999962806702,"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/correctness","display_name":"Correctness","score":0.8641501069068909},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.723085880279541},{"id":"https://openalex.org/keywords/microprocessor","display_name":"Microprocessor","score":0.7101585865020752},{"id":"https://openalex.org/keywords/ibm","display_name":"IBM","score":0.6148276925086975},{"id":"https://openalex.org/keywords/microarchitecture","display_name":"Microarchitecture","score":0.5243135690689087},{"id":"https://openalex.org/keywords/superscalar","display_name":"Superscalar","score":0.4878697395324707},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.47148844599723816},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.3724367618560791},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.30708521604537964},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1510489583015442}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8641501069068909},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.723085880279541},{"id":"https://openalex.org/C2780728072","wikidata":"https://www.wikidata.org/wiki/Q5297","display_name":"Microprocessor","level":2,"score":0.7101585865020752},{"id":"https://openalex.org/C70388272","wikidata":"https://www.wikidata.org/wiki/Q5968558","display_name":"IBM","level":2,"score":0.6148276925086975},{"id":"https://openalex.org/C107598950","wikidata":"https://www.wikidata.org/wiki/Q259864","display_name":"Microarchitecture","level":2,"score":0.5243135690689087},{"id":"https://openalex.org/C147101560","wikidata":"https://www.wikidata.org/wiki/Q1045706","display_name":"Superscalar","level":2,"score":0.4878697395324707},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.47148844599723816},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3724367618560791},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.30708521604537964},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1510489583015442},{"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/C171250308","wikidata":"https://www.wikidata.org/wiki/Q11468","display_name":"Nanotechnology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1147/rd.483.0347","is_oa":false,"landing_page_url":"https://doi.org/10.1147/rd.483.0347","pdf_url":null,"source":{"id":"https://openalex.org/S4210219925","display_name":"IBM Journal of Research and Development","issn_l":"0018-8646","issn":["0018-8646","2151-8556"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320652","host_organization_name":"IBM","host_organization_lineage":["https://openalex.org/P4310320652"],"host_organization_lineage_names":["IBM"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IBM Journal of Research and Development","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W2059376007","https://openalex.org/W2062390281","https://openalex.org/W2072547867","https://openalex.org/W2093014989","https://openalex.org/W2116989825","https://openalex.org/W2168716512"],"related_works":["https://openalex.org/W1521960115","https://openalex.org/W2230270457","https://openalex.org/W613182605","https://openalex.org/W2544364117","https://openalex.org/W2145523143","https://openalex.org/W2225963097","https://openalex.org/W1916582918","https://openalex.org/W2604386922","https://openalex.org/W2109750263","https://openalex.org/W2108104128"],"abstract_inverted_index":{"This":[0],"paper":[1,116],"describes":[2],"the":[3,13,19,43,49,52,58,63,67,78,85,89,97,100,104,112,119,123],"verification":[4,39,94],"methods":[5,90],"and":[6,15,22,54,69,82,125],"techniques":[7],"that":[8],"were":[9,80,95],"established":[10],"to":[11,57,61],"verify":[12,62],"microarchitecture":[14],"architectural":[16,64],"correctness":[17,50,65],"of":[18,51,66,114],"z990":[20],"microprocessor":[21,68],"storage":[23,28,70],"subsystem.":[24,71],"The":[25,38],"ring-based,":[26],"four-book":[27],"subsystem":[29],"links":[30],"64":[31],"superscalar":[32],"microprocessors":[33],"together":[34],"in":[35],"this":[36,115],"system.":[37],"process":[40],"started":[41],"at":[42,84,92,122],"unit":[44,124],"level,":[45],"which":[46],"focused":[47],"on":[48,103,118],"microarchitecture,":[53],"then":[55],"proceeded":[56],"element":[59,75,126],"level":[60],"After":[72],"successfully":[73],"completing":[74],"stress":[76],"testing,":[77],"components":[79],"combined":[81],"verified":[83],"system":[86],"level.":[87],"Since":[88],"used":[91,102],"system-level":[93],"much":[96],"same":[98],"as":[99],"ones":[101],"CMOS-based":[105],"IBM":[106],"S/390\u00ae":[107],"Parallel":[108],"Enterprise":[109],"Server":[110],"G4,":[111],"focus":[113],"is":[117],"work":[120],"done":[121],"levels.":[127]},"counts_by_year":[{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}