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

Resettable Join

Specifications

Informal

A Resettable Join has three input terminals, a,b and r, and two output terminals, c and k.

Restricted to the terminals a, b and c it behaves just like a Join. However, in a state where only one of the inputs a or b has been sent, but not the other, the sent signal can be 'withdrawn' by sending a signal on r, that will reset the component and that will be acknowledged by output on k.

XDI

Specification in XDI model.

Verdect

Specification in Verdect:


define RJOIN( a?, b?, c!, r?, k! ) =
       pref *[ ((a? || b?); c!) | (((a? | b?) || r?) ; k!) ]
end
show(RJOIN)
Also available through this link

DI Algebra

Specification in DI Algebra:


NAME = "Resettable Join"
I = { a?, b?, r? }
O = { c!, k! }
RJOIN = [ a? -> [r? -> [k! -> RJOIN, b? -> CHAOS], 
		 b? -> [c! -> RJOIN, r? -> CHAOS]]
        , b? -> [r? -> [k! -> RJOIN, a? -> CHAOS],
		 a? -> [c! -> RJOIN, r? -> CHAOS]]
        ]
Also available through this link

Properties

XDI Report.

The roles of inputs a and b can be interchanged.

Implementations

DI Decompositions

No information available

Using Boolean Gates

No information available

Using Transistors

No information available

Generalizations

No information available

Miscellaneous

No information available

References


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