Issues on View Switching for RF SoC Verification.

Yifan Wang Stefan Joeres Ralf Wunderlich Stefan Heinen

Published in: BMAS (2008)

Keyphrases

key issues
relevance feedback
multiple views
formal analysis
three dimensional
multi view
cryptographic protocols
fundamental issues
radio frequency
open issues
model checking
real time
viewpoint
web services
computer vision
artificial intelligence
genetic algorithm
real world