day1--芯片验证概述

一、什么是芯片验证及其方法学

芯片验证就是采用相应的验证语言，验证工具和验证方法，在芯片生产之前验证芯片设计是否符合芯片定义的需求规格。

随着芯片规模越来越大，功能越来越复杂，对验证的挑战越来越大，验证方法学，就是研究怎样降低验证工程复杂度的同时，保证验证的可靠性。从它被提出到今天，其核心依然是带约束的随机激励、覆盖率驱动以及重用，并利用面向对像语言的特性对常用功能进行高度封装，再提供统一的事物层接口使不同抽象层级的建模数据得以共享和有效通信，从而提高验证平台的构建效率，并加速EDA仿真，最终缩短芯片面市周期。

二、芯片验证的主要工作

芯片验证的主要工作是根据规格文档和详细的设计文档提起验证功能点（测试点），编写测试激励，并搭建验证环境，或利用已有的验证环境对DUT进行验证和回归。常见工作如下：
①熟悉芯片规格：学习各种相关文档。
②提起验证功能点（测试点）：根据spec梳理出test feature，然后再细化出test point。
③撰写模块级和系统级验证方案：设计验证架构指导后续验证工作，保证所有测试点都能在该验证过程中覆盖到。
④开发验证环境、参考模型和验证脚本
⑤验证执行：按照测试点逐个进行覆盖、写测试用例、debug。
⑥撰写验证报告：主要包括功能点覆盖情况、代码覆盖情况、性能分析、功耗分析、风险评估等内容。

三、数字芯片验证流程

一般意义上，数字芯片验证就是对RTL代码进行EDA仿真，并从中发现RTL代码Bug后，再提交给设计工程师进行Bug修复的过程