Techniques for Verifying Superscalar Microprocessors.

Published in: DAC (1996)

Keyphrases

instruction set
computer architecture
floating point
application specific
model checking
embedded systems
computer systems
personal computer
three dimensional
parallel computing
high performance computing
real world
databases
data mining
computing power
high level
artificial neural networks
medical images
database