Sample Sequential Machine Test Vector File

% --------------------------------------------------------------

File:			dblloop.vec
Author:			Charles S. Tritt, Ph.D.
Last updated:	2/15/97

This file tests the double loop state machine specified in the
dblloop.tdf file.

---------------------------------------------------------------%

UNIT ms;      % Set the time units to milliseconds. %
START 0;      % Set the starting time for the simulation. %
STOP 250;     % Set the stopping time for the simulation. %
INTERVAL 5;   % Step interval corresponds to 100 Hz clock. %
GROUP CREATE state = c1 c0;  % Create a group to represent
                               the state numerically. %
RADIX HEX;    % Set the radix for the group (state) output. %
INPUTS clock reset move cw/ccw goright;
OUTPUTS left state;     % Include the state in the output list. %
% A BURIED statement could go here. %
% A COMB (combinational) statement could go here. %
% A MACHINE statement could go here to specify a state machine's
  secondary inputs (CLOCK, PRESET and RESET) if the file was to
  be imported into a .wdf file. %
% A REGISTER statement could go here to specify a node in a 
  preceding OUTPUTS or BURIED statement is driving a register
  and to specify the register's secondary inputs (CLOCK, PRESET 
  and RESET) the file was to be imported into a .wdf file. %

% Use a pattern statement to specify the vectors to be used in
  the simulation and test. %

PATTERN  % clock reset move cw/ccw goright = left state %

0 1 0 0 0 = X X % Reset the machine. % 
1 1 0 0 0 = X X
0 0 0 0 0 = 0 3 % Wait a while in the Start state. %
1 0 0 0 0 = 0 3  
0 0 1 0 0 = 0 3 % Bring move high. %
1 0 1 0 0 = 1 0 % Move CCW left to state Left0. %
0 0 1 0 0 = 1 0
1 0 1 0 0 = 1 1 % Keep moving to state Left1. %
0 0 1 0 0 = 1 1
1 0 1 0 0 = 1 2 % Keep moving to state Left2. %
0 0 1 0 0 = 1 2
1 0 1 0 0 = 0 3 % Get back to Start. %
0 0 1 0 0 = 0 3
1 0 1 0 0 = 1 0 % Start around again. %
0 0 1 0 1 = 1 0 % Bring goright high. %
1 0 1 0 1 = 1 1 % Keep going. %
0 0 1 0 1 = 1 1
1 0 1 0 1 = 1 2 % Keep going. %
0 0 1 0 1 = 1 2
1 0 1 0 1 = 0 3 % Get back to Start and Goright. %
0 0 1 0 1 = 0 3
1 0 1 0 1 = 0 2 % Move CCW right to state Right2. % 
0 0 1 0 1 = 0 2
1 0 1 0 1 = 0 1 % Move CCW to state Right1. % 
0 0 1 1 1 = 0 1 % Bring cw/ccw high. %
1 0 1 1 1 = 0 2 % Move CW back to state Right2. % 
0 0 1 1 1 = 0 2
1 0 1 1 1 = 0 3 % Move CW back to Start. % 
0 0 1 1 1 = 0 3
1 0 1 1 1 = 0 0 % Move CW to Right0. % 
0 0 1 1 1 = 0 0
1 0 1 1 1 = 0 1 % Move CW to Right1. % 
0 0 1 1 1 = 0 1
1 0 1 1 0 = 0 2 % Move CW to Right2 and lower Goright. % 
0 0 1 1 0 = 0 2
1 0 1 1 0 = 0 3 % Move CW to Start. % 
0 0 1 1 0 = 0 3
1 0 1 1 0 = 1 2 % Move CW left to state Left2. % 
0 0 1 1 0 = 1 2
1 0 1 1 0 = 1 1 % Move CW to state Left1. % 
0 0 0 0 0 = 1 1 % Lower Move. %
1 0 0 0 0 = 1 1 % Hold in state Left1. % 
0 0 1 0 0 = 1 1 % Rise Move. %
1 0 1 0 0 = 1 2 % Move CCW to state Left2. % 
0 0 1 0 0 = 1 2
1 0 1 0 0 = 0 3 % Move CW back to Start and lower Move. %
0 0 0 0 0 = 0 3 
1 0 0 0 0 = 0 3 % Hold in Start state. %
0 0 0 0 0 = 0 3
1 0 0 0 0 = 0 3 % Hold in Start state. %
0 0 0 0 0 = 0 3
1 0 0 0 0 = 0 3 % Hold in Start state. %
;