Annotated data types for addressed token passing networks

The paper applies annotated data type descriptions of the hardware component interfaces to a synthesis of its internal communication structure. The implementation of a component´s functionality is recursively decomposed into smaller blocks which by themselves communicate through random addressable bus interfaces. This represents a form of token passing network or Petri net. To facilitate the communication through random addressable bus interfaces along the arcs of the network, the information carried by each token is partitioned into an address part and a data part. This new approach shows advantages for implementing hardwired pipeline structures. A distinction of tokens into state changes and workload data allows the synthesis of a state distribution network that can handle the propagation of state changes autonomously and efficiently