[发明专利]属性综合中活性条件提取和可视化方法、系统、存储介质和终端有效
| 申请号： | 201910585514.0 | 申请日： | 2019-07-01 |
| 公开（公告）号： | CN110309592B | 公开（公告）日： | 2023-04-07 |
| 发明（设计）人： | 袁军 | 申请（专利权）人： | 成都奥卡思微电科技有限公司 |
| 主分类号： | G06F30/3323 | 分类号： | G06F30/3323;G06F30/398;G06F11/36 |
| 代理公司： | 成都华风专利事务所(普通合伙) 51223 | 代理人： | 张巨箭 |
| 地址： | 610000 四川省成都市中国(四川)自由贸易*** | 国省代码： | 四川;51 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了属性综合中活性条件提取和可视化方法、系统、存储介质和终端，方法包括以下步骤：将描述芯片形式验证属性的基于正则表达式的断言转换为不确定状态机；将不确定状态机转换为确定状态机；在各转换步骤之后，提取状态循环上的状态转换条件并将其转换为活性条件；将各转换步骤生成的包括所述活性条件的状态机形成图形文件；显示所述图形文件，并标识出所述活性条件。本发明采取分步的综合过程图形展示，有利于用户对断言生成过程的理解和纠错。特别是对于活性条件的标识，能帮助用户避免不必要的活性断言，提高形式验证的效率。 | ||
| 搜索关键词： | 属性 综合 活性 条件 提取 可视化 方法 系统 存储 介质 终端 | ||
【主权项】：
1.属性综合中活性条件提取和可视化方法，其特征在于：包括以下步骤：将描述芯片形式验证属性的基于正则表达式的断言转换为不确定状态机；将不确定状态机转换为确定状态机；在各转换步骤之后，提取状态循环上的状态转换条件并将其转换为活性条件；将各转换步骤生成的包括所述活性条件的状态机形成图形文件；显示所述图形文件，并标识出所述活性条件。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于成都奥卡思微电科技有限公司，未经成都奥卡思微电科技有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201910585514.0/，转载请声明来源钻瓜专利网。
