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