Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
|
language:langs:hse [2020/07/09 06:40] rajit created |
language:langs:hse [2022/05/13 08:50] (current) rajit |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| The handshaking expansion language uses the same syntax as [[language: | The handshaking expansion language uses the same syntax as [[language: | ||
| * All variables are Boolean-valued | * All variables are Boolean-valued | ||
| - | * Communication actions are not permitted | + | * Communication actions are not permitted; they should be // |
| For example, a four-phase active handshake on wires '' | For example, a four-phase active handshake on wires '' | ||
| - | < | + | < |
| hse { | hse { | ||
| *[ xo+; [xi]; xo-; [~xi] ] | *[ xo+; [xi]; xo-; [~xi] ] | ||