Login / Signup

Functional verification of the z990 superscalar, multibook microprocessor complex.

Dean G. BairSteven M. GermanWilliam D. WollyungEdward J. Kaminski Jr.James SchaferMichael P. MullenWilliam J. LewisRebecca WisniewskiJoerg WalterSteven MittermaierVisda VokhshooriRobert J. AdkinsMichael HalasThomas RuaneUrsel Hahn
Published in: IBM J. Res. Dev. (2004)
Keyphrases
  • functional verification
  • formal verification
  • instruction set
  • real time
  • software engineering
  • data processing
  • parallel algorithm