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] |