Program Examples - HACKT Tutorials
Description: HACKT Tutorials

Previous: File Conventions, Up: Compiler

### 2.7 Examples

In this section, we use the following source inv.hac as our input example.

         defproc inv(bool a, b) {
         prs {
           a    -> b-
           ~a   -> b+
         }
         }

         bool x, y;
         inv Z(x, y);

This defines an inverter process `inv` with public boolean ports `a` and `b`. The top-level declares boolean nodes `x` and `y`, which are connected to the ports of instantiated inverter `Z`.

A more comprehensive description of the language can be found built in dox/lang/hac.pdf or installed as /install/share/hackt/doc/pdf/hac.pdf.

TODO: fill in uses of example