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




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


Schematic diagram for a k-Fork:


The XDI specification for a 3-Fork:

Specification in XDI model.

(Not available for general k.)


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)!) ]
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:

I    = { a? }
O    = { b0!, b1!, b2! }

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

Also available through this link

Comparing this specification with the XDI specification.


The XDI Report for the 3-Fork.


DI Decompositions

  1. A 2-Fork is a Fork.
  2. 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


No information available


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


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