Test_vectors Keyword

Syntax

TEST_VECTORS [note]
(inputs -> outputs )
invalues -> outvalues ;
...

note - A string used to describe the test vectors.

inputs - An identifier or set of identifiers specifying the names of the input signals to the device, or feedback output signals.

outputs - An identifier or set of identifiers specifying the output signals from the device.

invalues - An input value or set of input values.

outvalues - An output value or set of output values resulting from the given inputs.

Use

Test vectors specify the expected functional operation of a logic device by explicitly defining the device outputs as functions of the inputs. Test vectors are used for simulation of an internal model of the device and for functional testing of the programmed device.

Examples

Following is a simple test vector table:

TEST_VECTORS
( [A,B] -> [C,D] )
[0,0] -> [1,1] ;
[0,1] -> [1,0] ;
[1,0] -> [0,1] ;
[1,1] -> [0,0] ;

The following test vector table is equivalent to the table specified above because values for sets can be specified with numeric constants.

TEST_VECTORS
( [A,B] -> [C,D] )
0 -> 3 ;
1 -> 2 ;
2 -> 1 ;
3 -> 0 ;

If the signal identifiers in the test vector header were declared as active-low in the declaration section, then constant values specified in the test vectors will be inverted accordingly.