Differences

This shows you the differences between two versions of the page.

--- std:channels [2022/07/17 07:05]
rajit
+++ std:channels [2022/07/17 07:07] (current)
rajit
@@ Line 50: / Line 50: @@
 </code>
 This is an M-bit bundled-data channel, with the ''.r'' field for the request and the ''.a'' field for the acknowledge. The channel name beginning with ''r'' corresponds to a bundled-data channel that resets with data on its output.
+Channels ''ts_bd'' and ''ts_rbd'' have the same bundled-data port interface, but instead use transition signalling (two-phase communication) rather than four-phase protocols.
+<code act>
+defchan ledr <: chan(bool) (bool?! data, rep; bool!? a);
+</code>
+This channel represents the level-encoded two-phase protocol (four state encoding), with the ''.data'' field corresponding to the value of the data, and ''.rep'' (repeat) toggling when the data is unchanged.
+<code act>
+defchan xledr <: chan(bool,bool) (bool?! data, rep; bool!? ackdata,ackrep);
+</code>
+This is a ledr-encoded exchange  channel, with one-bit data being sent in both directions.