[发明专利]集成电路验证方法及其系统有效
| 申请号： | 200910244172.2 | 申请日： | 2009-12-30 |
| 公开（公告）号： | CN101794330A | 公开（公告）日： | 2010-08-04 |
| 发明（设计）人： | 张弢;吕涛;李晓维 | 申请（专利权）人： | 中国科学院计算技术研究所 |
| 主分类号： | G06F17/50 | 分类号： | G06F17/50 |
| 代理公司： | 北京律诚同业知识产权代理有限公司 11006 | 代理人： | 祁建国;梁挥 |
| 地址： | 100080 北*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及集成电路验证方法及其系统，方法包括：步骤1，抽象引擎对待验证的集成电路进行抽象，生成对应的抽象模型，进行形式化计算；步骤2，激励生成引擎初始化根据待检测的集成电路的规范建立的马尔可夫模型；步骤3，激励生成引擎由马尔可夫模型生成激励，将激励输入仿真器，仿真器对待检测的集成电路进行仿真；步骤4，激励生成引擎依据形式化信息比较本周期仿真结果和上周期仿真获得的仿真结果，如果本周期仿真结果更接近目标状态，则调整马尔可夫模型中参数；步骤5，如果待检测的集成电路未达到目标状态并且仿真次数未超过预设次数，则执行步骤3；否则，终止仿真，并报告成功或者运行超时。本发明能够降低计算成本，提高检测效率。 | ||
| 搜索关键词： | 集成电路 验证 方法 及其 系统 | ||
【主权项】：
一种集成电路验证方法，其特征在于，包括：步骤1，抽象引擎对待验证的集成电路进行抽象，生成对应的抽象模型，并且在所述抽象模型上进行形式化计算，以获得形式化信息；步骤2，激励生成引擎初始化根据待检测的集成电路的规范建立的马尔可夫模型；步骤3，激励生成引擎由马尔可夫模型生成激励，将所述激励输入仿真器，所述仿真器对所述待检测的集成电路进行仿真；步骤4，所述激励生成引擎依据所述形式化信息比较本周期仿真结果和上周期仿真获得的仿真结果，如果本周期仿真结果更接近目标状态，则调整所述马尔可夫模型中参数；步骤5，如果待检测的集成电路未达到目标状态并且仿真次数未超过预设次数，则执行所述步骤3；否则，终止仿真，并报告成功或者运行超时。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国科学院计算技术研究所，未经中国科学院计算技术研究所许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/200910244172.2/，转载请声明来源钻瓜专利网。
