一种用于指令级随机验证的指令组合过滤方法及系统

摘要

本发明涉及一种用于指令级随机验证的指令组合过滤方法及系统。该方法包括：步骤1，在指令模板中添加待过滤的指令组合相关的约束，该约束包括指令组合的类型定义；步骤2，设置指令过滤器为先进先出的队列模式；步骤3，如果进入指令过滤器的指令队列中的指令组合与所述约束匹配，则删除最先进入指令过滤器的指令队列的指令，否则输出最先进入指令过滤器的指令队列的指令。可以有效解决大规模集成电路指令级随机验证中灵活的指令组合过滤问题，满足复杂集成电路验证中简化设计错误的调试过程和避免测试向量重复覆盖待验证设计功能点等需要，进而更好地支持复杂集成电路的验证。

主权项

1. 一种用于指令级随机验证的指令组合过滤方法，其特征在于，包括：步骤1，在指令模板中添加待过滤的指令组合相关的约束，该约束包括指令组合的类型定义；步骤2，设置指令过滤器为先进先出的队列模式；步骤3，如果进入指令过滤器的指令队列中的指令组合与所述约束匹配，则删除最先进入指令过滤器的指令队列的指令，否则输出最先进入指令过滤器的指令队列的指令。