RTL property abstraction for TLM assertion-based verification.

Nicola Bombieri Riccardo Filippozzi Graziano Pravadelli Francesco Stefanni

Published in: DATE (2015)

Keyphrases

hardware designs
model checking
model based diagnosis
high level
multiscale
desirable properties
face verification
real world
information retrieval
feature selection
face recognition
face detection
functional verification