C  
circuit [Design] 
A circuit is a completed circuit design.

circuit [Circuit]  
I  
id [Circuit]  
N  
name [Waveform]  
P  
port [Simulate] 
Input and output data is represented as an array of integers, where
each element covers 31 bits.

property [Verify] 
Properties are analogous to PSL's formulas.

property [Circuit]  
S  
scope [Waveform]  
sequence [Verify] 
Sequences are analogous to PSL's SEREs.

sequence [Circuit]  
signal [Design] 
Signals represent bit vectors.

signal [Circuit]  
simulator [Simulate] 
Data structure holding the current state of the simulated circuit.

sink [Circuit]  
V  
value [Waveform]  
W  
width [Circuit] 