Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Klaus-Dieter Schubert"'
Autor:
Aaron C. Brown, John Gullickson, Klaus-Dieter Schubert, Debapriya Chatterjee, Ron Cash, Ellen M. Bauman, Duane Averill, Mark Nelson, Krishnan Sugavanam, Syed Saif Abrar, Kevin A. Pasnik
Publikováno v:
IBM Journal of Research and Development. 62:11:1-11:12
In this paper, we describe methods and techniques used to verify the IBM POWER9 microprocessor in the context of heterogeneous and open system structures. The base concepts for the functional verification are those that have been already used in IBM
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1b80c3a965846100eca395fa985f0bfe
https://doi.org/10.1147/jrd.2018.2848418
https://doi.org/10.1147/jrd.2018.2848418
Autor:
Gil Shurek, Odellia Boni, Alex Goldin, John R. Reysa, Maxim Ilyaev, Raviv Gal, Michael L. Behm, Einat Kermany, Moab Arar, Bilal Saleh, Klaus-Dieter Schubert, Avi Ziv
Publikováno v:
Hardware and Software: Verification and Testing ISBN: 9783319262864
Haifa Verification Conference
Haifa Verification Conference
The Verification Cockpit (VC) is a consolidated platform for planning, tracking, analysis, and optimization of large scale verification projects. Its prime role is to provide decision support from planning to on-going operations of the verification p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f8e46dcb88a3f8f82d5ac0f98e0472a7
https://doi.org/10.1007/978-3-319-26287-1_4
https://doi.org/10.1007/978-3-319-26287-1_4
Publikováno v:
IBM Journal of Research and Development. 48:367-378
A high-end eServerTM consists of multiple microprocessor chips packaged with additional chips on a multichip module. In conjunction with memory and various I/O cards, this module is mounted on a card called a processor book, and a few of those cards
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5c1d775099646fad833c8a7607cff932
https://doi.org/10.1147/rd.483.0367
https://doi.org/10.1147/rd.483.0367
Publikováno v:
IBM Journal of Research and Development. 48:569-581
System integration of an IBM eServerTM z990 begins when a z990 book, which houses the main processors, memory, and I/O adapters, is installed in a z990 frame, Licensed Internal Code is "booted" in the service element (SE), and power is turned on. Thi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6149bc64989195533afbc3d4a24b2998
https://doi.org/10.1147/rd.483.0569
https://doi.org/10.1147/rd.483.0569
Publikováno v:
IBM Journal of Research and Development. 46:597-605
Hardware/software (HW/SW) coverification can considerably shorten the time required for system integration and bring-up. But coverification is limited by the simulation speed achievable whenever hardware models are required to verify hardware and sof
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::35fb5bef83d0dd61e949585009c49acf
https://doi.org/10.1147/rd.464.0597
https://doi.org/10.1147/rd.464.0597
Autor:
Keith Sharp, Klaus-Dieter Schubert, Manoj Dusanapudi, Shakti Kapoor, Amir Nahir, Kevin F. Reick, Wolfgang Roesner, Greg Wetli
Publikováno v:
DAC
The post-silicon validation phase in a processor's design life cycle is geared towards finding all remaining bugs in the system. It is, in fact, our last opportunity to find functional and electrical bugs in the design before shipping it to customers
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::da54434e731a44d26f117a89631b9595
https://doi.org/10.1145/2593069.2593183
https://doi.org/10.1145/2593069.2593183
Publikováno v:
Service-Oriented and Cloud Computing ISBN: 9783642334269
ESOCC
ESOCC
In some trusted environments, such as an organization's intranet, local web services may be assumed to be trustworthy. This property can be exploited to simplify authentication and authorization protocols between resource providers and consumers, low
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::57a34d63fd683690f1b191bb60bab621
https://doi.org/10.1007/978-3-642-33427-6_21
https://doi.org/10.1007/978-3-642-33427-6_21
Autor:
Klaus-Dieter Schubert
Publikováno v:
Hardware and Software: Verification and Testing ISBN: 9783642341878
Haifa Verification Conference
Haifa Verification Conference
Over the last couple of years it became more and more obvious that improvements in chip technology get smaller and smaller with each generation. Processor frequency is stagnating for some time now and single thread performance of general purpose proc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::df3f0add360b08b7ce0afc1adb1dc8ff
https://doi.org/10.1007/978-3-642-34188-5_4
https://doi.org/10.1007/978-3-642-34188-5_4
Autor:
Klaus-Dieter Schubert
Publikováno v:
ICCAD
Over the years functional hardware verification has made significant progress in the areas of traditional simulation techniques, hardware accelerator usage and last but not least formal verification approaches. This has been sufficient to deal with t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e746eb26fb1f63a77eea1234e140a93c
https://doi.org/10.1145/1687399.1687551
https://doi.org/10.1145/1687399.1687551
Autor:
Stefan Körner, Klaus-Dieter Schubert
Publikováno v:
IT ISBN: 9783540461647
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8af59a2c45f37e952bf5cd856a09fc5c
https://doi.org/10.1007/978-3-540-46165-4_16
https://doi.org/10.1007/978-3-540-46165-4_16