Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
| language:langs:hse [2020/07/09 10:40] – created rajit | language:langs:hse [2022/05/13 12: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] ] | ||