{"id":"https://openalex.org/W2072547867","doi":"https://doi.org/10.1147/rd.461.0053","title":"Functional verification of the POWER4 microprocessor and POWER4 multiprocessor systems","display_name":"Functional verification of the POWER4 microprocessor and POWER4 multiprocessor systems","publication_year":2002,"publication_date":"2002-01-01","ids":{"openalex":"https://openalex.org/W2072547867","doi":"https://doi.org/10.1147/rd.461.0053","mag":"2072547867"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1147/rd.461.0053","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":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-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/A5071147196","display_name":"J. M. Ludden","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":"J. M. Ludden","raw_affiliation_strings":["IBM Server Group, Essex Junction, Vermont"],"affiliations":[{"raw_affiliation_string":"IBM Server Group, Essex Junction, Vermont","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064770930","display_name":"Wolfgang Roesner","orcid":"https://orcid.org/0009-0004-5483-3371"},"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":"W. Roesner","raw_affiliation_strings":["IBM Server Group, Austin Texas#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Server Group, Austin Texas#TAB#","institution_ids":["https://openalex.org/I4210156936"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074833331","display_name":"G. M. Heiling","orcid":null},"institutions":[],"countries":["US"],"is_corresponding":false,"raw_author_name":"G. M. Heiling","raw_affiliation_strings":["8113 Asherton Cove, Austin, Texas 78750, USA"],"affiliations":[{"raw_affiliation_string":"8113 Asherton Cove, Austin, Texas 78750, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060119057","display_name":"J. R. Reysa","orcid":null},"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":"J. R. Reysa","raw_affiliation_strings":["IBM Server Group, Austin Texas#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Server Group, Austin Texas#TAB#","institution_ids":["https://openalex.org/I4210156936"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017359237","display_name":"J. R. Jackson","orcid":null},"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":"J. R. Jackson","raw_affiliation_strings":["IBM Server Group, Austin Texas#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Server Group, Austin Texas#TAB#","institution_ids":["https://openalex.org/I4210156936"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055393169","display_name":"B.-L. Chu","orcid":null},"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":"B.-L. Chu","raw_affiliation_strings":["IBM Server Group, Austin Texas#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Server Group, Austin Texas#TAB#","institution_ids":["https://openalex.org/I4210156936"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082336836","display_name":"Michael Behm","orcid":null},"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":"M. L. Behm","raw_affiliation_strings":["IBM Server Group, Austin Texas#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Server Group, Austin Texas#TAB#","institution_ids":["https://openalex.org/I4210156936"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072898984","display_name":"J. Baumgartner","orcid":"https://orcid.org/0009-0003-1372-9693"},"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":"J. R. Baumgartner","raw_affiliation_strings":["IBM Server Group, Austin Texas#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Server Group, Austin Texas#TAB#","institution_ids":["https://openalex.org/I4210156936"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113726873","display_name":"R. D. Peterson","orcid":null},"institutions":[{"id":"https://openalex.org/I5388228","display_name":"University of Rochester","ror":"https://ror.org/022kthw22","country_code":"US","type":"education","lineage":["https://openalex.org/I5388228"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"R. D. Peterson","raw_affiliation_strings":["IBM Server Group, Rochester, Minnesota#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Server Group, Rochester, Minnesota#TAB#","institution_ids":["https://openalex.org/I5388228"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044860341","display_name":"J. Abdulhafiz","orcid":null},"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":"J. Abdulhafiz","raw_affiliation_strings":["IBM Microelectronics Division, Austin, Texas#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Microelectronics Division, Austin, Texas#TAB#","institution_ids":["https://openalex.org/I4210156936"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056457946","display_name":"W. E. Bucy","orcid":null},"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":"W. E. Bucy","raw_affiliation_strings":["IBM Server Group, Austin Texas#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Server Group, Austin Texas#TAB#","institution_ids":["https://openalex.org/I4210156936"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080138117","display_name":"Jason Klaus","orcid":null},"institutions":[{"id":"https://openalex.org/I5388228","display_name":"University of Rochester","ror":"https://ror.org/022kthw22","country_code":"US","type":"education","lineage":["https://openalex.org/I5388228"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"J. H. Klaus","raw_affiliation_strings":["IBM Server Group, Rochester, Minnesota#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Server Group, Rochester, Minnesota#TAB#","institution_ids":["https://openalex.org/I5388228"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019168086","display_name":"D. J. Klema","orcid":null},"institutions":[{"id":"https://openalex.org/I5388228","display_name":"University of Rochester","ror":"https://ror.org/022kthw22","country_code":"US","type":"education","lineage":["https://openalex.org/I5388228"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"D. J. Klema","raw_affiliation_strings":["IBM Server Group, Rochester, Minnesota#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Server Group, Rochester, Minnesota#TAB#","institution_ids":["https://openalex.org/I5388228"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023831384","display_name":"T. N. Le","orcid":null},"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":"T. N. Le","raw_affiliation_strings":["IBM Microelectronics Division, Austin, Texas#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Microelectronics Division, Austin, Texas#TAB#","institution_ids":["https://openalex.org/I4210156936"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109086886","display_name":"F. D. Lewis","orcid":null},"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":"F. D. Lewis","raw_affiliation_strings":["IBM Server Group, Austin Texas#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Server Group, Austin Texas#TAB#","institution_ids":["https://openalex.org/I4210156936"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029819222","display_name":"P. E. Milling","orcid":null},"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":"P. E. Milling","raw_affiliation_strings":["IBM Server Group, Austin Texas#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Server Group, Austin Texas#TAB#","institution_ids":["https://openalex.org/I4210156936"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075389197","display_name":"L. McConville","orcid":null},"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":"L. A. McConville","raw_affiliation_strings":["IBM Server Group, Austin Texas#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Server Group, Austin Texas#TAB#","institution_ids":["https://openalex.org/I4210156936"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028654542","display_name":"B. S. Nelson","orcid":null},"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":"B. S. Nelson","raw_affiliation_strings":["IBM Server Group, Austin Texas#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Server Group, Austin Texas#TAB#","institution_ids":["https://openalex.org/I4210156936"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039572250","display_name":"Viresh Paruthi","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. Paruthi","raw_affiliation_strings":["IBM Enterprise Systems Group, Austin, Texas"],"affiliations":[{"raw_affiliation_string":"IBM Enterprise Systems Group, Austin, Texas","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066533081","display_name":"T. W. Pouarz","orcid":null},"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":"T. W. Pouarz","raw_affiliation_strings":["IBM Server Group, Austin Texas#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Server Group, Austin Texas#TAB#","institution_ids":["https://openalex.org/I4210156936"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009512314","display_name":"A. D. Romonosky","orcid":null},"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":"A. D. Romonosky","raw_affiliation_strings":["IBM Server Group, Austin Texas#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Server Group, Austin Texas#TAB#","institution_ids":["https://openalex.org/I4210156936"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014845043","display_name":"Jeffrey Stuecheli","orcid":null},"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":"J. Stuecheli","raw_affiliation_strings":["IBM Server Group, Austin Texas#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Server Group, Austin Texas#TAB#","institution_ids":["https://openalex.org/I4210156936"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070047251","display_name":"Kevin Thompson","orcid":null},"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":"K. D. Thompson","raw_affiliation_strings":["IBM Server Group, Austin Texas#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Server Group, Austin Texas#TAB#","institution_ids":["https://openalex.org/I4210156936"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050563113","display_name":"D. W. Victor","orcid":null},"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":"D. W. Victor","raw_affiliation_strings":["IBM Server Group, Austin Texas#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Server Group, Austin Texas#TAB#","institution_ids":["https://openalex.org/I4210156936"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017080855","display_name":"B. Wile","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":"B. Wile","raw_affiliation_strings":["IBM Server Group, Poughkeepsie, New York"],"affiliations":[{"raw_affiliation_string":"IBM Server Group, Poughkeepsie, New York","institution_ids":["https://openalex.org/I4210091433"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.845,"has_fulltext":false,"cited_by_count":62,"citation_normalized_percentile":{"value":0.890244,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":93,"max":94},"biblio":{"volume":"46","issue":"1","first_page":"53","last_page":"76"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11005","display_name":"Fault Tolerance in Electronic Systems","score":0.9999,"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":"Fault Tolerance in Electronic Systems","score":0.9999,"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/T10904","display_name":"Reconfigurable Computing Systems and Design Methods","score":0.9998,"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/T11032","display_name":"Very Large Scale Integration Testing","score":0.9998,"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/functional-verification","display_name":"Functional verification","score":0.64528996},{"id":"https://openalex.org/keywords/low-power-testing","display_name":"Low-Power Testing","score":0.525978},{"id":"https://openalex.org/keywords/microprocessor","display_name":"Microprocessor","score":0.52338517},{"id":"https://openalex.org/keywords/reliability-evaluation","display_name":"Reliability Evaluation","score":0.518936},{"id":"https://openalex.org/keywords/ibm","display_name":"IBM","score":0.5110563},{"id":"https://openalex.org/keywords/microarchitecture","display_name":"Microarchitecture","score":0.47476792}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.74293166},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.64528996},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6233516},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5687929},{"id":"https://openalex.org/C2780728072","wikidata":"https://www.wikidata.org/wiki/Q5297","display_name":"Microprocessor","level":2,"score":0.52338517},{"id":"https://openalex.org/C70388272","wikidata":"https://www.wikidata.org/wiki/Q5968558","display_name":"IBM","level":2,"score":0.5110563},{"id":"https://openalex.org/C4822641","wikidata":"https://www.wikidata.org/wiki/Q846651","display_name":"Multiprocessing","level":2,"score":0.5105661},{"id":"https://openalex.org/C107598950","wikidata":"https://www.wikidata.org/wiki/Q259864","display_name":"Microarchitecture","level":2,"score":0.47476792},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.42159647},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.32203734},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2754159},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09079513},{"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":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1147/rd.461.0053","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":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":7,"referenced_works":["https://openalex.org/W2012336463","https://openalex.org/W2093014989","https://openalex.org/W2102606870","https://openalex.org/W2117285997","https://openalex.org/W2141725526","https://openalex.org/W2164380910","https://openalex.org/W2916411819"],"related_works":["https://openalex.org/W2916411819","https://openalex.org/W2907270047","https://openalex.org/W2830736653","https://openalex.org/W2145064068","https://openalex.org/W2111250994","https://openalex.org/W2094477153","https://openalex.org/W2022822670","https://openalex.org/W1592801684","https://openalex.org/W1589692760","https://openalex.org/W1495727459"],"abstract_inverted_index":{"This":[0],"paper":[1],"describes":[2],"the":[3,11,18,23,36,42,55,63,68,73,86,104,107,122,130,174,177],"methods":[4],"and":[5,14,22,60,65,71,98,115,132,141,147,157,165],"simulation":[6],"techniques":[7],"used":[8,38],"to":[9,91,94],"verify":[10],"microarchitecture":[12],"design":[13,58,89,156],"functional":[15,158],"performance":[16],"of":[17,41,85,106,129,149,161,173],"IBM":[19,44],"POWER4":[20,87],"processor":[21,88],"POWER4-based":[24],"Regatta":[25],"system.":[26],"The":[27,77,96],"approach":[28],"was":[29,168],"hierarchical,":[30],"based":[31],"on":[32,102,113,121],"but":[33],"considerably":[34],"expanding":[35],"practice":[37],"for":[39,127],"verification":[40,52,136,160],"CMOS-based":[43],"S/390":[45],"Parallel":[46],"Enterprise":[47],"Server\u2122":[48],"G4.":[49],"For":[50],"POWER4,":[51],"began":[53],"at":[54,171],"abstract,":[56],"high-level":[57],"phase":[59,81],"continued":[61],"throughout":[62],"designer":[64,97],"unit":[66],"levels,":[67],"multi-unit":[69],"level,":[70],"finally":[72],"multiple-chip":[74],"system":[75],"level.":[76],"abstract":[78],"(high-level":[79],"design)":[80],"permitted":[82],"early":[83],"validation":[84,148],"prior":[90],"its":[92],"commitment":[93],"HDL.":[95],"unit-level":[99],"stages":[100],"focused":[101],"ensuring":[103],"correctness":[105],"microarchitectural":[108],"components.":[109],"Multi-unit-level":[110],"verification,":[111],"performed":[112,170],"storage":[114],"I/O":[116],"components":[117],"as":[118,120],"well":[119],"processor,":[123],"confirmed":[124],"architectural":[125],"compliance":[126],"each":[128],"chips":[131],"subsystems.":[133],"Finally,":[134],"system-level":[135,142],"tested":[137],"multiprocess":[138],"or":[139],"coherence":[140],"function,":[143],"including":[144],"processor-to-I/O":[145],"communication":[146],"multiple":[150],"hardware":[151],"configurations.":[152],"In":[153],"parallel":[154],"with":[155],"validation,":[159],"reliability":[162],"functions,":[163],"performance,":[164],"degraded":[166],"configurations":[167],"also":[169],"most":[172],"levels":[175],"in":[176],"hierarchy.":[178]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2072547867","counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":7}],"updated_date":"2024-10-21T04:07:19.685095","created_date":"2016-06-24"}
