Architecture Design and
research reported here, the ASM (Abstract
State Machines) method has been used to develop a practically viable method for
defining, in a rigorous but concise way, models for various instruction set
architectures and virtual machines.The operational and abstract character of
- makes the faithfulness of the definitions
with respect to the design intentions checkable by direct inspection,
- supports, by stepwise refinements,
linking the high-level definition in a transparent and well documented
(possibly proven to be correct) way to its implementation.
For a systematic exposition of the ASM systems
engineering method in its full generality see the AsmBook. The ASM method provides in particular a
framework for the design and the mathematical analysis of architectures. The
following papers have pioneered the method through some characteristic
Book by R. Stärk, J.
Schmid, E. Börger,
Springer LNCS 1212 (1997) 151-187 or
Transputer Instruction Set
Architecture: The Computer Journal 39 (1) 52-92, 1996.
The ground model for the underlying programming language appears in
- Parallel Processor APE100: Ground model
VerifiedComposition (IEEE Proc.
ICECCS'95, 145-148). Full Technical Report version
- Parallel Virtual Machine: shortversion
, full Technical Report version PVM