Top Level SOC Interconnectivity Verification Using Formal Techniques.

Published in: MTV (2007)

Keyphrases

formal methods
formal analysis
model checking
neural network
multiresolution
higher level
information retrieval
genetic algorithm
image processing
probabilistic model
levels of abstraction
knowledge level