用于生成激励信息的方法、装置、存储介质及程序产品制造方法及图纸

本公开涉及芯片验证技术领域，提供用于生成激励信息的方法、装置、计算机可读存储介质及计算机程序产品，用于芯片验证。为了能够高效、完整地生成激励信息，本公开提供的方法包括：获取用户约束信息和系统约束信息；通过随机引擎生成符合用户约束信息和系统约束信息的查询信息；使用查询信息对数据库进行查询；以及响应于在数据库中获得与查询信息相匹配的组合信息，将组合信息用作芯片验证的激励信息。息。息。

【技术实现步骤摘要】
用于生成激励信息的方法、装置、存储介质及程序产品


[0001]本公开涉及芯片验证
，特别是涉及一种计算机实现的用于生成激励信息的方法、装置、计算机可读存储介质及计算机程序产品。

技术介绍

[0002]中大型芯片验证过程中激励信息复杂多样、构造困难，不利于维护和检视。目前在使用芯片验证系统进行芯片验证时生成激励信息的机制包括：第一，基于应用(Application based)生成激励信息：根据需测试的应用程序设置的约束文件(config
‑
file)生成激励信息。此类机制需要在芯片验证阶段开发完整的上层应用程序，此类应用程序需要大量人力，时间成本太高，并且上层应用生成的激励信息并不能保证激励信息的完整性，换言之，并不能保证芯片每个功能都有被测试到。
[0003]第二，随机(Random)生成激励信息：根据随机产生约束文件(config
‑
file)生成激励信息。此类机制随机性较高，不能保证激励信息的合法（本公开中的合法是指符合激励信息的要求或规则，以使得激励信息有效）性，增加了验证调试的难度。第本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种用于生成激励信息的方法，所述激励信息用于芯片验证，所述方法包括：获取用户约束信息和系统约束信息；通过随机引擎生成符合所述用户约束信息和所述系统约束信息的查询信息；使用所述查询信息对数据库进行查询，所述数据库包括存储对应于多项合法激励信息的组合信息的集合的表，其中一项组合信息对应于一项合法激励信息，所述组合信息包括对应的合法激励信息的指令类型、指令功能和指令特征；以及响应于在所述数据库中获得与所述查询信息相匹配的组合信息，将所述组合信息作为芯片验证的激励信息。2.根据权利要求1所述的方法，通过随机引擎生成符合所述用户约束信息和所述系统约束信息的查询信息包括：确定约束项以及基于用户约束信息和/或系统约束信息确定所述约束项的可用取值，所述约束项包括所述指令类型、所述指令功能和所述指令特征中的任意一个或多个的组合；基于所述约束项及其可用取值，通过所述随机引擎生成查询信息。3.根据权利要求２所述的方法，其特征在于，响应于所述约束项是所述指令类型、所述指令功能和所述指令特征中的任意一个，所述基于所述约束项及其可用取值，通过所述随机引擎生成查询信息，包括：获取所述约束项的每个可用取值的权重，所述权重包括配置的权重和默认权重；以及基于所述约束项以及约束项的每个可用取值的权重，通过所述随机引擎生成查询信息。4.根据权利要求2所述的方法，其特征在于，响应于所述约束项是所述指令类型、所述指令功能和所述指令特征中的任意多个的组合，所述基于所述约束项及其可用取值，通过所述随机引擎生成查询信息，包括：计算所述约束项的每个可用取值的权重；以及基于所述约束项以及所述约束项的每个可用取值的权重，通过所述随机引擎生成查询信息；其中，所述计算包括：确定所述约束项的可用取值中的指令类型、指令功能和指令特征的权重的集合，所述权重包括配置的权重和默认权重，步骤A：选择所述权重的集合中的两个权重，利用计算公式计算出所述两个权重的组合权重，从所述集合中删除所述两个权重，并添加所述组合权重，所述计算公式为：Wc=(W1*W2)/(W1+W2)，其中Wc是所述组合权重，W1和W2是所述两个权重，重复步骤A，直至所述集合中仅有一个组合权重，将仅有的组合权重作为所述约束项的可用取值的权重。5.根据权利要求1所述的方法，还包括：响应于没有获得与所述查询信息相匹配的组合信息，使用所述随机引擎重新生成符合所述用户约束信息和所述系统约束信息的新的查询信息；以及使用所述新的查询信息对所述数据库的表进行查询。6.根据权利要求5所述的方法，其中，所述生成所述新的查询信息包括：
重新生成所述查询信息中的至少一个指令特征，响应于重新生成所有的指令特征后都无法获得查询结果，重新生成所述查询信息中的至少一个指令功能；响应于重新生成所有的指...

【专利技术属性】
技术研发人员：请求不公布姓名，
申请(专利权)人：摩尔线程智能科技成都有限责任公司，
类型：发明
国别省市：