Executable instruction set specification.

Harvey G. Cragon

Published in: SIGARCH Comput. Archit. News (1983)

Keyphrases

instruction set
formal specification
application specific
instruction set architecture
floating point
computer architecture
level parallelism
embedded systems
memory subsystem
model checking
general purpose
multi dimensional
index structure
fixed point
ibm power processor