OR Element

Specifications

Informal

An OR Element is a handshake component with one passive port a and two active ports b and c. Each handshake through a encloses either a handshake through through b or one through c.

XDI

Schematic diagram for an OR Element:

[Zoom|FIG]

XDI state graph for an OR Element:

[Zoom|FIG]

Specification in XDI model.

Verdect

Specification in Verdect:

define OR( a0?, a1!, b0!, b1?, c0!, c1? ) =
	pref *[ a0?; (( b0!; b1? ) | ( c0!; c1?)); a1! ]
end

Also available through this link

This verification report compares the Verdect specification with the XDI specification.

DI Algebra

Specification in DI Algebra:


NAME = "OR Element (dial)"
I    = { a0?, b1?, c1? }
O    = { a1!, b0!, c0! }
OR   = [a0? -> [b0! -> ORb, c0! -> ORc], else -> CHAOS]
ORb  = [b1? -> a1!;OR, else -> CHAOS]
ORc  = [c1? -> a1!;OR, else -> CHAOS]

Also available through this link

This verification report compares the DI Algebra specification with the XDI specification.

The OR Element is output-nondeterministic: in state 1 there is a choice between outputs b0 and c0; this nondeterminism is static, leaving a designer the choice to implement the OR Element with a ....

XDI Report.

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

OR Element

Specifications

Informal

XDI

Verdect

DI Algebra

Properties

Implementations

DI Decompositions

Using Boolean Gates

Using Transistors

Generalizations

Miscellaneous

References

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