Differences

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

Link to this comparison view

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:
 </code> </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. 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.
 +
 +
 +
 +