SoCGuard: A runtime verification solution for the functional correctness of SoCs.

Rawan Abdel-Khalek Valeria Bertacco

Published in: VLSI-SoC (2010)

Keyphrases

model checking
optimal solution
closed form
real world
solution quality
signature verification
information retrieval
social networks
computer vision
information systems
image processing
query processing
hidden markov models