//
//  FastScan  v8.4_1.17
//
//  Design  = /usr3/local_user/lixin/ccm/ident
//  Created = Tue Apr 25 10:25:26 1995
//  Format  = scan v1.0
//
//  Statistics:
//      Test Coverage   =  100.00%
//      Total Faults    =  170
//          DS (det_simulation)    =  170
//      Total Patterns  =  16
//
//  Settings:
//      Simulation Mode =  combinational, seq_depth = 0
//      Fault Type      =  stuck
//      Fault Mode      =  uncollapsed
//      Pos_Det Credit  =  50%
//      Z external      =  X
//      Z internal      =  X
//      wired_net       =  WIRE
//
//  Warnings:
//

SETUP = 

    declare input bus "PI" = "/CARRYI", "/W", "/CONFI", "/REL1", "/REL0",
         "/RIGHT_EDGEI-1", "/RIGHT_EDGEI", "/AND_OR";

    declare output bus "PO" = "/CARRYI+1", "/CONFI-1", "/CNT0", "/CNT1", "/VARIABLE";

end;

SCAN_TEST =

    pattern = 0;
    force   "PI" "10011000" 0;
    measure "PO" "10100" 1;

    pattern = 1;
    force   "PI" "11001100" 0;
    measure "PO" "10100" 1;

    pattern = 2;
    force   "PI" "01111110" 0;
    measure "PO" "01111" 1;

    pattern = 3;
    force   "PI" "00100111" 0;
    measure "PO" "00000" 1;

    pattern = 4;
    force   "PI" "10001011" 0;
    measure "PO" "00000" 1;

    pattern = 5;
    force   "PI" "00111101" 0;
    measure "PO" "11101" 1;

    pattern = 6;
    force   "PI" "10000110" 0;
    measure "PO" "00000" 1;

    pattern = 7;
    force   "PI" "11000011" 0;
    measure "PO" "10000" 1;

    pattern = 8;
    force   "PI" "00101000" 0;
    measure "PO" "11101" 1;

    pattern = 9;
    force   "PI" "00110110" 0;
    measure "PO" "11111" 1;

    pattern = 10;
    force   "PI" "10011011" 0;
    measure "PO" "11111" 1;

    pattern = 11;
    force   "PI" "10110101" 0;
    measure "PO" "01001" 1;

    pattern = 12;
    force   "PI" "00011011" 0;
    measure "PO" "00100" 1;

    pattern = 13;
    force   "PI" "10001101" 0;
    measure "PO" "00000" 1;

    pattern = 14;
    force   "PI" "00100000" 0;
    measure "PO" "01001" 1;

    pattern = 15;
    force   "PI" "10100010" 0;
    measure "PO" "11011" 1;

end;