EDIS: Guide | FAQ | New | Search | Bibliography | Index | Feedback

k-PAR-Element

Specifications

Informal

A k-PAR-Element is a handshake component with k+1 2-phase handshake ports, one passive and k active. A request on the passive port brings about handshakes on each of the active ports in parallel. When each active port has received an acknowledgment, the passive port is acknowledged.

XDI


An XDI specification is not available for general k. We provide it for the 3-PAR-Element:
[LET OP: spec file 3-par-element-1.ndf niet te openen! (No such file or directory)]

Verdect

The specification of a 3-PAR-Element is as follows: [LET OP: spec file 3-par-element-2.dec niet te openen! (No such file or directory)] . (Not available for general k.)

DI Algebra

We provide the specification for the 3-PAR-Element: [LET OP: spec file 3-par-element-3.dia niet te openen! (No such file or directory)] (Not available for general k.)

Properties

XDI Report.

The behavior of the k-PAR-Element is independent of permuting the k active ports.

Implementations

DI Decompositions

No information available

Using Boolean Gates

No information available

Using Transistors

No information available

Generalizations

The k-PAR-Element is a generalization of a PAR-Element, which does 2 active handshakes in parallel.

Miscellaneous

No information available

References


Last modified at Fri Nov 20 10:11:40 1998
Encyclopaedia of Delay-Insensitive Systems
Copyright © 1995-1998 Tom Verhoeff / Tom.Verhoeff@acm.org