Peng, Z. (1988). Semantics of a Parallel Computation Model and its Applications in Digital Hardware Design. Technical Report LiTH-IDA-R-88-36, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of the 1988 International Conference on Parallel Processing, Pennsylvania State University, August 15-19, 1988. (bibtex),
Abstract: This paper describes a parallel computation model based on a data/control flow notation which consists of separate but related sub-models of data path and control. The data path is formulated as a directed graph. The control structure, on the other hand, is modelled as a Petri net. This model is used for specification and synthesis of digital hardware with a high degree of concurrency and parallelism. The semantics of the proposed model is defined in terms of its interactions with the environment. That is, two pieces of hardware are considered to be semantically equivalent if they interact with an environment in the same way. This allows manipulation of the internal structure of the hardware to improve performance as well as reduce cost. A set of transformations for the model which preserve its semantics is presented. A sequence of such transformations can be used to move a design from an abstract description to a final implementation.
CS Dept TR Overview