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

k-Join

Specifications

Informal

A k-Join has k input terminals a0 through ak-1 and one output terminal b. After receiving a signal on each input terminal an output signal is produced. Input and output signals alternate.

XDI

Schematic diagram for a k-Join:

[Zoom|FIG]

XDI specification for the 3-Join

Specification in XDI model.

(Not available for general k.)

Verdect

The specification of a k-Join for k=3 is as follows:

Specification in Verdect:

define JOIN[k]( a0?,.., a(k-1)?, b! ) =
       pref *[ (a0? || .. || a(k-1)?); b! ]
end
Also available through this link

. (Not available for general k.)

DI Algebra

The DI Algebra specification for the case k=3 is given.

Specification in DI Algebra:

NAME ="3-Join"
I    = { a0?, a1?, a2? }
O    = { b! }

C = a0?;a1?;a2?;b!;C
Also available through this link

(Not available for general k.)

Properties

The XDI Report for the 3-Join
The roles of the inputs can be permuted.:
Join(a_0, ..., a_i,a_j, ...,a_(k-1); b)= Join(a_0, ..., a_j,a_i, ...,a_(k-1); b).

Implementations

DI Decompositions

  1. A 1-Join is a Wire.
  2. A 2-Join is a Join.
  3. A k-Join can be built using a tree of k-1 Joins.

Using Boolean Gates

No information available

Using Transistors

No information available

Generalizations

No information available

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