IC系统验证分析概述

实际上，验证属于设计的范畴，并且贯穿IC系统设计的每个阶段。在系统设计阶段：采用仿真方法进行性能分析和协议分析。在电路/逻辑设计阶段：采用软硬件协同验证：用仿真和FOGA验证功能；用静态时序分析工具进行时序验证；用形式验证检查综合过程及ECO提取是否正确。在物理设计阶段，采用物理验证LVS、DRC等；用静态时序工具验证最终的时序；用形式验证检查布局布线及ECO是否正确。

常用的验证主要分为以下几类：仿真、静态时序分析、形式验证、物理验证、信号完整性分析、FPGA验证等，下面分别进行介绍。

（一）仿真

仿真是功能验证的主要手段，原理是：

仿真激励—>待验证设计—>检查仿真结果是否正确

仿真贯穿了IC系统设计的整个阶段

1）系统设计阶段的仿真：系统级验证如下图所示：