Differences

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

Link to this comparison view

Next revision
Previous revision
Last revision Both sides next revision
language:langs:hse [2020/07/09 06:40]
rajit created
language:langs:hse [2020/12/02 01:00]
127.0.0.1 external edit
Line 3: Line 3:
 The handshaking expansion language uses the same syntax as [[language:langs:chp|CHP]], with the following restrictions: The handshaking expansion language uses the same syntax as [[language:langs:chp|CHP]], with the following restrictions:
    * All variables are Boolean-valued    * All variables are Boolean-valued
-   * Communication actions are not permitted+   * Communication actions are not permitted; they should be //expanded// into handshake protocols, hence the name //handshaking expansions//.
  
 For example, a four-phase active handshake on wires ''xo'' and ''xi'' would be written: For example, a four-phase active handshake on wires ''xo'' and ''xi'' would be written: