[发明专利]一种用于指令级随机验证的指令组合过滤方法及系统有效
| 申请号： | 200910080077.3 | 申请日： | 2009-03-18 |
| 公开（公告）号： | CN101510234A | 公开（公告）日： | 2009-08-19 |
| 发明（设计）人： | 沈海华;王朋宇;张珩 | 申请（专利权）人： | 中国科学院计算技术研究所 |
| 主分类号： | G06F17/50 | 分类号： | G06F17/50 |
| 代理公司： | 北京律诚同业知识产权代理有限公司 | 代理人： | 祁建国;梁 挥 |
| 地址： | 100080北京*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及一种用于指令级随机验证的指令组合过滤方法及系统。该方法包括：步骤1，在指令模板中添加待过滤的指令组合相关的约束，该约束包括指令组合的类型定义；步骤2，设置指令过滤器为先进先出的队列模式；步骤3，如果进入指令过滤器的指令队列中的指令组合与所述约束匹配，则删除最先进入指令过滤器的指令队列的指令，否则输出最先进入指令过滤器的指令队列的指令。可以有效解决大规模集成电路指令级随机验证中灵活的指令组合过滤问题，满足复杂集成电路验证中简化设计错误的调试过程和避免测试向量重复覆盖待验证设计功能点等需要，进而更好地支持复杂集成电路的验证。 | ||
| 搜索关键词： | 一种 用于 指令 随机 验证 组合 过滤 方法 系统 | ||
【主权项】：
1. 一种用于指令级随机验证的指令组合过滤方法，其特征在于，包括：步骤1，在指令模板中添加待过滤的指令组合相关的约束，该约束包括指令组合的类型定义；步骤2，设置指令过滤器为先进先出的队列模式；步骤3，如果进入指令过滤器的指令队列中的指令组合与所述约束匹配，则删除最先进入指令过滤器的指令队列的指令，否则输出最先进入指令过滤器的指令队列的指令。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国科学院计算技术研究所，未经中国科学院计算技术研究所许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/200910080077.3/，转载请声明来源钻瓜专利网。
