[发明专利]一种硬件模型检测方法

权利要求书

1.一种硬件模型检测方法，其特征在于：该方法包括以下步骤：

第一步：设计具有交联关系的硬件系统A和B，

第二步：确定A和B交联信号的逻辑关系，同时确定A和B的物理关系；

第三步：建立硬件系统A和B的连接模型，并依据连接模型建立A和B的硬件模型，硬件模型包括逻辑模型和物理模型，统一逻辑模型的数据格式和物理模型的数据格式；

第四步：在连接模型和统一化的数据格式的基础上，进行硬件系统A和B的逻辑连接和物理连接的一致性检查；如果符合一致性，进行硬件系统A和B的布局、生产和装焊；否则修正硬件系统A和B的设计并重新进行一致性检查直至符合要求；

第四步中所述一致性检查的方法如下：硬件模型的一致性检查规则表示为R＝R_LR_P；R_L表示逻辑模型一致性检查规则，R_P表示物理模型一致性检查规则；其中若R_L＝1，则硬件模型的逻辑连接一致；否则，硬件模型的逻辑连接不一致，设计人员需要修改不一致的逻辑连接；R_h表示在硬件系统A和B投影区域的元器件中，对于任何存在投影关系的元器件c和d，必须保证h_Ac+h_Bd＜h，对于任何不存在投影关系的元器件c和d，必须保证(h_Ac＜h)(h_Bd＜h)，则R_h＝1；若R_P＝1，则硬件模型的物理连接一致；否则，硬件模型的物理连接不一致，设计人员需要修改不一致的物理结构；迭代修改检查后直至一致性检查通过，此时R＝1；若R＝1，则H_A和H_B一致，否则H_A和H_B不一致；其中，H_A和H_B分别表示硬件系统A和B的硬件模型；H_AL表示H_A的逻辑模型，H_AP表示H_A的物理模型，l_ai表示硬件系统A的管脚i的坐标信息，l_bi表示硬件系统B的管脚i的坐标信息，h表示硬件系统A和B插合后，硬件系统A和B的之间的高度，h_ALi表示H_AL的管脚i处的逻辑信号名称，h_BLi表示H_BL的管脚i处的逻辑信号名称，h_BPi表示H_BP的物理特性，h_APi表示H_AP的物理特性；H_BL表示H_B的逻辑模型，H_BP表示H_B的物理模型。

2.根据权利要求1所述的一种硬件模型检测方法，其特征在于：所述第二步中确定方法为：建立存在交联关系的硬件系统A和B的交联部分的连接模型，表示为J＝(JL，JP)；JL是逻辑信息的连接模型，JL＝{l_a1＠l_b1，l_a2＠l_b2，l_a3＠l_b3，……l_an＠l_bn}，l_ai＠l_bi，1＜＝i＜＝n，表示硬件系统A和B在管脚i处的逻辑连接关系，n表示硬件系统A和B的交联信号数目，JP是物理信息的连接模型。

3.根据权利要求2所述的一种硬件模型检测方法，其特征在于：所述物理信息的连接模型JP建立方法如下：首先建立统一的坐标系C(x，y，z)，然后根据硬件系统A和B的物理插合关系确定在该坐标系统的位置和偏移，之后再根据硬件A和B在该系统的位置，确定硬件A和B插合的各区域的限高要求和区域位置；JP＝{l_a1＠l_b1，l_a2＠l_b2，l_a3＠l_b3，……l_an＠l_bn，h}，l_ai表示硬件系统A的管脚i的坐标信息，l_bi表示硬件系统B的管脚i的坐标信息，h表示硬件系统A和B插合后，硬件系统A和B的之间的高度。