5(第5章 计算机辅助测试).ppt

次 5.4 微处理器测试程序 （2）功能模型 X：输入的被乘数（R1）； Y：输入的乘数（R2）； R0：输出乘数的高位； R2：输出乘数的低位；C：进位位；Z：零标志位； RTL语言程序： （0）R3 10；循环次数（102） （1）R2 Y；送乘数，如R2=11 （2）R1 X；送被乘数， 如R1=10 （3）R0 00；R0清零 （4）SSRC0R2；带进位循环右移一位 （5）（C=0） （7）；若C=0则转（7），否则执行（6）------第1次判乘数低位；第2次判乘数高位 （6）C0R0 R0+R1； （7）SRRC0R0；带进位位右移 （8）R3 R3—-1；10-1=01 （9）（Z=0） （4）； （10）SRRC0R2 （11）OUT R0；读出乘数高位　Ｒ０＝０１ （12）OUT R2；读出乘数低位　Ｒ２＝１０ 电子科大CAT室 x 1 1 C0 R2 初始化 0 1 0 1 1 0 C0 R0 1 00+10 01+10 R0+ R1 1 0 0 C0 R0 ０ X １ C0 R２ ０１１０（正确） 1 x 1 0 0 1 1 0 x 0 1 1 5.4 微处理器测试程序 （３）故障方程 故障表现：语句（６）是故障语句，在执行（6）号语句前，如有： R0=a1a0，R1=b1b0，R2=c1c0, R3=d1d0, c=e,z=f 在执行（6）号语句后有： R0=D1D0，R1=b1b0，R2=c1c0, R3=d1d0, c=e, 无故障时，执行（6）号语句后有：（ C0R0 R0+R1 正常表现） a1 a0 R0(0)=D0=a0 b0 + b1 b0 R0(1)=D1=a1 b1 a0b0 c R0(0)=a0 b0 c=D2=a1b1 a0b0(a1 b1) a0b0 R0(1)=a1 b1 a0b0 有故障时， 执行（6）号语句后有：（R0 R1） R0(0)=D0= b0 R0(1)=D1= b1 c=D2=e (传送指令不影响标志位） 根据故障方程 F Fa=1 有： （a0 b0) b0=a0=1 (a1 b1 a0b0) b1=a1 a0b0=1 (a1b1 a0b0(a1 b1)) e=1 电子科大CAT室 解这些布尔方程，即可求出故障测试 5.4 微处理器测试程序 （4）故障敏化通路----向输出端敏化 4 6 7 8 9 10 11 12 R0 R1 R2 R3 c z 入口处(6) a1a0 b1b0 c1c0 d1d0 e f (7) D1D01 b1b0 c1c0 d1d0 D2 (8) D2D1 b1b0 c1c0 d1d0 D0 (9) D2D1 b1b0 c1c0 d1d0-1 D0 d1d0-1 (10)z=1时 D2D1 b1b0 c1c0 0 D0 1 (11) D2D1 b1b0 D0c1 0 c0 (12) D2D1 b1b0 D0c1 0 c0 5.4 CAT思考题 CAT是什么,它在工程中的地位如何？ CAT的概念模型和结构模型是什么？ RTL是什么语言,其语句格式是什么？ 基于RTL语言的CPU测试步骤是什么？ * * 5.1.2 CAT---VXI 5.1.2 CAT---VXI PC 根结点 4.5m IEEE-1394B 主机箱 1 枝结点 主机箱 2 叶结点 主机箱 3 叶结点 最多16个 VXI 主机箱 最大电缆总长度<72m 4.5m 4.5m 5.1.2 CAT---VXI 5.1.2 CAT---VXI 系统硬件： VXI控制器：内嵌式控制器（电子科技大学