k-Fork

Specifications

Informal

A k-Fork has one input terminal a and k output terminals b₀ through b_k-1. An input signal produces an output signal on each of the output terminals. Input and output signals alternate.

XDI

Schematic diagram for a k-Fork:

[Zoom|FIG]

The XDI specification for a 3-Fork:

Specification in XDI model.

(Not available for general k.)

Verdect

Parameterized definitions are not possible in VERDECT, but this sketch gives the general idea:

Specification in Verdect:

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

Also available through this link

DI Algebra

Pure DI Algebra does not allow a generalized specification. The following specification therefore needs instantiation before interpretation:

Specification in DI Algebra:


F(k) = a?;(; i: 0<= i < k: b_i!);F(k)

Also available through this link

We provide the DI Algebra specification for the a 3-Fork:

Specification in DI Algebra:

NAME ="3-FORK"
I    = { a? }
O    = { b0!, b1!, b2! }

FORK3 = a?; b0!; b1!; b2!; FORK3

Also available through this link

Comparing this specification with the XDI specification.

Properties

The XDI Report for the 3-Fork.

Implementations

DI Decompositions

A 2-Fork is a Fork.
A k-Fork can be constructed from (k-1) Forks in a tree-structure.

Using Boolean Gates

No information available

Using Transistors

No information available

Generalizations

No information available

Miscellaneous

In the Macromodule project, the Fork is referred to as a Branch.

k-Fork

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