Repeater

Specifications

Informal

A Repeater is a handshake component with one passive port a and one active port b. A request on the passive port brings about an infinite sequence of handshakes on the active port. The handshake on a is never completed.

XDI

Schematic diagram for a Repeater:

[Zoom|FIG]

XDI state graph for a Repeater:

[Zoom|FIG]

Specification in XDI model.

Verdect

Specification in Verdect:


define REP( a0?, b0!, b1? ) =
       pref a0?; *[ b0!;b1? ]
end

Also available through this link

DI Algebra

Specification in DI Algebra:


NAME = Repeater
I = { a0?, b1? }
O = { a1!, b0! }
REP = S
S   = [a0? -> b0!;R, b1? -> CHAOS]
R   = [b1? -> b0!;R, a0? -> CHAOS]

Also available through this link

Properties

XDI Report.

Implementations

DI Decompositions

A Repeater can be implemented with a Merge in combination with a Passive Source (to provide the output terminal that is never used) (not equ):

[Zoom|FIG]

Using Boolean Gates

No information available

Using Transistors

No information available

Generalizations

No information available

Miscellaneous

In [Berkel93c], the Repeater is denoted by just REP.

References

[Berkel93c]

Repeater

Informal

DI Decompositions

Using Boolean Gates

Using Transistors

Last modified at Fri Nov 20 10:14:22 1998