[发明专利]含有X值的电路的简化方法、验证方法、存储介质

权利要求书

1.一种含有X值的电路的简化方法，其特征在于，包括：

对含有X值的电路进行遍历，获取带X值的电路节点对应的逻辑电路N，以及通过拷贝逻辑电路N形成的副本电路N’；

将所述逻辑电路N与副本电路N’的输出通过异或门连接，生成第一临时电路G；

通过对所述第一临时电路G进行赋值使其输出为1，得到所述临时电路中无法被赋值的部分并记录为需要考虑的子句集A1;

将所述第一临时电路G的合取范式与子句集A1取反后的合取范式进行合并，生成第二临时电路P；

将所述第二临时电路P放入解算器中进行求解，得到需要考虑的子句集A2；

将所述子句集A1和子句集A2进行汇总，得到简化后的带X值的子句集A。

2.一种含有X值的电路的验证方法，其特征在于，包括：

将含有X值的两个待验证电路分别划分为带X值的子句集A和不带X值的子句集B；

两个待验证电路各自的所述带X值的子句集A采用如权利要求1所述的含有X值的电路的简化方法得到；

将两个待验证电路各自的所述带X值的子句集A加入到子句集B对应的合取范式子句集中进行结合，并将X值赋值为0或1，放到解算器中进行求解，从而得到两个待验证电路是否等价的结果。

3.一种计算机可读存储介质，用于存储计算机程序，其特征在于，所述计算机程序运行时执行如权利要求1所述的含有X值的电路的简化方法。