// // FastScan v8.4_1.17 // // Design = /usr3/local_user/lixin/ccm/state_scan // Created = Tue Apr 25 10:31:32 1995 // Format = scan v1.0 // // Statistics: // Test Coverage = 100.00% // Total Faults = 202 // DS (det_simulation) = 174 // DI (det_implication) = 26 // TI (tied) = 2 // Total Patterns = 21 // // 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: // // Clock Information: // /CLEAR off-state = 0 type = reset-MASTER poflag = 0 // /REQUEST off-state = 0 type = shift-MASTER poflag = 0 // SETUP = declare input bus "PI" = "/PRIME", "/RIGHT_EDGEI", "/W", "/CLEAR", "/SCAN_EN", "/SCAN_IN", "/REQUEST", "/VARIABLE", "/NEXTI"; declare output bus "PO" = "/SLCT0", "/SLCT1", "/READY", "/NEXTI+1", "/SCAN_OUT"; clock "/CLEAR" = off_state = 0; pulse_width = 1; end; clock "/REQUEST" = off_state = 0; pulse_width = 1; end; scan_group "g1" = scan_chain "c1" = scan_in = "/SCAN_IN"; scan_out = "/SCAN_OUT"; length = 2; end; procedure shift "g1_load_shift" = force_sci "c1" 0; force "/REQUEST" 1 1; force "/REQUEST" 0 2; end; procedure shift "g1_unload_shift" = measure_sco "c1" 0; force "/REQUEST" 1 1; force "/REQUEST" 0 2; end; procedure load "g1_load" = force "/SCAN_EN" 1 0; force "/REQUEST" 0 0; force "/CLEAR" 0 0; apply "g1_load_shift" 2 1; end; procedure unload "g1_unload" = force "/SCAN_EN" 1 0; force "/REQUEST" 0 0; force "/CLEAR" 0 0; apply "g1_unload_shift" 2 1; end; end; end; CHAIN_TEST = pattern = 0; apply "g1_load" 0 = chain "c1" = "01"; end; apply "g1_unload" 1 = chain "c1" = "01"; end; pattern = 1; apply "g1_load" 0 = chain "c1" = "10"; end; apply "g1_unload" 1 = chain "c1" = "10"; end; end; SCAN_TEST = pattern = 0; apply "g1_load" 0 = chain "c1" = "00"; end; force "PI" "100011000" 1; measure "PO" "00000" 2; pulse "/REQUEST" 3; apply "g1_unload" 4 = chain "c1" = "01"; end; pattern = 1; apply "g1_load" 0 = chain "c1" = "00"; end; force "PI" "110001010" 1; measure "PO" "10000" 2; pulse "/REQUEST" 3; apply "g1_unload" 4 = chain "c1" = "00"; end; pattern = 2; apply "g1_load" 0 = chain "c1" = "00"; end; force "PI" "011011011" 1; measure "PO" "00110" 2; pulse "/REQUEST" 3; apply "g1_unload" 4 = chain "c1" = "01"; end; pattern = 3; apply "g1_load" 0 = chain "c1" = "10"; end; force "PI" "001000011" 1; measure "PO" "01011" 2; pulse "/REQUEST" 3; apply "g1_unload" 4 = chain "c1" = "10"; end; pattern = 4; apply "g1_load" 0 = chain "c1" = "11"; end; force "PI" "100001001" 1; measure "PO" "00011" 2; pulse "/REQUEST" 3; apply "g1_unload" 4 = chain "c1" = "00"; end; pattern = 5; apply "g1_load" 0 = chain "c1" = "11"; end; force "PI" "110000010" 1; measure "PO" "10001" 2; pulse "/REQUEST" 3; apply "g1_unload" 4 = chain "c1" = "00"; end; pattern = 6; apply "g1_load" 0 = chain "c1" = "01"; end; force "PI" "011011001" 1; measure "PO" "10010" 2; pulse "/REQUEST" 3; apply "g1_unload" 4 = chain "c1" = "11"; end; pattern = 7; apply "g1_load" 0 = chain "c1" = "10"; end; force "PI" "001011010" 1; measure "PO" "01001" 2; pulse "/REQUEST" 3; apply "g1_unload" 4 = chain "c1" = "01"; end; pattern = 8; apply "g1_load" 0 = chain "c1" = "01"; end; force "PI" "100000011" 1; measure "PO" "10010" 2; pulse "/REQUEST" 3; apply "g1_unload" 4 = chain "c1" = "10"; end; pattern = 9; apply "g1_load" 0 = chain "c1" = "10"; end; force "PI" "110000001" 1; measure "PO" "00011" 2; pulse "/REQUEST" 3; apply "g1_unload" 4 = chain "c1" = "10"; end; pattern = 10; apply "g1_load" 0 = chain "c1" = "01"; end; force "PI" "001001000" 1; measure "PO" "10000" 2; pulse "/REQUEST" 3; apply "g1_unload" 4 = chain "c1" = "10"; end; pattern = 11; apply "g1_load" 0 = chain "c1" = "00"; end; force "PI" "110000011" 1; measure "PO" "10100" 2; pulse "/REQUEST" 3; apply "g1_unload" 4 = chain "c1" = "01"; end; pattern = 12; apply "g1_load" 0 = chain "c1" = "01"; end; force "PI" "011011011" 1; measure "PO" "10010" 2; pulse "/REQUEST" 3; apply "g1_unload" 4 = chain "c1" = "11"; end; pattern = 13; apply "g1_load" 0 = chain "c1" = "00"; end; force "PI" "100001011" 1; measure "PO" "10010" 2; pulse "/REQUEST" 3; apply "g1_unload" 4 = chain "c1" = "01"; end; pattern = 14; apply "g1_load" 0 = chain "c1" = "00"; end; force "PI" "110000001" 1; measure "PO" "00010" 2; pulse "/REQUEST" 3; apply "g1_unload" 4 = chain "c1" = "10"; end; pattern = 15; apply "g1_load" 0 = chain "c1" = "01"; end; force "PI" "110001000" 1; measure "PO" "00010" 2; pulse "/REQUEST" 3; apply "g1_unload" 4 = chain "c1" = "10"; end; pattern = 16; apply "g1_load" 0 = chain "c1" = "10"; end; force "PI" "001010010" 1; measure "PO" "01001" 2; pulse "/CLEAR" 3; apply "g1_unload" 4 = chain "c1" = "00"; end; pattern = 17; apply "g1_load" 0 = chain "c1" = "01"; end; force "PI" "100011001" 1; measure "PO" "00010" 2; pulse "/CLEAR" 3; apply "g1_unload" 4 = chain "c1" = "00"; end; pattern = 18; apply "g1_load" 0 = chain "c1" = "11"; end; force "PI" "110011010" 1; measure "PO" "10001" 2; apply "g1_unload" 3 = chain "c1" = "11"; end; pattern = 19; apply "g1_load" 0 = chain "c1" = "00"; end; force "PI" "010010001" 1; measure "PO" "00010" 2; apply "g1_unload" 3 = chain "c1" = "00"; end; pattern = 20; apply "g1_load" 0 = chain "c1" = "00"; end; force "PI" "100000000" 1; measure "PO" "00000" 2; pulse "/REQUEST" 3; apply "g1_unload" 4 = chain "c1" = "00"; end; end; SCAN_CELLS = scan_group "g1" = scan_chain "c1" = scan_cell = 0 MASTER FFFF "/DFF2" "" "d" "q"; scan_cell = 1 MASTER FFFF "/DFF1" "" "d" "q"; end; end; end;