第9章设计校验总汇.ppt

第9章 设计校验;设计校验;未进行设计校验招致的严重后果;为什么进行设计校验？;设计校验分类;校验标准;校验方式;等价验证;模块检查;校验重用;校验方法;校验方法;功能校验结构;测试平台;测试平台;代码封装;代码封装;代码封装;数据抽象;数据抽象;数据抽象;数据抽象;数据抽象;数据抽象;数据抽象;竞争;读写竞争;读写竞争;读写竞争;初始化竞争;初始化竞争;时序校验;时序校验;时序校验;路径延时;简单路径延时;简单路径延时;边沿敏感路径延时;边沿敏感路径延时;状态相关路径延时;状态相关路径延时;状态相关路径延时;状态相关路径延时;模块路径的极性;模块路径的极性;模块路径的极性;模块路径的极性;时序检查;固定时间窗口检查;固定时间窗口检查;固定时间窗口检查;固定时间窗口检查;固定时间窗口检查;固定时间窗口检查;固定时间窗口检查;固定时间窗口检查;固定时间窗口检查;时钟和控制信号时序检查;时钟和控制信号时序检查;时钟和控制信号时序检查;时钟和控制信号时序检查;时钟和控制信号时序检查;时钟和控制信号时序检查;时钟和控制信号时序检查;时钟和控制信号时序检查;;时钟和控制信号时序检查;边沿控制方式指定;时序检查冲突报告的处理;;标准延时格式文件与反向标注;反向标注;反向标注SDF结构;反向标注SDF结构;反向标注SDF结构;反向标注SDF结构;反向标注SDF结构;反向标注SDF结构;反向标注互连延时;反向标注互连延时;修改与覆盖;修改与覆盖;反向标注脉冲滤波行为;反向标注脉冲滤波行为;反向标注脉冲滤波行为;Bye-bye!