Functional Verification of the IBM zSeries eServer z900 System.

Published in: ICCD (2002)

Keyphrases

functional verification
floating point unit
ibm db
industry standard
multichip module
operating system
formal verification
floating point
ibm power processor
real time
massively parallel
hardware software
information systems
fine grained
low latency