Login / Signup

Functional verification of the POWER5 microprocessor and POWER5 multiprocessor systems.

Dave W. VictorJohn M. LuddenRichard D. PetersonBradley S. NelsonW. Keith SharpJames K. HsuBing-Lun ChuMichael L. BehmRebecca M. GottAudre D. RomonoskySteven R. Farago
Published in: IBM J. Res. Dev. (2005)
Keyphrases
  • functional verification
  • multiprocessor systems
  • power consumption
  • query processing
  • information extraction
  • response time
  • computing systems
  • formal verification
  • hardware software