Example of  Test Pattern file

in vdd;

in vss;

in x;

in res;

in ck;

out y(1 to 0);

begin

pat_1 : 1 0   1    1 0  ?**;        /* 1st bit representation  of  vdd

                                                    2nd bit respresentation of vss

                                                    3rd bit respresentation of x

                                                    4th bit respresentation of res

                                                    5th bit respresentation of ck

                                                    **  respresentation of y(1 to 0)

                                                */

pat_2 : 1 0   1    0 1  ?**;

pat_3 : 1 0   1    0 0  ?**;

pat_4 : 1 0   1    0 1  ?**; 

pat_5 : 1 0   1    0 0  ?**;

pat_6 : 1 0   0    0 1  ?**;

pat_7 : 1 0   0    0 0  ?**;  

pat_8 : 1 0   0    0 1  ?**;

pat_10 : 1 0   1    1 0  ?**;

pat_11 : 1 0   0    0 1  ?**;

pat_12 : 1 0   1    0 0  ?**;

pat_13 : 1 0   1    0 1  ?**;

pat_14 : 1 0   0    0 0  ?**;

pat_15 : 1 0   1    0 1  ?**;

pat_16 : 1 0   1    0 0  ?**;

pat_17 : 1 0   0    0 1  ?**;

pat_18 : 1 0   1    0 0  ?**;

pat_19 : 1 0   1    0 1  ?**;

pat_20 : 1 0   0    0 0  ?**;

pat_21 : 1 0   1    0 1  ?**;

pat_22 : 1 0   0    0 0  ?**;

pat_23 : 1 0   1    1 1  ?**;

pat_24 : 1 0   1    0 0  ?**;

pat_25 : 1 0   0    0 1  ?**;

end;