第5章 ASIC设计验证.pptVIP

第5章 ASIC设计验证 （3）边界扫描技术： 是各IC制造商支持和遵守的一种扫描技术标准，起先主要用于对印刷电路板的测试，它提供一个标准的测试接口简化了印刷电路板的焊接质量测试。边界扫描结构的标准协议即IEEE1149.1标推，它是在IC的输入输出引脚处放上边界扫描单元，并把这些扫描单元依次连成扫描链，然后运用扫描测试原理观察并控制芯片边界的信号。边界扫描技术也可用于对ASIC芯片进行故障检测，但由于这种测试方法要将所有的并行输入/输出数据串行化，所以测试时间将相当长。 边界扫描逻辑其结构如下图所示，包括TAP控制器、指令及数据寄存器和边界扫描单元等。 * 5.1 验证的概念 5.2 功能验证技术 5.3 静态时序分析 5.4 形式验证技术 5.5 DFT技术 5.1 验证的概念 什么是设计验证？ 验证的目是为了保证设计实现提供的功能特性是正确的，是与设计规格书中定义的功能特性保持一致。 验证的目标在于证明设计没有错误。然而事实上验证只能证明某些设计错误存在或不存在，验证是一个穷举设计中可能存在的错误的过程。检查设计中的错误是需要时间和资源做代价的。也就是说验证的充分性是一个利益权衡的问题。实际工作中，设计错误发现越早，设计花费的代价越小。 一般来说，在VLSI设计中，设计验证