如何验证状态机各个状态的正确性

bosome · 发表于 2014-12-22 16:01:17

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

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

x

hi all ：
   各位高手，请教一个问题，在芯片设计验证过程中，用什么方法来保证主状态机（状态机较为复杂，支持各种读写擦操作）的正确性，包括状态跳转，以及中断及其返回状态以及不同复位信号下的过程状态！
   问题是：如何保证状态机的正确性！用什么方法验证，用UVM等又如何验证！
      急急急急急急！

qw342333 · 发表于 2015-1-9 21:55:25

assertion.....

zuiqiangzhe · 发表于 2015-1-12 11:08:35

楼上说的对，用断言简单。
或者，在RM中建立一个与设计中一样的状态机模型，这样就麻烦了。

[求助] 如何验证状态机各个状态的正确性

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

相关帖子

站长推荐 /2