| 专利名称 | 一种用于指令级随机验证的指令组合过滤方法及系统 | 申请号 | CN200910080077.3 | 专利类型 | 发明专利 | 公开（公告）号 | CN101510234 | 公开（授权）日 | 2009.08.19 | 申请（专利权）人 | 中国科学院计算技术研究所 | 发明（设计）人 | 沈海华;王朋宇;张珩 | 主分类号 | G06F17/50(2006.01)I | IPC主分类号 | G06F17/50(2006.01)I | 专利有效期 | 一种用于指令级随机验证的指令组合过滤方法及系统 至一种用于指令级随机验证的指令组合过滤方法及系统 | 法律状态 | 专利实施许可合同备案的生效、变更及注销 | 说明书摘要 | 本发明涉及一种用于指令级随机验证的指令组合过滤方法及系统。该方 法包括：步骤1，在指令模板中添加待过滤的指令组合相关的约束，该约束 包括指令组合的类型定义；步骤2，设置指令过滤器为先进先出的队列模式； 步骤3，如果进入指令过滤器的指令队列中的指令组合与所述约束匹配，则 删除最先进入指令过滤器的指令队列的指令，否则输出最先进入指令过滤器 的指令队列的指令。可以有效解决大规模集成电路指令级随机验证中灵活的 指令组合过滤问题，满足复杂集成电路验证中简化设计错误的调试过程和避 免测试向量重复覆盖待验证设计功能点等需要，进而更好地支持复杂集成电 路的验证。 |
1、源头对接，价格透明
2、平台验证，实名审核
3、合同监控，代办手续
4、专员跟进，交易保障