本文将以MCDF为例子,使用SV搭建验证平台,实现对MCDF的功能验证。
1. 验证框架
一个完整的testbench 包括dut、test和interface
test就是测试总模块,包括多个generator和environment
generator用于产生随机化激励数据,或是对environment中的stimulator进行配置
environment就是IC验证人员要编写的验证环境,包括checker和多个agent
checker包括reference model收集监控的数据、task data check()、等等各种数据、协议、时序检测模块
agent为dut的每个子模块驱动采样数据,包括激励产生generator、驱动stimulator和监控monitor
以含有3个module的dut为例,验证框架中各模块、类之间的通信关系如下:
其中各模块的位置表示例化的位置,带括号的表示task或function。
也如下表所示具体说明
一级 | 二级< |
---|