【技术实现步骤摘要】
本专利技术涉及芯片验证，尤其涉及一种测试激励代码的优化方法、装置、设备及介质。
技术介绍
1、软件仿真工具可以用来模拟电子系统和电路行为，对电路逻辑行为进行仿真，包括信号传输、逻辑运算和时序控制等，以验证芯片电路的功能和时序约束是否正确。
2、随着问题规模的扩大和复杂度的增加，基于sat(boolean satisfiability，布尔可满足性)求解引擎的约束求解器性能因搜索空间的膨胀而下降。现有技术中，通过改进sat算法可以提升基于sat求解引擎的约束求解器的性能，虽然可以直接提升求解器的运算效率和处理复杂问题的能力，但是会增加算法实现的复杂性、对特定类型问题过于优化以及求解器在处理新的或未预见的问题时泛化能力下降的风险。
技术实现思路
1、本专利技术提供了一种测试激励代码的优化方法、装置、设备及介质，以解决在大规模约束的场景下因约束问题规模过大导致基于sat求解引擎的约束求解器性能下降的问题。
2、根据本专利技术实施例的一方面，提供了一种测试激励代码的优化方法，包括：
3、在待输入至芯片验证环境的测试激励代码中获取属于同一作用域的各约束表达式；其中，每个约束表达式中包含被约束随机变量和用于约束被约束随机变量的取值范围的约束量，约束量为常量或其他随机变量；根据约束表达式中包含的约束量，对在各约束表达式中识别出待优化的目标约束表达式，并对各目标约束表达式进行排序；按照排序结果分别遍历每个目标约束表达式，并在遍历过程中逐步确定出每个目标约束表达式
4、根据本专利技术实施例的另一方面，还提供了一种测试激励代码的优化装置，包括：
5、约束表达式获取模块，用于在待输入至芯片验证环境的测试激励代码中获取属于同一作用域的各约束表达式；目标约束表达式排序模块，用于根据约束表达式中包含的约束量，对在各约束表达式中识别出待优化的目标约束表达式，并对各目标约束表达式进行排序；目标取值范围确定模块，用于按照排序结果分别遍历每个目标约束表达式，并在遍历过程中逐步确定出每个目标约束表达式中目标被约束随机变量的目标取值范围；目标取值范围重编码模块，用于根据每个目标被约束随机变量的数据宽度，按照设定的数据宽度单位对每个目标被约束随机变量的目标取值范围进行重编码，并将重编码结果加入至测试激励代码中。
6、根据本专利技术实施例的另一方面，还提供了一种电子设备，所述电子设备包括：
7、至少一个处理器；以及与所述至少一个处理器通信连接的存储器；其中，所述存储器存储有可被所述至少一个处理器执行的计算机程序，所述计算机程序被所述至少一个处理器执行，以使所述至少一个处理器能够执行本专利技术任一实施例所述的测试激励代码的优化方法。
8、根据本专利技术实施例的另一方面，提供了一种计算机可读存储介质，所述计算机可读存储介质存储有计算机指令，所述计算机指令用于使处理器执行时实现本专利技术任一实施例所述的测试激励代码的优化方法。
9、根据本专利技术实施例的另一方面，还提供了一种计算机程序产品，包括计算机指令，所述计算机指令被处理器执行时实现如本专利技术任一实施例所述方法的步骤。
10、本专利技术实施例的技术方案，通过在待输入至芯片验证环境的测试激励代码中获取属于同一作用域的各约束表达式，根据包含的约束量识别待优化的目标约束表达式并进行排序，按照排序结果分别遍历每个目标约束表达式，并逐步确定每个目标约束表达式中目标被约束随机变量的目标取值范围，根据每个目标被约束随机变量的数据宽度，按照设定的数据宽度单位对每个目标被约束随机变量的目标取值范围进行重编码，并将重编码结果加入至测试激励代码中。通过依序逐步缩小目标被约束随机变量的目标取值范围并进行重编码，优化了测试激励代码，减小了约束求解问题输入求解引擎的规模，提升了约束求解器的性能。
11、应当理解，本部分所描述的内容并非旨在标识本专利技术的实施例的关键或重要特征，也不用于限制本专利技术的范围。本专利技术的其它特征将通过以下的说明书而变得容易理解。
本文档来自技高网...【技术保护点】
1.一种测试激励代码的优化方法，其特征在于，包括：
2.根据权利要求1所述的方法，其特征在于，根据约束表达式中包含的约束量，对在各约束表达式中识别出待优化的目标约束表达式，包括：
3.根据权利要求2所述的方法，其特征在于，对各目标约束表达式进行排序，包括：
4.根据权利要求3所述的方法，其特征在于，将各第二类目标约束表达式按照约束量中随机变量之间的依赖关系进行排序，得到第二排序结果，包括：
5.根据权利要求1所述方法，其特征在于，按照排序结果分别遍历每个目标约束表达式，并在遍历过程中逐步确定出每个目标约束表达式中目标被约束随机变量的目标取值范围，包括：
6.根据权利要求5所述的方法，其特征在于，按照排序结果依次遍历每个目标约束表达式，并根据每个目标约束表达式中的约束内容分别更新各目标被约束随机变量的取值范围，包括：
7.根据权利要求1所述的方法，其特征在于，所述数据宽度单位为1比特；
8.一种测试激励代码的优化装置，其特征在于，包括：
9.一种电子设备，其特征在于，所述电子设备包括：<...
【技术特征摘要】
1.一种测试激励代码的优化方法，其特征在于，包括：
2.根据权利要求1所述的方法，其特征在于，根据约束表达式中包含的约束量，对在各约束表达式中识别出待优化的目标约束表达式，包括：
3.根据权利要求2所述的方法，其特征在于，对各目标约束表达式进行排序，包括：
4.根据权利要求3所述的方法，其特征在于，将各第二类目标约束表达式按照约束量中随机变量之间的依赖关系进行排序，得到第二排序结果，包括：
5.根据权利要求1所述方法，其特征在于，按照排序结果分别遍历每个目标约束表达式，并在遍历过程中逐步确定出每个目标约束表达式中目标被约束随机变量的目...
【专利技术属性】
技术研发人员：贾非凡，黄传动，曹阳，王晨阳，汪程辉，
申请(专利权)人：上海思尔芯技术股份有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。