芯片验证周期归纳

芯片的验证周期大致可以分为RTL0、RTL1、RTL2、RTL3、GLS和TO,下面详细阐述各时间节点veriifier所需要做的具体内容。

节点    内容
RTL0    芯片框架和模式功能定义完成，指定验证的策略
RTL1    模块和子系统的功能信号定义完成，定制需要的存储模型
RTL2    完成所有模块的设计，以及80%以上的模块和子系统的验证，核心功能全部完成验证
RTL3    完成芯片系统的连线集成和验证，覆盖所有的功能验证点
GLS      完成门级网表的验证
TO     回顾验证的各项检查清单，最终流片
RTL0 —— 任务    内容
团队验证环境准备    项目的工作目录、采取的验证进度跟踪方法
验证人力和进度安排    模块、子系统和芯片需要的人力和进度安排
验证工具和方法选择    仿真工具和形式验证工具的版本、验证方法学
验证文档    记录验证策略、验证平台环境、方法学
RTL1 —— 任务    内容
搭建模块验证环境    按照设计接口搭建模块验证环境
生成寄存器模型    由设计XML文件生成UVM寄存器模型
验证文档    模块验证环境、寄存器模型、环境编译
验证计划回顾    模块级验证计划回顾
RTL2 —— 任务    内容
语义检查    检查常见的设计规范问题
跨时钟域检查（CDC）    模块、子系统的CDC检查
仿真验证、形式验证    选择合适的验证方法学完成80%以上的模块和子系统的验证
创建测试用例    将测试用例同功能验证点完成匹配
验证环境和用例回顾    验证环境、用例和功能覆盖点回收
递归测试    创建和更新模块/子系统的递归测试表
漏洞修正和跟踪    记录发现的漏洞、完成修复后的递归测试
RTL3 —— 任务    内容
跨时钟域检查（