Efficient Pattern-Based Verification of Connections to IP Cores .

Ilia Polian Wolfgang Günther Bernd Becker

Published in: Asian Test Symposium (2001)

Keyphrases

model checking
real time
machine learning
computer vision
website
expert systems
sensor networks
computationally efficient
application layer