MODULE COUNTER

" TOOL:     ispDesignExpert
" DATE:     2000.10.30 
" TITLE:    ispDesignExpert
" MODULE:   COUNTER
" DESIGN:   COUNTER
" FILENAME: counter.abt
" PROJECT:  counter
" VERSION:  8.1

" Inputs
    CLOCK pin;

" Outputs
    ONES_0_ pin;
    ONES_1_ pin;
    ONES_2_ pin;
    ONES_3_ pin;
    TENS_0_ pin;
    TENS_1_ pin;
    TENS_2_ pin;
    TENS_3_ pin;
    HUNDREDS_0_ pin;
    HUNDREDS_1_ pin;
    HUNDREDS_2_ pin;
    HUNDREDS_3_ pin;
    THOUSANDS_0_ pin;
    THOUSANDS_1_ pin;
    THOUSANDS_2_ pin;
    THOUSANDS_3_ pin;


" Bidirs



Test_vectors
([CLOCK] -> [ONES_0_,ONES_1_,ONES_2_,ONES_3_,TENS_0_,TENS_1_,TENS_2_,TENS_3_,HUNDREDS_0_,HUNDREDS_1_,HUNDREDS_2_,HUNDREDS_3_,THOUSANDS_0_,THOUSANDS_1_,THOUSANDS_2_,THOUSANDS_3_])
.C. ->[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0];
.C. ->[0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0];
.C. ->[1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0];
.C. ->[0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0];
.C. ->[1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0];
.C. ->[0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0];
.C. ->[1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0];
.C. ->[0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0];
.C. ->[1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0];

.C. ->[0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0];
.C. ->[1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0];
.C. ->[0,1,0,0,1,0,0,0,0,0,0,0,0,0,0,0];
.C. ->[1,1,0,0,1,0,0,0,0,0,0,0,0,0,0,0];
.C. ->[0,0,1,0,1,0,0,0,0,0,0,0,0,0,0,0];
.C. ->[1,0,1,0,1,0,0,0,0,0,0,0,0,0,0,0];
.C. ->[0,1,1,0,1,0,0,0,0,0,0,0,0,0,0,0];
.C. ->[1,1,1,0,1,0,0,0,0,0,0,0,0,0,0,0];
.C. ->[0,0,0,1,1,0,0,0,0,0,0,0,0,0,0,0];
.C. ->[1,0,0,1,1,0,0,0,0,0,0,0,0,0,0,0];

.C. ->[0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0];
.C. ->[1,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0];
.C. ->[0,1,0,0,0,1,0,0,0,0,0,0,0,0,0,0];
.C. ->[1,1,0,0,0,1,0,0,0,0,0,0,0,0,0,0];
.C. ->[0,0,1,0,0,1,0,0,0,0,0,0,0,0,0,0];
.C. ->[1,0,1,0,0,1,0,0,0,0,0,0,0,0,0,0];
.C. ->[0,1,1,0,0,1,0,0,0,0,0,0,0,0,0,0];
.C. ->[1,1,1,0,0,1,0,0,0,0,0,0,0,0,0,0];
.C. ->[0,0,0,1,0,1,0,0,0,0,0,0,0,0,0,0];
.C. ->[1,0,0,1,0,1,0,0,0,0,0,0,0,0,0,0];

.C. ->[0,0,0,0,1,1,0,0,0,0,0,0,0,0,0,0];
.C. ->[1,0,0,0,1,1,0,0,0,0,0,0,0,0,0,0];
.C. ->[0,1,0,0,1,1,0,0,0,0,0,0,0,0,0,0];
.C. ->[1,1,0,0,1,1,0,0,0,0,0,0,0,0,0,0];
.C. ->[0,0,1,0,1,1,0,0,0,0,0,0,0,0,0,0];
.C. ->[1,0,1,0,1,1,0,0,0,0,0,0,0,0,0,0];
.C. ->[0,1,1,0,1,1,0,0,0,0,0,0,0,0,0,0];
.C. ->[1,1,1,0,1,1,0,0,0,0,0,0,0,0,0,0];
.C. ->[0,0,0,1,1,1,0,0,0,0,0,0,0,0,0,0];
.C. ->[1,0,0,1,1,1,0,0,0,0,0,0,0,0,0,0];

.C. ->[0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0];
.C. ->[1,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0];
.C. ->[0,1,0,0,0,0,1,0,0,0,0,0,0,0,0,0];
.C. ->[1,1,0,0,0,0,1,0,0,0,0,0,0,0,0,0];
.C. ->[0,0,1,0,0,0,1,0,0,0,0,0,0,0,0,0];
.C. ->[1,0,1,0,0,0,1,0,0,0,0,0,0,0,0,0];
.C. ->[0,1,1,0,0,0,1,0,0,0,0,0,0,0,0,0];
.C. ->[1,1,1,0,0,0,1,0,0,0,0,0,0,0,0,0];
.C. ->[0,0,0,1,0,0,1,0,0,0,0,0,0,0,0,0];
.C. ->[1,0,0,1,0,0,1,0,0,0,0,0,0,0,0,0];

.C. ->[0,0,0,0,1,0,1,0,0,0,0,0,0,0,0,0];
.C. ->[1,0,0,0,1,0,1,0,0,0,0,0,0,0,0,0];
.C. ->[0,1,0,0,1,0,1,0,0,0,0,0,0,0,0,0];
.C. ->[1,1,0,0,1,0,1,0,0,0,0,0,0,0,0,0];
.C. ->[0,0,1,0,1,0,1,0,0,0,0,0,0,0,0,0];
.C. ->[1,0,1,0,1,0,1,0,0,0,0,0,0,0,0,0];
.C. ->[0,1,1,0,1,0,1,0,0,0,0,0,0,0,0,0];
.C. ->[1,1,1,0,1,0,1,0,0,0,0,0,0,0,0,0];
.C. ->[0,0,0,1,1,0,1,0,0,0,0,0,0,0,0,0];
.C. ->[1,0,0,1,1,0,1,0,0,0,0,0,0,0,0,0];

.C. ->[0,0,0,0,0,1,1,0,0,0,0,0,0,0,0,0];
.C. ->[1,0,0,0,0,1,1,0,0,0,0,0,0,0,0,0];
.C. ->[0,1,0,0,0,1,1,0,0,0,0,0,0,0,0,0];
.C. ->[1,1,0,0,0,1,1,0,0,0,0,0,0,0,0,0];
.C. ->[0,0,1,0,0,1,1,0,0,0,0,0,0,0,0,0];
.C. ->[1,0,1,0,0,1,1,0,0,0,0,0,0,0,0,0];
.C. ->[0,1,1,0,0,1,1,0,0,0,0,0,0,0,0,0];
.C. ->[1,1,1,0,0,1,1,0,0,0,0,0,0,0,0,0];
.C. ->[0,0,0,1,0,1,1,0,0,0,0,0,0,0,0,0];
.C. ->[1,0,0,1,0,1,1,0,0,0,0,0,0,0,0,0];

.C. ->[0,0,0,0,1,1,1,0,0,0,0,0,0,0,0,0];
.C. ->[1,0,0,0,1,1,1,0,0,0,0,0,0,0,0,0];
.C. ->[0,1,0,0,1,1,1,0,0,0,0,0,0,0,0,0];
.C. ->[1,1,0,0,1,1,1,0,0,0,0,0,0,0,0,0];
.C. ->[0,0,1,0,1,1,1,0,0,0,0,0,0,0,0,0];
.C. ->[1,0,1,0,1,1,1,0,0,0,0,0,0,0,0,0];
.C. ->[0,1,1,0,1,1,1,0,0,0,0,0,0,0,0,0];
.C. ->[1,1,1,0,1,1,1,0,0,0,0,0,0,0,0,0];
.C. ->[0,0,0,1,1,1,1,0,0,0,0,0,0,0,0,0];
.C. ->[1,0,0,1,1,1,1,0,0,0,0,0,0,0,0,0];

.C. ->[0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0];
.C. ->[1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0];
.C. ->[0,1,0,0,0,0,0,1,0,0,0,0,0,0,0,0];
.C. ->[1,1,0,0,0,0,0,1,0,0,0,0,0,0,0,0];
.C. ->[0,0,1,0,0,0,0,1,0,0,0,0,0,0,0,0];
.C. ->[1,0,1,0,0,0,0,1,0,0,0,0,0,0,0,0];
.C. ->[0,1,1,0,0,0,0,1,0,0,0,0,0,0,0,0];
.C. ->[1,1,1,0,0,0,0,1,0,0,0,0,0,0,0,0];
.C. ->[0,0,0,1,0,0,0,1,0,0,0,0,0,0,0,0];
.C. ->[1,0,0,1,0,0,0,1,0,0,0,0,0,0,0,0];

.C. ->[0,0,0,0,1,0,0,1,0,0,0,0,0,0,0,0];
.C. ->[1,0,0,0,1,0,0,1,0,0,0,0,0,0,0,0];
.C. ->[0,1,0,0,1,0,0,1,0,0,0,0,0,0,0,0];
.C. ->[1,1,0,0,1,0,0,1,0,0,0,0,0,0,0,0];
.C. ->[0,0,1,0,1,0,0,1,0,0,0,0,0,0,0,0];
.C. ->[1,0,1,0,1,0,0,1,0,0,0,0,0,0,0,0];
.C. ->[0,1,1,0,1,0,0,1,0,0,0,0,0,0,0,0];
.C. ->[1,1,1,0,1,0,0,1,0,0,0,0,0,0,0,0];
.C. ->[0,0,0,1,1,0,0,1,0,0,0,0,0,0,0,0];
.C. ->[1,0,0,1,1,0,0,1,0,0,0,0,0,0,0,0];

.C. ->[0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0];
.C. ->[1,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0];
.C. ->[0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,0];
.C. ->[1,1,0,0,0,0,0,0,1,0,0,0,0,0,0,0];
.C. ->[0,0,1,0,0,0,0,0,1,0,0,0,0,0,0,0];
.C. ->[1,0,1,0,0,0,0,0,1,0,0,0,0,0,0,0];
.C. ->[0,1,1,0,0,0,0,0,1,0,0,0,0,0,0,0];
.C. ->[1,1,1,0,0,0,0,0,1,0,0,0,0,0,0,0];
.C. ->[0,0,0,1,0,0,0,0,1,0,0,0,0,0,0,0];
.C. ->[1,0,0,1,0,0,0,0,1,0,0,0,0,0,0,0];
END