Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
std:channels [2022/07/17 07:05] rajit |
std:channels [2022/07/17 07:07] rajit |
||
---|---|---|---|
Line 50: | Line 50: | ||
</ | </ | ||
This is an M-bit bundled-data channel, with the '' | This is an M-bit bundled-data channel, with the '' | ||
+ | |||
+ | Channels '' | ||
+ | |||
+ | <code act> | ||
+ | defchan ledr <: chan(bool) (bool?! data, rep; bool!? a); | ||
+ | </ | ||
+ | This channel represents the level-encoded two-phase protocol (four state encoding), with the '' | ||
+ | |||
+ | <code act> | ||
+ | defchan xledr <: chan(bool, | ||
+ | </ | ||
+ | This is a ledr-encoded exchange | ||
+ | |||
+ | |||
+ | |||
+ | |||