Login / Signup

Functional verification of the IBM System z10 processor chipset.

Christopher A. KrygowskiDean G. BairRebecca M. GottM. H. DeckerA. V. GiriChristian HabermannMatthias HeizmannStefan LetzWilliam J. LewisSteven M. LickerH. MallarEdward C. McCainWolfgang RoesnerN. SiddiqueA. E. SeiglerBrian W. ThomptoK. WeberRalf Winkelmann
Published in: IBM J. Res. Dev. (2009)
Keyphrases
  • functional verification
  • operating system
  • formal verification
  • instruction set
  • ibm zenterprise
  • central processor
  • real time
  • object oriented
  • genetic programming
  • input output
  • hardware software