Login / Signup

Methodology of the pre-silicon verification of the processor core.

Sergii BerdyshevVladimir BoykovYuri GimpilevichYuri IskivGilad KerenDenis MuratovIgor SmirnovValeriy Vertegel
Published in: EWDTS (2011)
Keyphrases
  • processor core
  • low cost
  • model checking
  • database
  • data structure
  • high speed
  • data access
  • high density