This section shows two different vector file examples. The first is a vector file for a D flip-flop and the latter is a vector file for a ring oscillator.
; Example vector file (D flip-flop)
type vec
signal D
radix 1
;
io i
; D
; i
; time(ns) n
;
0 1
80 0
110 1
140 0
150 1
160 0
170 1
200 0
; end of file
; Example vector file for ring oscillator
type vec
signal A B C D E F
radix 11 11 11
io ii ii ii
;
; ii ii ii
; nn nn nn
; 12 34 56
;
0 10 10 11
80 00 10 11
110 10 10 10
140 00 10 00
150 10 10 11
160 00 10 10
170 10 10 01
220 10 10 10
270 00 10 11
310 10 10 01
370 00 10 10
400 10 10 11
450 00 10 11
490 10 10 01
560 00 10 11
600 10 10 11
The type specifies that it is a vector file format. The signal
specifies the input signals (order is important). The radix specifies the
number of bits associated with each input signal. For the io, i
indicates that the corresponding signal is an input and the stimulus is used to
stimulate the circuit, o indicates output to be compared.
The following is the content that you would need to use as vector file for Static and PTL.
type vec signal A[15-0] B[15-0] Cn[0] radix 4444 4444 1 io iiii iiii i ; ; ii ii ii ; nn nn nn ; 12 34 56 ; 0 0000 FFFF 0 80 FFFF FFFF 0 110 FFFF 0001 0 140 2222 1111 1 150 5555 5555 0
The following is the content that you would need to use as vector file for Dynamic.
type vec signal A[15-0] B[15-0] Cn[0] CLK radix 4444 4444 1 1 io iiii iiii i i ; ; ii ii ii i ; nn nn nn n ; 12 34 56 7 ; 0 0000 FFFF 0 0 40 0000 FFFF 0 1 80 FFFF FFFF 0 0 110 FFFF 0001 0 0 120 FFFF 0001 0 1 140 2222 1111 1 1 150 5555 5555 0 1 160 5555 5555 0 0