MODULE MOD60
" TOOL:     ispDesignExpert
" DATE:     2000.10.28 
" TITLE:    ispDesignExpert
" MODULE:   MOD60
" DESIGN:   MOD60
" FILENAME: mod60.abv
" PROJECT:  mod60
" VERSION:  8.1
" Inputs
    COUNT_UP pin;
    COUNT_DOWN pin;
    CLOCK pin;


" Outputs
    COUNT_1_ pin;
    COUNT_2_ pin;
    COUNT_3_ pin;
    COUNT_4_ pin;
    COUNT_5_ pin;
    COUNT_6_ pin;
    OVERFLOW pin;

Test_vectors
([COUNT_UP,COUNT_DOWN,CLOCK] -> [COUNT_1_,COUNT_2_,COUNT_3_,COUNT_4_,COUNT_5_,COUNT_6_,OVERFLOW])
	[0,0,.C.] -> [0,0,0,0,0,0,0];
	[0,0,.C.] -> [0,0,0,0,0,0,0];
	[1,0,.C.] -> [1,0,0,0,0,0,0];
	[1,0,.C.] -> [0,1,0,0,0,0,0];
	[1,0,.C.] -> [1,1,0,0,0,0,0];
END MOD60