Processor Description Languages

9.2 Operation State Machine Model 219

graph. The MADL compiler can convert a dynamic OSM model into an equivalent

static one.

9.2.1 Static OSM Model

An architecture model largely deter mines the quality of the ADL built on top of

it. It is important to define a solid computation model as the architecture model.

The Operation State Machine (OSM) model is proposed for such a purpose [1].

It is based on the observation that all processors share the following common

properties:

■ They all interpret instructions. They inherit the common fetching, decoding,

and executing behavior from their common ancestor—the von Neumann

computer.

■ They are logic circuits.