在线咨询
eetop公众号 创芯大讲堂 创芯人才网
切换到宽版

EETOP 创芯网论坛 (原名:电子顶级开发网)

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 5233|回复: 15

[求助] 关于timer验证问题请教

[复制链接]
发表于 2022-10-17 15:57:06 | 显示全部楼层 |阅读模式

马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。

您需要 登录 才可以下载或查看,没有账号?注册

x
本帖最后由 851018986 于 2022-10-17 16:03 编辑

1、验证计数器的时候,如何验证内部的计数是否正常的计数,比如如何验证有无出现从1突然跳到5的情况。2、计数的时钟周期是否相等,即每一个计数时间长度是否相等,外部的参考模型怎么和它进行对比。
3、如果在发送数据之前需要等待一段时间发送,使用timer来完成该功能时,我们怎么验证内部timer经过的时间就是我们想要的等待时长?

上诉功能验证我们不引用内部连接线该怎么进行验证,有知道的指导一下吗?谢谢



发表于 2022-10-17 17:21:53 | 显示全部楼层
其实这种小ip,适合formal验证,写一些assertion
 楼主| 发表于 2022-10-17 17:34:13 | 显示全部楼层


年轻的韭菜 发表于 2022-10-17 17:21
其实这种小ip,适合formal验证,写一些assertion


那这种内部的计数器主要都要依靠设计人员去写assertion 来保证准确性吗?复杂的内部计数也要求设计人员去做吗
 楼主| 发表于 2022-10-17 17:58:18 | 显示全部楼层


年轻的韭菜 发表于 2022-10-17 17:21
其实这种小ip,适合formal验证,写一些assertion


你好还有你说的,这个formal验证就是后仿的形式验证吗
发表于 2022-10-19 13:53:09 | 显示全部楼层


851018986 发表于 2022-10-17 17:58
你好还有你说的,这个formal验证就是后仿的形式验证吗


和后仿没关系,formal还有个功能就是在数学上穷举输入去运算,对于验证一些算法模块和小的控制模块挺有用的
发表于 2022-10-21 17:01:51 | 显示全部楼层
1.用断言,每个周期都比;2.两个上升沿的绝对时间差值是否为一个周期时间.3获取仿真时间比较
 楼主| 发表于 2022-10-23 16:25:55 | 显示全部楼层


xj0077 发表于 2022-10-21 17:01
1.用断言,每个周期都比;2.两个上升沿的绝对时间差值是否为一个周期时间.3获取仿真时间比较 ...


内部信号的话,是不是断言也要加在代码内部,
发表于 2022-10-23 20:15:53 | 显示全部楼层


851018986 发表于 2022-10-23 16:25
内部信号的话,是不是断言也要加在代码内部,


让设计在RTL加;不然你最好用bind,不要动他代码
 楼主| 发表于 2022-10-23 23:45:38 | 显示全部楼层


anpengfei 发表于 2022-10-23 20:15
让设计在RTL加;不然你最好用bind,不要动他代码


好的谢谢,能请问下bind是啥吗
发表于 2022-10-24 09:09:37 | 显示全部楼层


851018986 发表于 2022-10-23 23:45
好的谢谢,能请问下bind是啥吗


sva checker和rtl module通过bind绑定,你上网搜都有,sva bind
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

站长推荐 上一条 /1 下一条


小黑屋| 手机版| 关于我们| 联系我们| 在线咨询| 隐私声明| EETOP 创芯网
( 京ICP备:10050787号 京公网安备:11010502037710 )

GMT+8, 2024-11-14 12:15 , Processed in 0.023471 second(s), 6 queries , Gzip On, Redis On.

eetop公众号 创芯大讲堂 创芯人才网
快速回复 返回顶部 返回列表