FPGA设计验证剖析.pptVIP

第11章 设计验证 设计验证 随着IC 集成度的不断提高，系统的规模日益庞大且复杂。验证成为了整个ASIC/FPGA 设计流程中的一个瓶颈问题。（目前一个SOC设计中，验证工程师的人数是设计工程师的2倍左右，验证工作占到整个设计的60～70%，而验证代码，则占到了全部代码70～80%左右） 验证工作量远大于系统设计工作量 。 验证技术 基于TestBench的验证 这种方法为设计提供了很好的可控性和可观测性，这种方法有时可称为结构验证法。由于知道设计的内部细节，因此，很容易产生特殊情况的激励，易于检测内部设计的错误，验证环境的建立相对明确、简单，具有较强的针对性，结果检查相对来说也简单一些。 白盒测试法的缺点就是验证人员要知道设计内部的细节。 3、灰盒验证法： 灰盒验证是介于白盒和黑盒验证法之间的一种验证方法。验证人员在既关心规范需求的同时又关心电路的详细设计方案，需要依据两者制定验证方案。 如同黑盒验证方法，灰盒验证方法通过顶层接口控制和观察整个设计，但是又需要验证一些重要的特定的设计细节。 验证工具 验证工具 验证计划和流程 验证计划的内容： 确定设计需要验证的特性（验证内容）； 确定验证策略---系统级/模块级，黑/白/灰盒式验证，激励产生策略，验证响应方式（观察法、记录法、自检查法）。 确定验证方法---具体验证的步骤和方法，如