MODULE VENDING

" TOOL:     ispDesignExpert
" DATE:     2000.10.30 
" TITLE:    ispDesignExpert
" MODULE:   VENDING
" DESIGN:   VENDING
" FILENAME: vending.abv
" PROJECT:  vending
" VERSION:  8.1

" Inputs
    Coin25 pin;
    Coin10 pin;
    Coin5 pin;
    RESET pin;
    CLOCK pin;

" Outputs
    ChocBarOpen pin;

Test_vectors
([Coin25,Coin10,Coin5,RESET,CLOCK] -> [ChocBarOpen])
	[1,0,0,1,.C.] -> 0;
	[1,0,0,0,.C.] -> 0;
	[1,0,0,0,.C.] -> 1;
	[0,1,0,0,.C.] -> 0;
	[1,0,0,0,.C.] -> 0;
	[1,0,0,0,.C.] -> 1;
	[0,0,1,0,.C.] -> 0;
	[1,0,0,1,.C.] -> 0;
	[1,0,0,0,.C.] -> 0;
	[1,0,0,0,.C.] -> 1;
	[1,0,0,1,.C.] -> 0;
	[1,0,0,1,.C.] -> 0;
	[0,1,0,0,.C.] -> 0;
	[1,0,0,0,.C.] -> 0;
	[0,0,1,0,.C.] -> 0;
	[0,0,1,0,.C.] -> 1;
	[1,0,0,0,.C.] -> 0;

END VENDING