next up previous
Next: Macro Define Up: CTL Syntax Previous: Hierarchical Names

Vector Variables

Vector variables are refered in the form of var-name[i:j] and each bit can be wrriten 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 enumerate variables, you can write as var-name = {RED,YELLOW,BLUE} without vector indices. var-name[i:j] = {value1,value2,...,valueN} has the same meaning of ( var-name[i:j] = value1) + ( var-name[i:j] = value2) +,...,+ ( var-name[i:j] = valueN).



Jae-Young Jang
Wed Feb 12 14:16:44 MST 1997
Contact 
©2002-2018 U.C. Regents