Specifying Instruction-Set Architectures in HOL: A Primer.

Phillip J. Windley

Published in: TPHOLs (1994)

Keyphrases

instruction set
floating point
application specific
computer architecture
embedded systems
formal methods
ibm power processor
level parallelism
real time
memory subsystem
instruction set architecture