MODULE traffic

" TOOL:     vlog2tf
" DATE:     10/27/00  17:00:07 
" TITLE:    Lattice Semiconductor Corporation
" MODULE:   traffic
" DESIGN:   traffic
" FILENAME: traffic.abv
" PROJECT:  traffic
" VERSION:  1.0
" NOTE: DO NOT EDIT THIS FILE DIRECTLY.
" This file is auto generated by ispDesignEXPERT System.
" It can be removed or overwritten automatically.
" If you want to edit this file, copy it to another file or 
" rename it with different file extension first. 


" Inputs
    clock pin;
    reset pin;
    sensor1 pin;
    sensor2 pin;


" Outputs
    red1 pin;
    yellow1 pin;
    green1 pin;
    red2 pin;
    yellow2 pin;
    green2 pin;


" Bidirs



Test_vectors
([clock,reset,sensor1,sensor2] -> [red1,yellow1,green1,red2,yellow2,green2])
	[.C.,0,.X.,.X.] -> [.X.,.X.,.X.,.X.,.X.,.X.];
	[.C.,1,.X.,.X.] -> [0,0,1,1,0,0];
	[.C.,0,1,1] ->  [0,0,1,1,0,0];
	[.C.,0,1,1] ->  [0,0,1,1,0,0];
	[.C.,0,1,1] ->  [0,1,0,1,0,0];
	[.C.,0,1,1] ->  [1,0,0,0,0,1];
	[.C.,0,1,1] ->  [1,0,0,0,0,1];
	[.C.,0,1,1] ->  [1,0,0,0,0,1];
	[.C.,0,1,0] ->  [1,0,0,0,0,1];
	[.C.,0,1,0] ->  [1,0,0,0,1,0];
	[.C.,0,1,0] ->  [0,0,1,1,0,0];
	[.C.,0,1,0] ->  [0,0,1,1,0,0];
END