Login / Signup
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