编写验证计划是验证工作核心技能。衡量标准是完备性。可是写一个完备的验证计划,才开始不是一件容易的事情,需要不断的练习实践。
1.验证计划主要从设计的futurelist中提取。
复杂的futurelist要分解,分解到不能最小功能为止。
不同futurelist要组合,多种功能要交叉验证。
通常以excel/word形式表达,书写要逻辑清晰,最要以互补的方式列出验证点。
2.针对某些点FPGA cover不到,ASIC却可以的。要重点考虑。
3.针对以往公司流片经验,添加验证点,要考虑进来。
4.系统级验证主要是离散点,不要遗漏。不如:clock / reset /power/interconnect/cdc...
验证计划列出后,方可动手搭建验证环境。否则验证期间会经常迭代完善验证环境。