4-Phase-2-Phase Converter

Specifications

Informal

A 4-Phase-2-Phase Converter has two input terminals (a and d) and two output terminals (b and c). Input a and output b alternate (together forming a passive handshake channel), as do output c and input d (together forming an active handshake channel). Every 4 phases abab enclose 2 phases cd.

XDI

Schematic diagram for a 4-Phase-2-Phase Converter:

[Zoom|FIG]

XDI state graph for a 4-Phase-2-Phase Converter:

[Zoom|FIG]

Specification in XDI model.

Verdect

Specification in Verdect:


define PC42( a?, b!, c!, d? ) =
       pref *[ a? ; ((b! ; a?) || (c! ; d?)) ; b! ]
end

Also available through this link

DI Algebra

Specification in DI Algebra:


NAME = QR42
I = { a?, d? }
O = { b! ,c! }

QR42 = Q
Q = [a? -> ((c!;Qc) ND (b!;Qb)) , d? -> CHAOS]
Qb = [c! -> R, d? -> CHAOS]
Qc = [b! -> R, a? -> CHAOS]
R = [a? -> [d? -> [ b! -> Q]]]
.

Also available through this link