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

Fork

Specifications

Informal

A Fork has one input terminal and two output terminals. Every input signal produces a signal on both output terminals.

XDI

Schematic diagram for a Fork F(a; b, c):


[Zoom|FIG]

XDI state graph for a Fork:


[Zoom|FIG]

Specification in XDI model.


Verdect

Specification in Verdect:


define F( a?, b!, c! ) =
       pref *[ a?; (b! || c!) ]
end
Also available through this link

DI Algebra

Specification in DI Algebra:

NAME = fork
I = {a?}
O = {b!, c!}

F = a?;b!;c!;F
.
Also available through this link

Properties

XDI Report.

The roles of outputs b and c can be interchanged:
F(a; b, c) = F(a; c, b)

Implementations

DI Decompositions

No information available

Using Boolean Gates

No information available

Using Transistors

    Something about amplifiers...

Generalizations

The Fork can be generalized to , which forks to k outputs (k>0). A Fork is a 2-Fork.

Miscellaneous

In [Ornstein67, p. 344], the Fork is referred to as Control Branch.

In [Ebergen89, Section 2.2.4, p. 31], the Fork is referred to as FORK component.

Something about isochronic Forks, symmetric, asymmetric...

References

[Ebergen89, Section 2.2.4, p. 31]
[Ornstein67, p. 344]


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