Compositional Nonblocking Verification with Always Enabled Events and Selfloop-Only Events.

Colin Pilbrow Robi Malik

Published in: FTSCS (2013)

Keyphrases

event detection
video clips
event types
artificial intelligence
image sequences
human activities
causal relationships
temporal relations
time stamped
functional verification