Formal specification and simulation of instruction-level parallelism.

Edwin A. Harcourt Jon Mauney Todd A. Cook

Published in: EURO-DAC (1994)

Keyphrases

formal specification
level parallelism
instruction set
model checking
specification languages
object oriented design
formal specification language
formal methods
process algebra
reverse engineering
concurrent systems
parallel processing
multi core processors
information systems
computer science
building blocks