Login / Signup

Design and formal verification of a hierarchical cache coherence protocol for NoC based multiprocessors.

Hemangee K. KapoorPraveen KanakalaMalti VermaShirshendu Das
Published in: J. Supercomput. (2013)
Keyphrases
  • formal verification
  • model checker
  • coloured petri nets
  • model checking
  • temporal logic
  • automated verification
  • functional verification
  • user interface
  • shortest path
  • software architecture
  • routing algorithm