next up previous
Next:Vector Variables Up:VIS CTL and LTL Syntax Previous:VIS CTL and LTL Syntax

Hierarchical Names

If a variable var belongs to the root model, the hierarchical name of the variable is var. If the variable belongs to a subcircuit in the root model, the hierarchical name of the variable is subcircuit_name .var, where subcircuit_name is the name of the subcircuit. In general, the hierarchical name of a variable is the names of the subcircuits concatenated with `.' followed by its name.



Jayakumar Nikhil 2002-07-18