k-Merge

Specifications

Informal

A k-Merge has k input terminals a₀ through a_k-1 and one output terminal b. After receiving a signal on one input terminal an output signal is produced. Input and output signals alternate.

XDI

Schematic diagram for a k-Merge:

[Zoom|FIG]

An XDI specification is not available for general k. We provide it for the 3-Merge:

Specification in XDI model.

Verdect

The specification of a 3-Merge is as follows:

Specification in Verdect:

define MERGE( a0?,.., a(k-1)?, b! ) =
       pref *[ (a0? | .. | a(k-1)?); b! ]
end

Also available through this link

. (Not available for general k.)

DI Algebra

We provide the specification for the 3-Merge:

Specification in DI Algebra:

NAME ="M"
I    = { a0?, a1?, a2? }
O    = { b! }

M = [
     a0? -> b!; M
,    a1? -> b!; M
,    a2? -> b!; M
]

Also available through this link

(Not available for general k.)

Properties

The XDI Report for the 3-Merge.

Implementations

DI Decompositions

A 1-Merge is a Wire.
A 2-Merge is a Merge.
A k-Merge can be built using a tree of k-1 Merges.

Using Boolean Gates

No information available

Using Transistors

No information available

Generalizations

No information available

Miscellaneous

No information available

k-Merge

Specifications

Informal

XDI

Verdect

DI Algebra

Properties

Implementations

DI Decompositions

Using Boolean Gates

Using Transistors

Generalizations

Miscellaneous

References

Last modified at Fri Nov 20 10:11:40 1998