数字IC前端验证

Marion_

请问如果要验证状态机的话使用哪种验证方法更能够保证设计没有bug，更全面呢？
如果写了上百种状态机，仅用测试添加激励，模拟仿真总觉得会有看不到的地方，我百度了一些说静态验证可以用来验证状态机，但是网络上更多描述的是形式验证没有说静态验证要怎么做，是否要自己建立数学公式之类的，还有说使用sv搭建验证平台来验证。

tcz226

先根据功能点测试，再看覆盖率

Marion_

tcz226 发表于 2022-11-21 15:12
先根据功能点测试，再看覆盖率

你好，请问这是使用sv搭建验证平台来验证的么

tcz226

Marion_ 发表于 2022-11-21 15:16
你好，请问这是使用sv搭建验证平台来验证的么

是的

eric1810

我也验过几个状态机，也写过一些简单的状态机。
总的来说，验证的手段不限，主要是要验到覆盖率，保证没有死角。同时要求设计对状态机的设计的规范性。