Login / Signup
A methodology for validation of microprocessors using symbolic simulation.
Prabhat Mishra
Nikil D. Dutt
Narayanan Krishnamurthy
Magdy S. Abadir
Published in:
Int. J. Embed. Syst. (2005)
Keyphrases
</>
discrete event simulation
simulation model
simulation environment
simulation models
image segmentation
simulation study
numerical simulations
mathematical models
computer architecture
computing power
high fidelity
real world
machine learning
case study
high level
mathematical model