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

Active Source

Specifications

Informal

An Active Source has only one output terminal and will produce 1 signal on this terminal. Once the environment has received this signal, the behavior of the Source system is that of .

XDI

Schematic diagram for an Active Source:

[Zoom|FIG]


[Zoom|FIG]

Specification in XDI model:

(AND/IF_1.0
  (NFA
    (NAME 1-Source)
    (INTERPRETATION Verhoeff/XDI)
    (SYMBOLS 
      (a OUTPUT)
    )
    (STATES
      (0 INITIAL TRANSIENT)
      (1 BOX)
    )
    (TRANSITIONS
      (0 1 a)
    )
  )
)
Also available through this link

Verdect

Specification in Verdect:


define
	SOURCE( a! ) = pref(a!)
end
Also available through this link

DI Algebra

Specification in DI Algebra:


NAME = SOURCE
I = { }  O = { a! }
S = a!;[ ]
Also available through this link

Properties

XDI Report.

Implementations

DI Decompositions

No information available

Using Boolean Gates

No information available

Using Transistors

No information available

Generalizations

No information available

Miscellaneous

In Section 2.2.9 of [Ebergen89, p. 32], the Active Source is referred to as an active SOURCE component.

References

[Ebergen89, p. 32]


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