Differences

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

--- intro_example:sizing [2020/12/02 01:00]
127.0.0.1 external edit
+++ intro_example:sizing [2022/05/13 09:21] (current)
rajit
@@ Line 12: / Line 12: @@
 ====== Example 1 - Basic sizing ======
 Now, using our inverter example from first tutorial (inv.act), we can specify sizing for unit sized inverter as:
-<code>
+<code act>
 defproc inv (bool? in; bool! out)
 {
@@ Line 31: / Line 31: @@
 We could also write the same inverter description using ''template'' keyword to design a parameterized inverter as:
-<code>
+<code act>
 template<pint sz>
 defproc inv (bool? in; bool! out)
@@ Line 52: / Line 52: @@
 The [[language:impl#implementation|implementation]] relation is used to implement a type, process, or channel using another type, channel, or process. Let’s look at the example below:
-<code>
+<code act>
 defproc inv (bool? i; bool! o)
 {