1.1 制定验证计划
验证方法:直接验证,随机约束验证,形式验证
验证工具:选择需要的验证工具来支持验证方法
验证完备标准:量化出一些参数来衡量验证任务是否完成:覆盖率、断言覆盖率、寄存器覆盖率
验证资源:人力、时间、硬件、软件等所有跟项目预算有关的内容。
验证的功能点:需要给出验证的功能点,以及在什么层次去验证他。包括产生何种激励,检查设计的何种状态和数据输出。
1.2 开发验证环境
这个过程花费时间较多
验证人员从搭建环境开始,实现激励产生器stimulus generator ,参考模型reference model,数据比较器data comparator 。
尽量统一标准,每个人搭建的环境都不一样。
1.3 调试环境和RTL文件
这是花时间最多的,
环境是否有瑕疵,测试序列是否合理,参考模型是否遵循功能详细文档,硬件设计是否有哦功能缺陷。
1.4回归测试
1、确保这次改动没有引入新的缺陷,而且也修复了之前的漏洞,或者按照预定目标实现了新的功能
2、由于随机验证在每次递交时,默认的随机种子是不同的,这对于重复递交一套回归测试表也是有意义的。伴随着功能覆盖率,可以通过往复的回归测试和补充的定向测试来将逐步提高验证完备性。
1.5芯片生产
1.6 硅后系统测试
先各个模块,然后到系统
1.7 逃逸分析
硅后发现的问题,重现失败场景。养成总结的习惯,吸取教训。