[发明专利]双极型集成电路设计的有效验证和电网络一致性比较方法

摘要

一种双极型集成电路设计的有效验证和电网络一致性比较方法，其中双极型集成电路比较验证方法包括逻辑级、电路级和版图级的三级实施方案；其中电网络一致性比较方法是提出了一种应用图论中多元图的方法，并结合双极型集成电路中电原理图特点的实施方法，使在所述的双极型集成电路比较验证方法中被提取电路与原电路的电网络一致性判别得以实现。由于双极型集成电路工艺制造上的复杂性和元件品种的多样性，导致设计中易出差错，利用比较验证方法和电网络一致性比较方法能保证集成电路设计的正确性。本发明的双极型集成电路设计中的比较验证方法和和与之有关的双极型集成电路电网络一致性比较方法具有严密性和通用性。

主权项

1、一种双极型集成电路设计的有效验证和电网络一致性比较方法，其特征包括：双极型集成电路设计的有效验证的方法以及在有效验证中的提取所得的电路与原设计的电路进行电网络一致性比较的方法；(一)所述的双极型集成电路的比较验证方法包括：S1步骤：被设计的双极型集成电路的功能描述，这是双极型集成电路设计的出发点，是芯片的功能描述，以此作为设计的依据，其功能描述来自用户的要求；S2步骤：被设计的双极型集成电路的系统设计，把功能描述构建为一个系统，由这个系统来完成芯片的功能要求；S3步骤：被设计的双极型集成电路的逻辑设计，这是集成电路进入实质性设计的第一步，在这一设计阶段，用户对芯片的功能要求必须通过逻辑运作来实现。逻辑设计又称逻辑综合；S4步骤：被设计的双极型集成电路的逻辑模拟，逻辑模拟是对上述设计阶段完成的逻辑网络进行逻辑分析和逻辑功能的校核，以确认逻辑设计的正确性；S5步骤：被设计的双极型集成电路的电路设计，电路设计是从逻辑设计至版图设计的中间环节，其目的是确定电路元件及其互连关系，电路设计又称电路综合，当描述多个电路时，电路就泛称电网络；S6步骤：被设计的双极型集成电路的电路模拟，电路模拟是对上述设计的电网络进行电路分析和电路功能的校核，以确认电路设计的正确性；S7步骤：被设计的双极型集成电路的版图设计，版图设计是集成电路设计中的最后环节，至关重要，逻辑设计、电路设计和版图设计是整个芯片设计中的三个重要环节；S8步骤：被设计的双极型集成电路的版图数据，版图数据是把上述版图设计的结果编辑成规则化的数据格式，从版图数据出发，就进入本发明的“比较验证法”的阶段；(以下S9步骤开始，从设计转入验证)S9步骤：被验证的双极型集成电路的设计规则检查，设计规则检查，这是对版图设计的结果进行有效验证的首要步骤；S10步骤：被验证的双极型集成电路的电路提取，电路提取又称版图/电路提取，希望提取所得的电路与原设计的电路具有一致性，为此，要对S10步骤和S5 步骤进行电网络一致性比较；S11步骤：被验证的双极型集成电路的电路模拟，这里的电路模拟是对版图/电路提取所得的电路进行电路级的模拟，属验证范畴，接着，要对S11步骤和S6 步骤进行电路特性比较，这是本发明比较验证方法的特点；S12步骤：被验证的双极型集成电路的逻辑提取，逻辑提取又称电路/逻辑提取，希望提取所得的逻辑网络，即，逻辑级电路与原逻辑设计中所得的逻辑网络具有一致性，为此，要对S12步骤和S3步骤进行逻辑网络一致性比较；S13步骤：被验证的双极型集成电路的逻辑模拟，这里的逻辑模拟是对电路/逻辑提取所得的逻辑网络进行逻辑级的模拟，属验证范畴，接着，要对S13步骤和S4步骤进行逻辑特性比较，这是本发明比较验证方法的特点；S14步骤：被验证的双极型集成电路的功能块提取，功能块提取是在逻辑提取基础上更高层次的逻辑功能块提取；S15步骤：对版图数据进行处理的图形编辑。(二)所述的电网络一致性比较的方法包括：V1步骤：被提取的电路与原设计标准电路的网表信息输入，这是进行电网络一致性比较的首要步骤，是把上述双极型集成电路的比较验证方法中的版图/电路图提取中被提取出来的电路图与原设计电路的网表信息输入本系统，这些信息是本发明全部工作流程的基础；V2步骤：待比较关联矩阵与原标准关联矩阵之形成，根据网表信息，分别形成两个多元图及其关联矩阵，这就是：被提取出来的电路的多元图及其关联矩阵与原设计的标准电路的多元图及其关联矩阵，称前者为待比较关联矩阵，后者为标准关联矩阵；V3步骤：对两个关联矩阵实施行排序和划分，对上述两个关联矩阵实施排序和划分是考察其能否朝着一致性方向发展；V4步骤：比较上述两个关联矩阵是否具有一致性，如果不具有一致性，则打印出错信息，如果具有一致性，则至下一V5步骤；V5步骤：再对两个关联矩阵实施行、列交换，对上述两个关联矩阵实施行、支列交换，考察其是否一致；V6步骤：比较上述两个关联矩阵是否一致，如果不一致，则打印出错信息，如果一致，则完成了电网络一致性比较；V7步骤：比较结果已达到一致，确认电网络一致性；V8步骤：在上述两个关联矩阵不一致情况下，即，在电网络比较不一致情况下，打印出错信息。