Validation of PowerPC(tm) Custom Memories using Symbolic Simulation.

Narayanan Krishnamurthy Andrew K. Martin Magdy S. Abadir Jacob A. Abraham

Published in: VTS (2000)

Keyphrases

operating system
simulation model
simulation environment
mathematical models
simulation models
information retrieval
model validation
database
neural network
computer vision
image sequences
bayesian networks