图一 芯片结构框图
1.1 简单验证流程
1.了解mcu,需要验证的module的background
2.提取checkport验证点,(寄存器reg,协议)
(a)验证DMA,验证点例如 reg default value的验证,reg 属性 RW RO等
(b)功能点 chanel测试 EN时,source reg搬到相应的reg,共有8个chanel是否可以正常工作
(c)chanel优先级测试,ch0,ch1同时工作,ch0优先级应该是最高的
(d)ch0 burst是否能正常工作(发起一次请求,单地址 发送多笔数据),min—max
3.test case,一般至少一个验证点check point对应一个test case
(a)设置检验步骤,验到功能点
(b)建立报错机制(时序check assertion/SVA)
(c)pass
4.coverage bind rtl
(a)根据cheek point设置cover point(合理设置其中bin域的大小)
(b)coverage hode---modify test case---chec k wave form