Formally Verifying a Microprocessor Using a Simulation Methodology.

Derek L. Beatty Randal E. Bryant

Published in: DAC (1994)

Keyphrases

design methodology
discrete event simulation
simulation model
high speed
data sets
machine learning
artificial intelligence
case study
multi agent systems
artificial neural networks
simulation study
numerical simulations
mathematical models
physical design