Cocktail approach to functional verification.

Kwang-Ting (Tim) Cheng

Published in: IEEE Des. Test Comput. (2007)

Keyphrases

functional verification
formal verification
hardware software
low latency
real time
general purpose
user interface
response time
power consumption
smart card
sensor networks
peer to peer
fault tolerant