Differences

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

--- tools:chp2prs [2025/10/29 22:14] – karthi
+++ tools:chp2prs [2025/11/04 03:06] (current) – [External Constants] karthi
@@ Line 22: / Line 22: @@
 i.e. a (possibly empty) semi-colon separated list of initializations to a subset of variables used in the CHP, followed by an infinite repetition of an arbitrary CHP program P. The values ''vi'' must evaluate to constants. There are no restrictions on ''P'', but some forms of ''P'' will lead to circuits that are much more expensive compared to others, as we will see later. Further, the channel implementation leads to all receives being passive and all sends being active. This means that (currently) only the receiving side may probe a channel. At the process level, the ports of a process may only be channels or Booleans (see section below on external constants for usage).
-===== Synthesis Command =====
+===== Synthesis Commands =====
 The standard synthesis steps to produce a bundled-data circuit looks like this:
  <code>
@@ Line 43: / Line 43: @@
 </code>
-This two-step process will soon be integrated into one command (TODO).
+This two-step process will soon be integrated into one command (TODO). To know more about what the ''-ref=n'' flags mean, please see this page: [[language:langs:refine|Refinement]].
 ===== Program Structure =====
@@ Line 190: / Line 190: @@
 <code>
-defproc neuron ( ... , bool model[2] )
+defproc neuron ( ... ; bool model[2] )
 {
 ...