FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2327836062> ?p ?o ?g. }

• W2327836062 endingPage "10:17" @default.
• W2327836062 startingPage "10:1" @default.
• W2327836062 abstract "This paper describes the methods and techniques used to verify the POWER7® microprocessor and systems. A simple linear extension of the methodology used for POWER4®, POWER5®, and POWER6® was not possible given the aggressive design point and schedule of the POWER7 project. In addition to the sheer complexity of verifying an eight-core processor chip with scalability to 32 sockets, central challenges came from the four-way simultaneous multithreading processor core, a modular implementation structure with heavy use of asynchronous interfaces, aggressive memory subsystem design with numerous new reliability, availability, and serviceability (RAS) advances, and new power management and RAS mechanisms across the chip and the system. Key aspects of the successful verification project include a systematic application of IBM's random-constrained unit verification, unprecedented use of formal verification, thread-scaling support in core verification, and a consistent use of functional coverage across all verification disciplines. Functional coverage instrumentation, which is combined with the use of the newest IBM hardware simulation accelerator platform, enabled coverage-driven development of postsilicon exercisers in preparation of bring-up, a foundation for the desired systematic linkage of presilicon and postsilicon verification. RAS and power management verification also required new approaches, extending these disciplines to span all the way from the unit level to the end-to-end scenarios using the hardware accelerators." @default.
• W2327836062 created "2016-06-24" @default.
• W2327836062 creator A5017359237 @default.
• W2327836062 creator A5027050369 @default.
• W2327836062 creator A5030821446 @default.
• W2327836062 creator A5031518845 @default.
• W2327836062 creator A5032610562 @default.
• W2327836062 creator A5039572250 @default.
• W2327836062 creator A5041046910 @default.
• W2327836062 creator A5045462112 @default.
• W2327836062 creator A5058612894 @default.
• W2327836062 creator A5064770930 @default.
• W2327836062 creator A5066374628 @default.
• W2327836062 creator A5071147196 @default.
• W2327836062 creator A5082336836 @default.
• W2327836062 date "2011-05-01" @default.
• W2327836062 modified "2023-09-27" @default.
• W2327836062 title "Functional verification of the IBM POWER7 microprocessor and POWER7 multiprocessor systems" @default.
• W2327836062 cites W1783770095 @default.
• W2327836062 cites W1965327442 @default.
• W2327836062 cites W1973665222 @default.
• W2327836062 cites W1979828579 @default.
• W2327836062 cites W1997614394 @default.
• W2327836062 cites W2072547867 @default.
• W2327836062 cites W2092218351 @default.
• W2327836062 cites W2115037476 @default.
• W2327836062 cites W2119599393 @default.
• W2327836062 cites W2120072298 @default.
• W2327836062 cites W2151051752 @default.
• W2327836062 cites W2323110450 @default.
• W2327836062 cites W2408406397 @default.
• W2327836062 doi "https://doi.org/10.1147/jrd.2011.2117370" @default.
• W2327836062 hasPublicationYear "2011" @default.
• W2327836062 type Work @default.
• W2327836062 sameAs 2327836062 @default.
• W2327836062 citedByCount "21" @default.
• W2327836062 countsByYear W23278360622012 @default.
• W2327836062 countsByYear W23278360622013 @default.
• W2327836062 countsByYear W23278360622014 @default.
• W2327836062 countsByYear W23278360622015 @default.
• W2327836062 countsByYear W23278360622017 @default.
• W2327836062 countsByYear W23278360622019 @default.
• W2327836062 countsByYear W23278360622020 @default.
• W2327836062 countsByYear W23278360622021 @default.
• W2327836062 countsByYear W23278360622022 @default.
• W2327836062 crossrefType "journal-article" @default.
• W2327836062 hasAuthorship W2327836062A5017359237 @default.
• W2327836062 hasAuthorship W2327836062A5027050369 @default.
• W2327836062 hasAuthorship W2327836062A5030821446 @default.
• W2327836062 hasAuthorship W2327836062A5031518845 @default.
• W2327836062 hasAuthorship W2327836062A5032610562 @default.
• W2327836062 hasAuthorship W2327836062A5039572250 @default.
• W2327836062 hasAuthorship W2327836062A5041046910 @default.
• W2327836062 hasAuthorship W2327836062A5045462112 @default.
• W2327836062 hasAuthorship W2327836062A5058612894 @default.
• W2327836062 hasAuthorship W2327836062A5064770930 @default.
• W2327836062 hasAuthorship W2327836062A5066374628 @default.
• W2327836062 hasAuthorship W2327836062A5071147196 @default.
• W2327836062 hasAuthorship W2327836062A5082336836 @default.
• W2327836062 hasConcept C101468663 @default.
• W2327836062 hasConcept C111498074 @default.
• W2327836062 hasConcept C111919701 @default.
• W2327836062 hasConcept C118524514 @default.
• W2327836062 hasConcept C138101251 @default.
• W2327836062 hasConcept C149635348 @default.
• W2327836062 hasConcept C171250308 @default.
• W2327836062 hasConcept C186846655 @default.
• W2327836062 hasConcept C192562407 @default.
• W2327836062 hasConcept C199360897 @default.
• W2327836062 hasConcept C201410400 @default.
• W2327836062 hasConcept C202973057 @default.
• W2327836062 hasConcept C2777904410 @default.
• W2327836062 hasConcept C2780728072 @default.
• W2327836062 hasConcept C3406870 @default.
• W2327836062 hasConcept C41008148 @default.
• W2327836062 hasConcept C48044578 @default.
• W2327836062 hasConcept C529173508 @default.
• W2327836062 hasConcept C56005371 @default.
• W2327836062 hasConcept C62460635 @default.
• W2327836062 hasConcept C70388272 @default.
• W2327836062 hasConcept C78766204 @default.
• W2327836062 hasConceptScore W2327836062C101468663 @default.
• W2327836062 hasConceptScore W2327836062C111498074 @default.
• W2327836062 hasConceptScore W2327836062C111919701 @default.
• W2327836062 hasConceptScore W2327836062C118524514 @default.
• W2327836062 hasConceptScore W2327836062C138101251 @default.
• W2327836062 hasConceptScore W2327836062C149635348 @default.
• W2327836062 hasConceptScore W2327836062C171250308 @default.
• W2327836062 hasConceptScore W2327836062C186846655 @default.
• W2327836062 hasConceptScore W2327836062C192562407 @default.
• W2327836062 hasConceptScore W2327836062C199360897 @default.
• W2327836062 hasConceptScore W2327836062C201410400 @default.
• W2327836062 hasConceptScore W2327836062C202973057 @default.
• W2327836062 hasConceptScore W2327836062C2777904410 @default.
• W2327836062 hasConceptScore W2327836062C2780728072 @default.
• W2327836062 hasConceptScore W2327836062C3406870 @default.
• W2327836062 hasConceptScore W2327836062C41008148 @default.
• W2327836062 hasConceptScore W2327836062C48044578 @default.

• next