PADL(ID:4418/pad002)for PAcket Description Language MIT Hardware description language for describing packets References: and structure of packet communication systems. In such systems, hardware units called modules communicate by sending and receiving packets. The behavior of such a system can be specified by providing the algorithm it executes and the data structures it manipulates. On the other hand, the structure of a system is specified by giving the components or of the system and their interconnection. These components can be further specified structurally or behaviorally. The language constructs of PADL fall inW two categories - those for behavior specification and those for structure specification. All these constructs which include the usual control constructs like conditionals and iterations, constructs for the packet oriented inter-module communication operations including a non-deterministic input operation, and facilities for data structuring, defining and invoking procedures, as well as for specifying, using and connecting modules, are described in this preliminary reference hnguage manual, |