© 1985 by British Computer Society
A PMS Level Notation for the Description and Simulation of Digital Systems
1 *
1 Mihailo Pupin Institute, Computer Engineering Dept. (201), PO Box 15 Volgina 15, Belgrade, Yugoslavia, 2 Carnegie-Mellon University, Computer Science Dept., Schenley Park, Pittsburgh, USA, 3 Intel Corp., AL3-2-495, 3585 Southwest 198, Aloha, Oregon, USA
The description of structural aspects of a digital system presents certain requirements that are not covered by the semantics of ISPS or other behavioural description languages. To this end we have designed and implemented a specialised language based on the PMS level of design first introduced by Bell and Newell. The PMS notation described in this paper allows the specification of instances of components, their interconnections, and the validation of these interconnections. The notation blends easily with ISPS, and systems described in PMS can incorporate ISPS description of components whose structural aspects are to remain hidden or unspecified. To illustrate the use of both notations in the description of a complex system, we describe a computer consisting of a central processor, memory units, and peripheral units, connected through a DEC PEP-11 UNIBUS.
* Address for correspondence: Dr Jovan Djordjevi
Mihailo Pupin Institute, Computer Engineering Dept. (201), PO Box 15 Volgina 15, 11000 Belgrade, Yugoslavia.
Carnegie-Mellon University, Computer Science Dept., Schenley Park, Pittsburgh PA 15 213, USA.
¶ Intel Corp., AL3-2-495, 3585 Southwest 198, Aloha, Oregon 97006, USA.