内容
- module/block有100个feature,验证需要有1000个test,需要有计划，按照节点进行
验证策略
- 验证RTL code和design spec一致性
- 资源：VCS license/磁盘空间
- 验证内容：功能验证
- 验证结束 - test pass/coverage
验证进度
验证计划内容
- 验证的功能点和testcase是验证计划中最重要的
- SoC - 所有IP集成之后
- IP - SRAMC/eFlashc
- Unit - FiFo
- IP或者block层次进行验证，降低复杂度
- 仿真是使用软件模拟硬件，CPU串行执行，模拟并行执行
- SystemC，C/C++ - 用于reference model
- 根据spec功能点的重要性进行验证优先级划分
- code coverage - 通过test case的编写，能够执行所有的code
- function coverage - 通过功能描述，书写test case，测试功能
- 产品都有一些典型的应用
验证化境（testbench)
- testbench - tb_top顶层是闭环逻辑，是没有输入输出端口的
- 使用面向对象的方式进行封装
- 分层的验证平台 - 每个SV分别进行驱动，灌输激励等操作
分层验证平台
- 信号层 - testbench与DUV的接口信号
