如何制定验证计划

1.阅读并理解设计规格书，架构书。输出功能清单，为每个功能标注优先级，并识别出接口协议，状态机，错误注入等特性
2.明确验证目标与策略。
2.1在这个工程中，不仅要确定功能的正确性，并且要量化，比如功能覆盖率达到100％。
2.2确定验证层次：规划好ip级，子系统级，soc级分别测什么。
2.3验证策略：针对不同功能，选择合适的验证策略。比如数据通路类用大量随机测试，控制通路和状态机用形式验证，数模接口用实数建模验证。
3.测试点分解。这是核心。
/1直接测试点：针对常规功能，寄存器的读写。
/2随机测试点：接口时序的乱序，数据包长度的混合。
/3边界与异常测试点：FIFO满空翻转，地址越界，复位中断，各种错误注入。
/4性能与压力测试点：最大带宽，极限时延下的吞吐率。
4.覆盖率模型收集。
断言覆盖率
功能覆盖率
代码覆盖率