恭喜展讯通信(上海)有限公司陈安帅获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网恭喜展讯通信(上海)有限公司申请的专利数字集成电路设计中状态机的验证方法及验证系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN114330179B 。
龙图腾网通过国家知识产权局官网在2025-04-18发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202111636387.6，技术领域涉及：G06F30/33；该发明授权数字集成电路设计中状态机的验证方法及验证系统是由陈安帅设计研发完成，并于2021-12-29向国家知识产权局提交的专利申请。
本数字集成电路设计中状态机的验证方法及验证系统在说明书摘要公布了：本发明提供了一种数字集成电路设计中状态机的验证方法及其验证系统，该验证方法通过将状态机在各个状态时预期出现的输出信号和交互信号列在表格中，之后根据表格内各信号的预期变化，编写相应的第一SVA断言。在使用仿真模块仿真运行状态机时，每个第一SVA断言自动检查状态机在各个状态的对应信号的时序，自动判断为断言成功还是断言失败，快捷的对状态机的输出信号和交互信号进行验证，提高验证效率。相比传统scoreboard比对的验证方式，本发明的方案应用在block级甚至UT级的数字集成电路验证时，基于SVA断言，根据状态机的各个信号时序，来验证状态机在各个状态时产生的大量输出信号和交互信号，从而能够在更短的时间内完成验证，验证效率更高。
本发明授权数字集成电路设计中状态机的验证方法及验证系统在权利要求书中公布了：1.一种数字集成电路设计中状态机的验证方法，其特征在于，包括：获取状态机在各个状态时预期出现的输出信号和交互信号，形成表格；根据所述表格内各信号的预期变化，编写相应的第一SVA断言；使用仿真模块仿真运行所述状态机；根据每个第一SVA断言所对应的信号时序，自动判断为断言成功还是断言失败，以对状态机的输出信号和交互信号进行验证；如果所有的第一SVA断言均成功，则确定所述状态机在各个状态时预期出现的输出信号和交互信号均符合预期变化；如果存在第一SVA断言失败，则确定所述状态机存在某个状态时预期出现的输出信号或交互信号不符合预期变化，打断仿真，并打印错误信息。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人展讯通信(上海)有限公司，其通讯地址为：201203 上海市浦东新区浦东张江高科技园区祖冲之路2288弄展讯中心1号楼；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号