制定验证计划和分层的验证平台

内容

• 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的接口信号