状态机该如何验证？

木木lingle · 发表于 2023-11-9 11:35:04

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

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

×

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

如何验证状态机的功能是否正常？
激励可以用带约束随机生成，我的问题是如何在scoreboard比较输出的控制信号是否正确？真实的输出控制信号跳转如何记录，以及正确的输出控制信号怎么得到呢？状态机的状态一般不是输出信号，要如何监控呢？

eric_luo · 发表于 2023-11-9 16:37:17

随便找个vip SDRAM 网上到处都是

木木lingle · 发表于 2023-11-9 19:19:28

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

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

gaurson · 发表于 2023-11-10 17:37:59

也许用断言去检查这种信号时序的正确性更好，scoreboard尽量去检查功能上的正确性。

年轻的韭菜 · 发表于 2023-11-11 14:20:17

这种用formal 形式验证比较合适

账号		自动登录	找回密码
密码			注册

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

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

站长推荐 /1