Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | |
std:channels [2022/07/17 11:05] – rajit | std:channels [2022/07/17 11:07] (current) – rajit |
---|
</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. |
| |
| |
| |
| |
| |
| |
| |
| |