Login / Signup

Cross-abstraction Functional Verification and Performance Analysis of Chip Multiprocessor Designs.

Gabor MadlSudeep PasrichaNikil D. DuttSherif Abdelwahed
Published in: IEEE Trans. Ind. Informatics (2009)
Keyphrases
  • functional verification
  • formal verification
  • hardware software
  • scheduling algorithm
  • real time
  • case study
  • software development