验证技术概述ppt课件.pptxVIP

验证技术概述;内容; Cell Library Design Rule. ………...;验证的重要性;验证的目的及其本质;工程对验证的要求;验证系统;设计各阶段验证的内容;功能验证;目的性验证 ;目的性验证（续）; 物理样机;等价性验证 ;静态分析验证 ;物理验证 ;物理验证（续）;模拟;基于模拟的验证;测试数据组;测试数据组（续）;;测试平台 ;结构化的测试平台 ;结构化的测试平台 ;参考模型 ;;验证实例：UART;验证环境架构及建立方式;UART验证环境架构;确定验证点;例：数据发送进程testcase生成 testcase1:验证UART是否能够正确发送数据 a.保持发送时钟基准时钟*8得到的位时钟txtick； b.调用APB_write任务向UART 控制寄存器写入“000101010”； c.调用APB_write任务向UART 发送保持寄存器thold写入； d.调用TXD_verify任务，并检测是否正确接收 testcase2:验证UART能否检验出奇偶校验错，并据此发出中断请求 a.保持发送时钟基准时钟*8得到的位时钟txtick； b.调用APB_write任务向UART 控制寄存器写入“000101010”； c. 调用APB_write任务向UART 发送保持寄存器thold写入； d.调用TXD_verify任务，并检测是否正确接收，偶校验无误，并接收到IRQ信号； e.调用APB_write任务向UART 控制寄存器写入“000111010”； f. 调用APB_write任务向UART 发送保持寄存器thold写入； g.调用TXD_verify任务，并检测是否正确接收，奇校验无误，并接收到IRQ信号； testcase3：溢出错误检查 testcase4：发送过程清TE testcase5：流控制检查;testcase实例-simulus;testcase实例-receiving data;testbench;模拟仿真工具;模拟仿真工具;模拟仿真工具;基于模拟的验证方法 ;基于模拟的验证方法;基于模拟的验证衡量方法 ;代码覆盖的类型 ;基于模拟的验证衡量方法;基于模拟的验证衡量方法;基于模拟的验证的问题;形式验证 ;模型检查;定理证明; 静态时序分析（STA）：发现使芯片时序失效和对芯片性能起决起决定作用的电路关键路径。 ; 在同步时序电路中，2个寄存器之间组合电路延迟之和（建立时间、保持时间、寄存器间的信号传播延迟）决定了最大时钟频率。;性能验证：时序分析; ; ;静态时序分析（STA）;性能验证：后仿真;集成电路设计的验证方法学 ;验证方法学：自顶向下的验证方法 ;(4)网表验证： RTL设计经综合后，得到门级网表，门级设计验证可采用RTL-门级形式等价验证，保证两者逻辑上的等价性。 接下来由于时钟树和可测试性设计扫描链的插入，网表必须再通过等价验证，以确保设计的正确性。 此外，从这里开始，静态时序分析验证在以后各阶段需要反复进行，以保证设计满足时序要求。 (5)物理验证： 芯片平面规划、布局、布线设计完成后，需要进行各种物理验证，包括设计规则检查、版图对电路的一致性检查、信号完整性检查等。 (6)器件测试： 最后这一步是为了测试器件制造的正确性。与设计验证的目的有所不同，这一步着重于检测制造中的缺陷，而不是设计错误，所用的测试向量可在功能验证过程中产生，也可以利用ATPG工具产生。 到此，完成验证，整个设计过程结束，可以交付制造。;自底向上的验证方法 ;0级测试：独立地验证各个元件模块或部件，目的是穷尽测试，而不考虑集成环境。 部件测试所用的验证技术与集成的设计是相同的。 0级测试应得到IP内核提供商或IP库支持。 1级测试：验证系统存储器映射以及设计的内部互连，这些测试由人工产生或用工具自动产生。 主要检查设计中的每个寄存器能由片上处理器进行读、写。设计内的互连验证是通过所有通信通路执行读、写操作，典型的测试方法是利用片上处理器和存储器，是一种自检查方法。 2级测试：验证设计的基本功能和外部互连，测试每个功能块的主要功能通路和每个I/O引线。 3级测试：验证系统级的设计，穷尽测试集成设计的功能，特别要注意测试边角情况、边界条件、不连续性、错误条件、例外处理等。