Handshaking Expansion as Action System Re nement


The action system framework is a formalism which can model asynchronous quasi delay insensitive circuits It is expressive enough to give both high level speci cation of the circuit and its implementation up to the gate level A derivation of the gate level description from the speci cation is based on the Re nement Calculus In the paper we present the… (More)