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

摘要

本发明属于计算机硬件检测技术领域，具体涉及一种硬件模型检测方法，首先设计具有交联关系的硬件系统A和B，确定A和B交联信号的逻辑关系和物理关系；建立硬件系统A和B的连接模型，并依据连接模型建立A和B的硬件模型，硬件模型包括逻辑模型和物理模型，统一逻辑模型的数据格式和物理模型的数据格式；在连接模型和统一化的数据格式的基础上，进行硬件系统A和B的逻辑连接和物理连接的一致性检查；如果符合一致性，进行硬件系统A和B的布局、生产和装焊；否则修正硬件系统A和B的设计并重新进行一致性检查直至符合要求。检测方法实现简单，可以在硬件系统设计早期，保证硬件系统的物理连接和逻辑连接的正确性，减少人为设计的错误。

主权项

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

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

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

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

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

2.根据权利要求1所述的一种硬件模型检测方法，其特征在于：所述步骤二中确定方法为：建立存在交联关系的硬件系统A和B的交联部分的连接模型，表示为J＝(JL,JP)；JL是逻辑信息的连接模型，JL＝{la1@lb1,la2@lb2,la3@lb3,……lan@lbn}，lai@lbi(1<＝i<＝n)表示硬件系统A和B在管脚i处的逻辑连接关系，n表示硬件系统A和B的交联信号数目，JP是物理信息的连接模型。

3.根据权利要求2所述的一种硬件模型检测方法，其特征在于：所述物理模型J_P建立方法如下：首先建立统一的坐标系C(x,y,z)，然后根据硬件系统A和B的物理插合关系确定在该坐标系统的位置和偏移，之后再根据硬件A和B在该系统的位置，确定硬件A和B插合的各区域的限高要求和区域位置等；J_P＝{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的之间的高度。

4.根据权利要求1所述的一种硬件模型检测方法，其特征在于：所述一致性检查的方法如下：硬件模型的一致性检查规则表示为R＝R_L&R_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_Ac<h)，则R_h＝1；若R_P＝1，则硬件模型的物理连接一致；否则，硬件模型的物理连接不一致，设计人员需要修改不一致的物理结构；迭代修改检查后直至一致性检查通过，此时R＝1；若R＝1，则H_A和H_B一致，否则H_A和H_B不一致。