验证和测试案例PPT学习教案

1、会计学1数字系统设计验证和测试第1页/共42页数字系统设计验证和测试第2页/共42页数字系统设计验证和测试第3页/共42页数字系统设计验证和测试第4页/共42页数字系统设计验证和测试第5页/共42页数字系统设计验证和测试被测试的组合和时序电路框图被测试的组合和时序电路框图第6页/共42页数字系统设计验证和测试第7页/共42页数字系统设计验证和测试第8页/共42页数字系统设计验证和测试第9页/共42页数字系统设计验证和测试9.3.2专门测试（ad hoc test）方法集合了一些可用来提高一个设计的可观察性和可控性的技术，它的应用同应用类型相关。 第10页/共42页数字系统设计验证和测试插入多路

2、选择器来提高可测性插入多路选择器来提高可测性 第11页/共42页数字系统设计验证和测试口。第12页/共42页数字系统设计验证和测试第13页/共42页数字系统设计验证和测试第14页/共42页数字系统设计验证和测试第15页/共42页数字系统设计验证和测试 它由两个锁存器L1和L2组成，后者只是用于测试目的。在电路正常工作时，信号D、Q和C分别用做锁存器的输入、输出和时钟。在这一模式中测试时钟A和B为低电平。在扫描模式中，SI和SO分别作为扫描输入和扫描输出。这时候时钟C为低电平，而时钟A和B作为不重叠的两相位测试时钟。 第16页/共42页数字系统设计验证和测试 设计中不是所有的寄存器都是需要可扫描

3、的。考虑下图中的流水线数据通路。 在测试生成期间，可以把加法器和比较器一起看做是单个组合电路。惟一的区别是在进行测试时需要两个时钟周期把激励向量的响应结果传送到输出寄存器中。第17页/共42页数字系统设计验证和测试第18页/共42页数字系统设计验证和测试第19页/共42页 数字系统设计验证和测试 在输出管脚等不能产生纹波的地方必须采用带输出锁存的边界扫描单元，而在一些能容忍纹波的输入管脚可以采用不带输出锁存的边界扫描单元以节约资源。 第20页/共42页数字系统设计验证和测试 第21页/共42页数字系统设计验证和测试 1. 输入管脚的边界扫描单元输入管脚的边界扫描单元 2. 两态两态输输出出管脚

4、的边界扫描单元管脚的边界扫描单元 第22页/共42页数字系统设计验证和测试 3. 三态三态输输出出管脚的边界扫描单元管脚的边界扫描单元 4. 双向双向管脚的边界扫描单元管脚的边界扫描单元 第23页/共42页数字系统设计验证和测试第24页/共42页数字系统设计验证和测试内建自测试通用形式示意图内建自测试通用形式示意图 第25页/共42页数字系统设计验证和测试第26页/共42页数字系统设计验证和测试第27页/共42页数字系统设计验证和测试 【例】单比特流签名分析单比特流签名分析，可以看到这一电路只是计数输入流中0-1和1-0的翻转数目。这一压缩并不能保证接收到的序列是正确的，也就是说许多不同的序列

5、可以有相同数目的翻转。但由于发生这一情况的机会很小，所以在一定范围内也许值得。 X CP第28页/共42页数字系统设计验证和测试第29页/共42页数字系统设计验证和测试存储器自测试存储器自测试 第30页/共42页数字系统设计验证和测试第31页/共42页数字系统设计验证和测试系统芯片测试方法系统芯片测试方法 第32页/共42页数字系统设计验证和测试第33页/共42页数字系统设计验证和测试 所有与电源间的短路都通过在节点A,B,C，Z和X处引入sa0和sa1故障来模拟。图中标注了一些开路固定故障（）和短路固定故障（，）。可以看到这些故障已经为各个节点上的sa0和sa1故障所覆盖。 例如，故障由Asa1覆盖，由Asa0或Bsa0覆盖，而相当于Zsa1。 第34页/共42页数字系统设计验证和测试第35页/共42页数字系统设计验证和测试简单逻辑网络，节点简单逻辑网络，节点U处发生处发生sa0故障示意图故障示意图 第36页/共42页数字系统设计验证和测试第37页/共42页数字系统设计验证和测试第38页/共42页数字系统设计验证和测试第39页/共42页人有了知识，就会具备各种分析能力，明辨是非的能力。所以我们要勤恳读书，广泛阅读，古人说“书中自有黄金屋。”通过阅读科技书籍，我们能丰富知识，培养逻辑思维能力；通过阅读文学作品，我们能