Vector Variables

Vector variables have the form var-name[i:j]; each bit can be written as either var-name<i> or var-name [i]. To compare a value to a vector variable , the following can be used.

var-name[i:j] = n
              = bxxx
              = {value1,value2,...,valueN}
                                 
n: integer, bxxx: binary string, valueN: either n or bxxx

For instance, counter[3:0] = 10, counter[3:0] = b1010, counter[3:0] = {1,2,10} are valid formulae. For variables of enumerated types, one can write var-name = {RED, YELLOW, BLUE} without vector indices. var-name [i:j] = {value1,value2,...,valueN} represents set membership; that is, it is equivalent to (var-name[i:j] = value1) + (var-name [i:j] = value2) + ..... + (var-name[i:j] = valueN).