验证周期
主要的事情:创建验证计划,开发验证环境,激励测试,调整环境,比对设计,准备回归regression
,验证代码检查,(包括激励不对,随机不到位,代码结构缺陷),最后清单checklist
检查,流片。
功能文档
主要的事情:功能文档时设计和验证的基础部分,设计人员根据功能文档,将要实现的功能翻译成RTL
代码,验证人员按照自己的理解构建出验证环境,通过DUT
输出和model
输出的比对,不断完 RTL
代码的功能,以及完善TB
环境功能。
1. 接口信息。
需要有详细的接口信息,包括接口的时序信息,基本时钟,复位,接口信号名。
2.结构信息
模块之间的功能组件介绍,包括组件之间的逻辑关系。
3.交互信息
平级模块会被集成到更高一级的子系统去,有必要给出各个模块的交互信息,确保继承后,这两个模块之间的交互按照预期的时序发生。