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

# 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
```

### 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]]]
.
```

XDI Report.

## Implementations

### DI Decompositions

1. A 4-Phase-2-Phase Converter QR42(a,b,c,d) can be implemented using a Merge(m0,m1,b), a Fork(t0,m0,c), a Join(t1,d,m1) and a Toggle(a,t0,t1) (not equ):

[Zoom|FIG]

### Using Boolean Gates

No information available

### Using Transistors

No information available

## Generalizations

No information available

## Miscellaneous

Closely related to the 4-Phase-2-Phase Converter is the 2-Phase-4-Phase Converter that converts handshake protocols in the other direction.

In , d? -> CHAOS] R = a?;d?;b!;Q The implementation above is good enough to refine this specification, too.