EETOP 创芯网论坛

便捷登录,只需一步

找回密码

  登录   注册  

搜帖子
第三代半导体技术资料|下载奖励300信元
查看: 463|回复: 2

[求助] 怎么验证一个状态机

[复制链接]
发表于 2019-9-25 11:05:00 | 显示全部楼层 |阅读模式

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

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

x


面试被问到  “应该用随机激励还是定向测试来验证状态机”?

验证状态机需要哪些考虑,应该怎么验证?



发表于 2019-9-25 11:32:13 | 显示全部楼层
我起个头,感觉可以从这几个方面来考虑状态机的验证完备性,

如果这个状态机的代码是全新开发的,第一步我觉得应该是对照spec文档和RTL代码,检查设计写的状态机与他的设计文档是否做到了一致

激励:这个应该没什么疑问,肯定是随机激励+定向测试,定向测试主要是覆盖异常情况,比如动态复位导致状态机异常跳转

检查:(1)用断言给状态机建模,或者简单点写一个monitor实时监控状态机的跳转

         (2)仿真结束之前检查状态机是否回到IDLE状态

覆盖率:代码覆盖率,必要时可以针对状态机里面的状态转移条件开发一部分功能覆盖率

其他:时间比较充裕的情况下,验证人员可以考虑串讲状态机的RTL代码,即验证工程师对着状态机RTL代码给设计人员讲各个状态之间具体是怎么转移的

暂时能想到就这么多,欢饮补充。。。


回复 支持 反对

使用道具 举报

 楼主| 发表于 2019-9-27 15:37:42 | 显示全部楼层


   
半机器蔡 发表于 2019-9-25 11:32
我起个头,感觉可以从这几个方面来考虑状态机的验证完备性,
如果这个状态机的代码是全新开发的,第一步我 ...


谢谢
回复 支持 反对

使用道具 举报

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

本版积分规则

关闭

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

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

GMT+8, 2020-6-3 10:11 , Processed in 0.059440 second(s), 9 queries , Gzip On, Redis On.

Powered by Discuz! X3.4

© 2001-2017 Comsenz Inc.

快速回复 返回顶部 返回列表