Architecting for Physical Verification Performance and Scaling.

John Ferguson Robert Todd

Published in: ISQED (2008)

Keyphrases

database
neural network
model checking
verification method
artificial intelligence
feature selection
web services
feature extraction
data structure
search algorithm
expert systems
formal verification
scaling factors
physical objects
asynchronous circuits
functional verification