Sink

Specifications

Informal

A Sink (or One-Time Sink) has only one input terminal and it can accept at most 1 signal at this terminal. After receiving such a signal it behaves like a 0-Sink.

XDI

Schematic diagram for a Sink:

[Zoom|FIG]

Specification in XDI model:

(AND/IF_1.0
  (NFA
    (NAME 0-Sink)
    (INTERPRETATION Verhoeff/XDI)
    (SYMBOLS 
      (a INPUT)
    )
    (STATES
      (0 INITIAL BOX)
      (1 BOX)
    )
    (TRANSITIONS
      (0 1 a)
    )
  )
)

Also available through this link

Verdect

Specification in Verdect:


define
	SINK(a?) = pref(a?)
end

Also available through this link

DI Algebra

Specification in DI Algebra:


NAME = SINK
I = { a? }  O = { }
S0 = [ ]

Also available through this link

Properties

XDI Report.

SINK / a? = 0-SINK

Implementations

DI Decompositions

No information available

Using Boolean Gates

No information available

Using Transistors

No information available

Generalizations

No information available

Miscellaneous

A Sink can be used to avoid dangling outputs.

In Section 2.2.9 of [Ebergen89, p. 32], the Sink is referred to as SINK component.

References

[Ebergen89, p. 32]

Sink

Informal

DI Decompositions

Using Boolean Gates

Using Transistors

Last modified at Fri Nov 20 10:11:39 1998