[发明专利]用于对设计进行形式验证的装置有效
| 申请号： | 202110353161.9 | 申请日： | 2021-04-01 |
| 公开（公告）号： | CN112733478B | 公开（公告）日： | 2021-08-03 |
| 发明（设计）人： | 周天健 | 申请（专利权）人： | 芯华章科技股份有限公司 |
| 主分类号： | G06F30/3323 | 分类号： | G06F30/3323 |
| 代理公司： | 北京风雅颂专利代理有限公司 11403 | 代理人： | 李莎 |
| 地址： | 211800 江苏省南京*** | 国省代码： | 江苏;32 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本申请提供了一种用于对设计进行形式验证的装置。该装置包括：输入模块，用于接收与所述设计对应的状态机在运行时的状态，存储模块，与所述输入模块耦接，用于根据使能信号存储由所述输入模块提供的基准状态，保存模块，与所述存储模块耦接，用于接收保存信号并基于所述保存信号生成所述使能信号，以及比较模块，与所述输入模块和所述存储模块分别耦接，用于比较由所述输入模块提供的当前状态和由所述存储模块存储的基准状态，其中，响应于所述当前状态和所述基础状态相同，所述比较模块生成用于指示存在循环的循环指示信号。相比于直接对活性属性进行验证，该装置对循环进行检测，能够提高形式验证效率。 | ||
| 搜索关键词： | 用于 设计 进行 形式 验证 装置 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于芯华章科技股份有限公司，未经芯华章科技股份有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202110353161.9/，转载请声明来源钻瓜专利网。
