Login / Signup

Pre-silicon verification of multiprocessor SoCs: The case for on-the-fly coherence/consistency checking.

Olav P. HenschelLuiz C. V. dos Santos
Published in: ICECS (2013)
Keyphrases
  • consistency checking
  • stochastic search
  • data sets
  • constraint satisfaction problems
  • query answering
  • low cost
  • model checking
  • temporal reasoning
  • temporal constraints
  • case study
  • high speed