专利详情

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