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

 找回密码
 注册

手机号码,快捷登录

手机号码,快捷登录

搜帖子
查看: 1260|回复: 4

[求助] 状态机该如何验证?

[复制链接]
发表于 2023-11-9 11:35:04 | 显示全部楼层 |阅读模式

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

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

×
以SDRAM接口为例,其控制器的核心是状态机,包括行激活、列地址、行关闭等状态,在不同状态输出不同的控制信号和地址。

如何验证状态机的功能是否正常?
激励可以用带约束随机生成,我的问题是如何在scoreboard比较输出的控制信号是否正确?真实的输出控制信号跳转如何记录,以及正确的输出控制信号怎么得到呢?状态机的状态一般不是输出信号,要如何监控呢?
发表于 2023-11-9 16:37:17 | 显示全部楼层
随便找个vip SDRAM 网上到处都是
回复 支持 反对

使用道具 举报

 楼主| 发表于 2023-11-9 19:19:28 | 显示全部楼层


   
eric_luo 发表于 2023-11-9 16:37
随便找个vip SDRAM 网上到处都是


好的,谢谢您哈,我还只是研一的学生,处在信息茧房里很多业界理所当然的事情都还不知道。
回复 支持 反对

使用道具 举报

发表于 2023-11-10 17:37:59 | 显示全部楼层
也许用断言去检查这种信号时序的正确性更好,scoreboard尽量去检查功能上的正确性。
回复 支持 1 反对 0

使用道具 举报

发表于 2023-11-11 14:20:17 | 显示全部楼层
这种用formal 形式验证比较合适
回复 支持 反对

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

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

X

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

GMT+8, 2025-7-11 02:10 , Processed in 0.106168 second(s), 8 queries , Gzip On, MemCached On.

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