Design for Verification with Dynamic Assertions.

Peter C. Mehlitz John Penix

Published in: SEW (2005)

Keyphrases

design decisions
design process
data sets
knowledge base
image processing
case study
high level
multiscale
data structure
mobile robot
knowledge based systems
dynamic environments
power consumption
embedded systems
signature verification
functional verification