基于知识库的覆盖数据通路边界情况的测试向量生成方法及系统技术方案

本发明专利技术公开了一种基于知识库的覆盖数据通路边界情况的测试向量生成方法及系统，包括步骤将数据通路中的数据端口分为数据传输类端口与控制类端口；建立基于数据类型的边界值知识库，输入每个数据传输类端口的数据类型得到边界值集合；输入每个控制类端口的位宽通过约束求解器求得合法值域形成合法值域集合；将边界值集合中的每个边界值与控制类端口的合法值域集合中每个合法值正交组合，得到覆盖数据通路边界情况的测试向量。本发明专利技术充分利用数据端口的功能属性和数据类型，通过建立边界值知识库、合法约束值域、边界值集合与合法值域集合进行正交组合，生成覆盖数据通路边界情况的测试向量，实现了数据通路电路设计验证的完备性与高效性。

Test Vector Generation Method and System for Covering Data Path Boundary Based on Knowledge Base

【技术实现步骤摘要】
基于知识库的覆盖数据通路边界情况的测试向量生成方法及系统
本专利技术涉及集成电路设计验证领域，特别涉及一种基于知识库的覆盖数据通路边界情况的测试向量生成方法及系统。
技术介绍
模拟验证依旧是集成电路设计验证过程中主要的验证手段。模拟验证的过程是对待测设计的输入端加载大量测试向量从而观察待测设计的行为是否符合预期的功能规范。数据通路的电路设计往往具有较大位宽的数据端口，这些数据端口对应的巨大合法值域，这些合法值域所组成的巨大验证空间使得面向数据通路生成高效完备的测试向量变得困难：由于验证空间巨大，使用验证空间全遍历的方法产生测试向量无法保证在有效时间空间内完成数据通路的验证；而采用在验证空间中随机生成测试向量的方法并不能够保证完全覆盖验证空间的边界情况，而边界情况往往是电路设计环节最容易出错的地方，这就造成了验证的不完备与不充分。因此，面向数据通路的电路设计产生高效测试向量非常困难。
技术实现思路
本专利技术要解决的技术问题是：针对现有技术的上述问题，提供一种基于知识库的覆盖数据通路边界情况的测试向量生成方法及系统，本专利技术能够提高数据通路电路设计验证的完备性与高效性。为了解决上述技术问题，本专利技术采用的技术方案为：一种基于知识库的覆盖数据通路边界情况的测试向量生成方法，实施步骤包括：S1.将数据通路中除时钟端口、重置端口以外的所有数据端口按照功能属性划分为数据传输类端口与控制类端口；S2.建立基于数据类型的边界值知识库，向该边界值知识库输入步骤S1中所述每个数据传输类端口的数据类型，得到每个数据传输类端口的边界值集合；.输入步骤S1中每个控制类端口的位宽通过约束求解器求得每个控制类端口的合法值域，从而形成控制类端口的合法值域集合；S3.分别将步骤S2中数据传输类端口的边界值集合中的每个边界值与控制类端口的合法值域集合中的每个合法值进行正交组合，得到覆盖数据通路边界情况的测试向量。所述步骤S1中的数据端口为输入端口。所述步骤S1中的数据端口为输出端口。所述步骤S2中的数据类型包括单/双精度浮点、8/16/32/64位有符号/无符号整数、n位二进制数类型。所述步骤S2中的约束求解器包括布尔可满足性引擎的求解器、二叉判决树引擎的求解器或基于约束逻辑编程系统的约束求解器。本专利技术还提供一种基于知识库的覆盖数据通路边界情况的测试向量生成系统，包括计算机设备，所述计算机设备被编程以执行本专利技术前述基于知识库的覆盖数据通路边界情况的测试向量生成方法的步骤；或者所述计算机设备的存储介质中存储有被编程以执行本专利技术前述基于知识库的覆盖数据通路边界情况的测试向量生成方法的计算机程序。本专利技术还提供一种存储介质，所述存储介质中存储有被编程以执行本专利技术前述基于知识库的覆盖数据通路边界情况的测试向量生成方法的计算机程序。和现有技术相比，本专利技术具有下述优点：本专利技术充分利用了数据端口的功能属性和数据类型，通过建立基于数据类型的边界值知识库、对值域合法约束、以及将边界值集合与合法值域集合进行正交组合，生成了覆盖数据通路边界情况的测试向量，从而实现了数据通路电路设计验证的完备性与高效性，并且该边界值知识库便于人工优化，便于对数据类型与每个数据类型对应的边界值进行增加删减，同时边界值知识库具有学习能力，内部存储的知识随着人工优化与验证样本的增多而不断扩充，使得该方法的适用性与完备性不断增强。附图说明图1是本专利技术的基于知识库的覆盖数据通路边界情况的测试向量生成方法原理示意图。图2是本专利技术的基于知识库的覆盖数据通路边界情况的测试向量生成方法流程示意图。具体实施方式下面结合具体实施例对本专利技术作进一步地解释，但具体实施并不对本专利技术做任何限定。实施例1如图2所示，本实施例基于知识库的覆盖数据通路边界情况的测试向量生成方法，实施步骤包括：S1.将数据通路中除时钟端口、重置端口以外的所有输入端口按照功能属性划分为数据传输类端口与控制类端口；其中数据通路类端口是电路中用于数据传输通信的端口，其一般而言位宽较长，因此其对应的合法值域空间较大，而控制类端口用于控制电路不同工作模式的切换，其位宽一般较短，但是每一个合法值均对应了一种工作模式。S2.建立基于数据类型的边界值知识库，向该边界值知识库输入步骤S1中所述每个数据传输类端口的数据类型，得到每个数据传输类端口的边界值的边界值集合；例如对于一个8位有符号整数类型的数据通路输入端口A，根据其数据类型在边界值知识库中对应的边界值集合为{+0，-0，+1，-1，+127，-128}。在边界值知识库中包含的数据类型还可以是单/双精度浮点数、8位无符号整数、16位有符号整数、16位无符号整数、32位有符号整数、32位无符号整数、64位有符号整数、64位无符号整数、n位二进制数类型等。边界值知识库便于人工优化，能够对数据类型与每个数据类型对应的边界值进行增加删减，同时该边界值知识库具有学习能力，内部存储的知识随着人工优化与验证样本的增多而不断扩充，使得该方法的适用性与完备性不断增强。本实施例中用到的知识库是CLIPS（CLanguageIntegratedProductionSystem）专家系统开发工具。输入步骤S1中每个控制类端口的位宽通过布尔可满足性引擎（SAT）引擎的MiniSAT求解器求得每个控制类端口的合法值域，从而形成控制类端口的合法值域集合；S3.分别将步骤S2中数据传输类端口的边界值集合中的每个边界值与控制类端口的合法值域集合中每个合法值进行正交组合，得到覆盖数据通路边界情况的测试向量。例如待验证的数据通路包括控制通路类端口P1和P4，数据通路类端口P2和P3，其中P11和P12是控制通路类端口P1的两个合法值，P41和P42是控制通路类端口P4的两个合法值，P21、P22、P23和P24是P2的边界值，P31、P32和P33是P3的边界值。将P2、P3的每一个边界值与P1和P4的每一个合法值正交组合后一共产生2*4*3*2=48个测试向量，每一个测试向量代表着一种边界情况，48个测试向量覆盖了所有数据通路的边界情况。本实施例充分利用了数据端口的功能属性和数据类型，通过建立基于数据类型的边界值知识库、对值域合法约束、以及将边界值集合与合法值域集合进行正交组合，生成了覆盖数据通路边界情况的测试向量，从而实现了数据通路电路设计验证的完备性与高效性。本实施例还提供一种基于知识库的覆盖数据通路边界情况的测试向量生成系统，包括计算机设备，该计算机设备被编程以执行本专利技术前述基于知识库的覆盖数据通路边界情况的测试向量生成方法的步骤；或者该所述计算机设备的存储介质中存储有被编程以执行本专利技术前述基于知识库的覆盖数据通路边界情况的测试向量生成方法的计算机程序。本实施例还提供一种存储介质，该存储介质中存储有被编程以执行本专利技术前述基于知识库的覆盖数据通路边界情况的测试向量生成方法的计算机程序。实施例2本实施例与实施例1的区别是：步骤S1将数据通路中除时钟端口、重置端口以外的所有输出端口按照功能属性划分为数据传输类端口与控制类端口；本实施例同样也可以实现基于知识库的覆盖数据通路边界情况的测试向量生成。实施例3本实施例与实施例1的区别是：本实施例用到的知识库是ART系统开发工具。本实施例同样也可以实现基于知识库的覆盖数据通路边界情况的测本文档来自技高网...

【技术保护点】
1.一种基于知识库的覆盖数据通路边界情况的测试向量生成方法，其特征在于，实施步骤包括：S1.将数据通路中除时钟端口、重置端口以外的所有数据端口按照功能属性划分为数据传输类端口与控制类端口；S2.建立基于数据类型的边界值知识库，向该边界值知识库输入步骤S1中所述每个数据传输类端口的数据类型，得到每个数据传输类端口的边界值集合；输入步骤S1中每个控制类端口的位宽通过约束求解器求得每个控制类端口的合法值域，从而形成控制类端口的合法值域集合；S3. 分别将步骤S2中数据传输类端口的边界值集合中的每个边界值与控制类端口的合法值域集合中的每个合法值进行正交组合，得到覆盖数据通路边界情况的测试向量。

【技术特征摘要】
1.一种基于知识库的覆盖数据通路边界情况的测试向量生成方法，其特征在于，实施步骤包括：S1.将数据通路中除时钟端口、重置端口以外的所有数据端口按照功能属性划分为数据传输类端口与控制类端口；S2.建立基于数据类型的边界值知识库，向该边界值知识库输入步骤S1中所述每个数据传输类端口的数据类型，得到每个数据传输类端口的边界值集合；输入步骤S1中每个控制类端口的位宽通过约束求解器求得每个控制类端口的合法值域，从而形成控制类端口的合法值域集合；S3.分别将步骤S2中数据传输类端口的边界值集合中的每个边界值与控制类端口的合法值域集合中的每个合法值进行正交组合，得到覆盖数据通路边界情况的测试向量。2.根据权利要求1所述的基于知识库的覆盖数据通路边界情况的测试向量生成方法，其特征在于，所述数据端口为输入端口。3.根据权利要求1所述的基于知识库的覆盖数据通路边界情况的测试向量生成方法，其特征在于，所述数据端口为输出端口。4.根据权利要求1所述的基于知...

【专利技术属性】
技术研发人员：陈书明，吕昭，张见，王耀华，张廷荣，胡春媚，孙乾，
申请(专利权)人：中国人民解放军国防科技大学，
类型：发明
国别省市：湖南,43