Index of types


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]