Login / Signup

Test Program Generation for Functional Verification of PowerPC Processors in IBM.

Aharon AharonDave GoodmanMoshe LevingerYossi LichtensteinYossi MalkaCharlotte MetzgerMoshe MolchoGil Shurek
Published in: DAC (1995)
Keyphrases
  • functional verification
  • test cases
  • parallel processing
  • computer hardware
  • parallel algorithm
  • operating system
  • case study
  • data streams
  • software engineering
  • input output
  • formal verification