Arrayed connections - CAST to HAC Migration Guide
Description: CAST to HAC Migration Guide

Previous: Scalar instance connections, Up: Connections

### 6.2 Arrayed connections

HAC forbids the declaration of an array with port connections in the same statement1. For example, ``inv x[4](i, o);`' is invalid. Given an array, one should declare the array up front and then connect the ports in a loop.

         bool i[4], o[4];
         inv x[4];
         (;j:4:
           x[j](i[j], o[j]);
         )

#### Footnotes

[1] The rationale behind this decision is to disambiguate sparsely indexed declarations and arrayed connections. Most likely, such statements would form as the result of an error in translating from CAST.