EDIS:
Guide 
FAQ 
New 
Search 
Bibliography 
Index 
Feedback
kFork
Informal
A kFork has one input terminal a and
k output terminals b_{0} through
b_{k1}.
An input signal produces an output signal on each of the output terminals.
Input and output signals alternate.
Schematic diagram
for a kFork:
[ZoomFIG]
The XDI specification for
a 3Fork:
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(k1)! ) =
pref *[ a?; (b0!  ..  b(k1)!) ]
end
Also available through this link
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 3Fork:
Specification in DI Algebra:
NAME ="3FORK"
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
3Fork.
DI Decompositions

A 2Fork is a Fork.

A kFork
can be constructed from (k1) Forks in a
treestructure.
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 DelayInsensitive Systems
Copyright © 19951998
Tom Verhoeff /
Tom.Verhoeff@acm.org