A Light-Weight Framework for Hardware Verification.

Christoph Kern Tarik Ono-Tesfaye Mark R. Greenstreet

Published in: TACAS (1999)

Keyphrases

lightweight
real time
object detection
low cost
hardware and software
data sets
wireless sensor networks
probabilistic model
conceptual framework