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

# k-Fork

## Specifications

### Informal

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.

### 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
```

### 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)
```

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

```

Comparing this specification with the XDI specification.

## Properties

The XDI Report for the 3-Fork.

## Implementations

### 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

## Generalizations

No information available

## Miscellaneous

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