怎么验证一个状态机

east1203 · 发表于 2019-9-25 11:05:00

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

x

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

验证状态机需要哪些考虑，应该怎么验证？

半机器蔡 · 发表于 2019-9-25 11:32:13

我起个头，感觉可以从这几个方面来考虑状态机的验证完备性，

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

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

检查：（1）用断言给状态机建模，或者简单点写一个monitor实时监控状态机的跳转

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

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

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

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

east1203 · 发表于 2019-9-27 15:37:42

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

谢谢

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