Differences

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

--- language:langs:chp [2023/04/07 12:19] – [Syntactic replication] rajit
+++ language:langs:chp [2024/07/20 16:36] (current) – [Advanced expression syntax] rajit
@@ Line 86: / Line 86: @@
 In the published literature, non-deterministic selections are usually written using a thin bar ''|'' rather than the thick bar ''[]''. However, this can create some ambiguities in parsing. For example, consider the statement ''[ a -> y:=b | c | d -> skip ]''. This can be parsed in a number of ways, and it is not clear which one was the intended option.
+===== Arrays: dynamic v/s non-dynamic indices =====
+Suppose an array ''x'' has been declared as:
+<code act>
+int x[10];
+</code>
+Now when ''x'' is accessed in CHP, it could be accessed with an array index that is a run-time constant, or an index that is computed at run-time. For example, the CHP program
+<code act>
+chp {
+   ...
+   x[0] := x[0] + 1;
+   ...
+}
+</code>
+uses ''x'' with a constant index. As opposed to this, the program
+<code act>
+chp {
+   ...
+   x[i] := x[i] + 1;
+   ...
+}
+</code>
+uses ''x'' with an index that is computed using the run-time value of ''i''. This second category of arrays are referred to as //dynamic arrays//---not because the array size is dynamic, but because the element of the array accessed depends on a value that is computed by the circuit.  Such dynamic arrays have to be translated into memory structures, or other circuits where the element being accessed has to be specified at run-time. Arrays with constant references can be directly mapped to circuit implementations of asynchronous registers, since the element to be accessed can be determined statically.
 ===== Loops =====
@@ Line 130: / Line 156: @@
 ===== Advanced expression syntax =====
+==== Bitslice assignment ====
+For integer-valued variables, one can assign to some of the bits. The syntax for this is:
+<code act>
+ int<8> x;
+ ...
+ chp {
+   ...
+    x{4..2} := 4;
+   ...
+ }
+</code>
+This will update three bits of ''x'' based on the bit-pattern of the right hand side (in this case ''100'').
 ==== Channels in expressions ====
@@ Line 286: / Line 329: @@
 *[ C?c; [ ([] i : N : c = i -> I[i]?d) ]; O!d ]
 </code>
-where ''N'' is the number of channels in the ''I'' array.
+where ''N'' is the number of channels in the ''I'' array. This approach ensures that index for the array ''I[]'' is always a constant.
 ====== The chp-txt sublanguage ======