【技术实现步骤摘要】
本专利技术涉及芯片验证，特别是涉及一种约束变量的分类方法、电子设备及存储介质。
技术介绍
1、芯片验证领域中，激励发生器是验证环境的重要部件，也称为驱动器（driver）、总线功能模型（bus function model,bfm）、行为模型（behavioral）或发生器（generator）。激励发生器的主要职责是模拟与dut相邻设计的接口协议。与真正的设计相比，激励发生器只关注如何模拟接口信号，使其能够以真实的接口协议来发送激励给dut。
2、在eda中验证芯片的过程中，有很多问题可以转化为约束问题，从而采用通用约束求解器对约束问题进行求解。其中，约束问题，也称为约束可满足性问题（constraintsatisfaction problem,csp），约束问题的求解技术在硬件验证、软件自动化测试和一系列常见编程语言中有着广泛的应用。
3、随着科技的发展，约束问题也越来越复杂，对于约束求解器来说，约束问题的求解复杂度较高，约束求解器在对所有变量求解的过程中额外的计算消耗较大，求解效率低。因此亟需一种能够降低约束问题求解复杂度，提升求解效率的方法。
技术实现思路
1、针对上述技术问题，本专利技术采用的技术方案为：一种约束变量的分类方法，所述方法应用于芯片验证领域，包括如下步骤：
2、s1，获取构成约束问题的n个约束表达式，得到约束表达式集合e={e1,e2,…,ei,…,en}，ei为第i个约束表达式，i的取值范围为1到n；其中，ei中包括u(
3、s2，遍历约束表达式集合e中的每个约束表达式，对每个约束表达式中的每个约束变量进行预处理，得到e的候选基础变量集bc和候选结果变量集rc；其中，所述bc用于保存在预处理过程中分类结果疑似为自变量的约束变量，所述rc用于保存在预处理过程中分类结果疑似为因变量的约束变量。
4、s3，根据候选基础变量集合bc和候选结果变量集合rc获取中间变量集合m，其中，m满足：m=bc∩rc。
5、s4，根据bc和m获取基础变量集合b，其中，b满足：b=bc-m。
6、s5，根据rc和m获取结果变量集合r，其中，r满足：r=rc-m。
7、s6，将b、m和r按顺序输入约束求解器，使约束求解器按照分类顺序求解。
8、此外，本专利技术还提供了一种非瞬时性计算机可读存储介质，所述存储介质中存储有至少一条指令或至少一段程序，所述至少一条指令或所述至少一段程序由处理器加载并执行以实现上述方法。
9、此外，本专利技术还提供了一种电子设备，包括处理器和上述非瞬时性计算机可读存储介质。
10、本专利技术至少具有以下有益效果：
11、本专利技术提供了一种约束变量的分类方法、电子设备及存储介质，其通过将约束变量分为基础变量、中间变量和结果变量三种类型，使约束求解器先从基础变量进行求解，再逐步完成对中间变量和结果变量的求解，很好地缩减问题规模，相较于现有技术中未对约束问题的约束变量进行分类导致中间计算结果的冲突，避免了不必要的计算消耗，提升求解效率。
本文档来自技高网...【技术保护点】
1.一种约束变量的分类方法，其特征在于，所述方法应用于芯片验证领域，包括如下步骤：
2.根据权利要求1所述的方法，其特征在于，S2还包括当遍历至ei时，对ei中的每个约束变量进行预处理的步骤：
3.根据权利要求2所述的方法，其特征在于，S22还包括：
4.根据权利要求2所述的方法，其特征在于，S221和S222之间还包括：
5.根据权利要求2所述的方法，其特征在于，S22还包括：
6.根据权利要求5所述的方法，其特征在于，S2244包括：
7.根据权利要求5所述的方法，其特征在于，S2244还包括：
8.根据权利要求5所述的方法，其特征在于，S2244还包括：
9.一种非瞬时性计算机可读存储介质，所述存储介质中存储有至少一条指令或至少一段程序，其特征在于，所述至少一条指令或所述至少一段程序由处理器加载并执行以实现如权利要求1-8中任意一项的所述方法。
10.一种电子设备，其特征在于，包括处理器和权利要求9中所述的非瞬时性计算机可读存储介质。
【技术特征摘要】
1.一种约束变量的分类方法，其特征在于，所述方法应用于芯片验证领域，包括如下步骤：
2.根据权利要求1所述的方法，其特征在于，s2还包括当遍历至ei时，对ei中的每个约束变量进行预处理的步骤：
3.根据权利要求2所述的方法，其特征在于，s22还包括：
4.根据权利要求2所述的方法，其特征在于，s221和s222之间还包括：
5.根据权利要求2所述的方法，其特征在于，s22还包括：
6.根据权利要求5所述的方法，其特征...
【专利技术属性】
技术研发人员：石光辉，倪恩志，陈颖，
申请(专利权)人：成都融见软件科技有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。