Coverage基础知识整理
第二行:在covergroup中建立一个名为coverpoint_name1的覆盖点,对象信号名为signal_1 ,如果没有定义bin的话,工具会默认检查signal_1所有可能出现的数值情况。第三行:在covergroup中建立一个名为coverpoint_name2的覆盖点,对象信号名为signal_2,通过bin指定了signal_2出现的数值情况为0,1,2,3,4,5 ,(6|7|8)。检查随机数据中是否包含目标数据,目标数据作为验证配置输入到DUT中,产生目标输出,通过SVA检查正确性。
原创
2023-01-04 22:34:34 ·
1114 阅读 ·
0 评论