[0068]数据处理模块200还在原始的门级网表上加载所述ECO脚本文件，得到门级网表2。
[0069]接续上述示例，结合图2i所示，图2i为最终将要获取的门级网表2。
[0070]进一步的，本发明一实施方式中，存储输出模块300用于:保存和/或输出寄存器转换级电路I和门级网表2，完成芯片复杂工程的修改。
[0071 ]本发明一优选实施方式中，数据处理模块还用于:
将所述寄存器转换级电路I和门级网表2进行形式验证，当确认通过验证后，完成芯片复杂工程的修改，在此不做详细赘述。
[0072]综上所述，本发明的实现芯片复杂工程修改的方法及系统，通过找出寄存器转换级电路和门级网表上共同的关键信号，并分别在其关键信号后增加相应的寄存器产生新的网表，基于新的网表产生工程修改脚本运用到原始门级网表，从而实现芯片复杂工程修改。
[0073]本发明通过在关键信号后加入一级寄存器，这样使得形式验证工具不需要分析关键信号之后的大量的组合逻辑和寄存器逻辑，而只需分析关键信号之前的逻辑，使得形式验证工具分析的逻辑量大大减少，进而得到工程修改方案;本发明在关键信号后插入相应的寄存器后的所获得的门级网表和原始的门级网表除了在时序上相差一个周期之外，其逻辑运算行为相同，进而则可以将基于转换后的门级网表得到的工程修改脚本直接应用到原始的门级网表上，从而实现原始网表的复杂工程修改；同时，由于本发明在关键信号后加入相应的寄存器，这样使得在形式验证工具在分析工程修改时，涉及的寄存器数量相对较少，其对应分析的组合逻辑数量也相对较少，得出工程修改方案的可能性较高;进而以最少的逻辑改动实现目标工程修改，加速芯片的重新设计周期。
[0074]为了描述的方便，描述以上装置时以功能分为各种模块分别描述。当然，在实施本申请时可以把各模块的功能在同一个或多个软件和/或硬件中实现。
[0075]通过以上的实施方式的描述可知，本领域的技术人员可以清楚地了解到本申请可借助通用硬件平台的方式来实现。基于这样的理解，本申请的技术方案本质上或者说对现有技术做出贡献的部分以交换机的产品的形式体现出来。
[0076]以上所描述的装置实施方式仅仅是示意性的，其中所述作为分离部件说明的模块可以是或者也可以不是物理上分开的，作为模块显示的部件可以是或者也可以不是物理模块，即可以位于一个地方，或者也可以分布到多个网络模块上。可以根据实际的需要选择其中的部分或者全部模块来实现本实施方式方案的目的。本领域普通技术人员在不付出创造性劳动的情况下，即可以理解并实施。
[0077]本申请可以在由计算机执行的计算机可执行指令的一般上下文中描述，例如程序模块。一般地，程序模块包括执行特定任务或实现特定抽象数据类型的例程、程序、对象、组件、数据结构等等。也可以在分布式计算环境中实践本申请，在这些分布式计算环境中，由通过通信网络而被连接的远程处理设备来执行任务。在分布式计算环境中，程序模块可以位于包括保存设备在内的本地和远程计算机保存介质中。
[0078]应当理解，虽然本说明书按照实施方式加以描述，但并非每个实施方式仅包含一个独立的技术方案，说明书的这种叙述方式仅仅是为清楚起见，本领域技术人员应当将说明书作为一个整体，各实施方式中的技术方案也可以经适当组合，形成本领域技术人员可以理解的其他实施方式。
[0079]上文所列出的一系列的详细说明仅仅是针对本发明的可行性实施方式的具体说明，它们并非用以限制本发明的保护范围，凡未脱离本发明技艺精神所作的等效实施方式或变更均应包含在本发明的保护范围之内。
【主权项】
1.一种实现芯片复杂工程修改的方法，其特征在于，所述方法包括: 查找原始的寄存器转换级电路和原始的门级网表，获取其相互对应的关键信号； 对原始的寄存器转换级电路中的关键信号进行修改，生成寄存器转换级电路I; 在所述寄存器转换级电路I的关键信号后插入第一寄存器，将对原始的寄存器转换级电路的关键信号进行修改后的修改结果缓存至所述第一寄存器中，生成寄存器转换级电路2； 在原始的门级网表的关键信号后插入第二寄存器，生成门级网表I; 根据寄存器转换级电路2以及门级网表1，获取门级网表2; 保存和/或输出寄存器转换级电路I和门级网表2，完成芯片复杂工程的修改。2.根据权利要求1所述的实现芯片复杂工程修改的方法，其特征在于， “在所述寄存器转换级电路I的关键信号后插入第一寄存器，生成寄存器转换级电路2”后，所述方法还包括: 根据所述寄存器转换级电路2匹配生成门级网表2a。3.根据权利要求2所述的实现芯片复杂工程修改的方法，其特征在于，“根据寄存器转换级电路2以及门级网表I，获取门级网表2”具体包括: 根据门级网表2a以及门级网表1，获取匹配原始的门级网表的ECO脚本文件； 在原始的门级网表上加载所述ECO脚本文件，得到门级网表2。4.根据权利要求3所述的实现芯片复杂工程修改的方法，其特征在于， 所述方法还包括: 采用Conformal软件比对所述门级网表2a以及门级网表I，获取匹配原始的门级网表的ECO脚本文件。5.根据权利要求1-4任一项所述的实现芯片复杂工程修改的方法，其特征在于，“保存和/或输出新的寄存器转换级电路和新的门级网表”后，所述方法还包括: 将所述寄存器转换级电路I和门级网表2进行形式验证，当确认通过验证后，完成芯片复杂工程的修改。6.一种实现芯片复杂工程修改的系统，其特征在于，所述系统包括: 数据获取模块，用于查找原始的寄存器转换级电路和原始的门级网表，获取其相互对应的关键ig号； 数据处理模块，用于对原始的寄存器转换级电路中的关键信号进行修改，生成寄存器转换级电路I; 在所述寄存器转换级电路I的关键信号后插入第一寄存器，将对原始的寄存器转换级电路的关键信号进行修改后的修改结果缓存至所述第一寄存器中，生成寄存器转换级电路2； 在原始的门级网表的关键信号后插入第二寄存器，生成门级网表I; 根据寄存器转换级电路2以及门级网表1，获取门级网表2; 存储输出模块，用于保存和/或输出寄存器转换级电路I和门级网表2，完成芯片复杂工程的修改。7.根据权利要求6所述的实现芯片复杂工程修改的系统，其特征在于，所述数据处理模块还用于:根据所述寄存器转换级电路2匹配生成门级网表2a。8.根据权利要求7所述的实现芯片复杂工程修改的系统，其特征在于，所述数据处理模块还用于: 根据门级网表2a以及门级网表1，获取匹配原始的门级网表的ECO脚本文件； 在原始的门级网表上加载所述ECO脚本文件，得到门级网表2。9.根据权利要求8所述的实现芯片复杂工程修改的系统，其特征在于，所述数据处理模块还用于: 采用Conformal软件比对所述门级网表2a以及门级网表I，获取匹配原始的门级网表的ECO脚本文件。10.根据权利要求6-9任一项所述的实现芯片复杂工程修改的系统，其特征在于，所述数据处理模块还用于: 将所述寄存器转换级电路I和门级网表2进行形式验证，当确认通过验证后，完成芯片复杂工程的修改。
【专利摘要】本发明提供一种实现芯片复杂工程修改的方法及系统，所述方法包括：查找原始的寄存器转换级电路和原始的门级网表，获取其相互对应的关键信号；对原始的寄存器转换级电路中的关键信号进行修改，生成寄存器转换级电路1；在寄存器转换级电路1的关键信号后插入第一寄存器，将对原始的寄存器转换级电路的关键信号进行修改后的修改结果缓存至所述第一寄存器中，生成寄存器转换级电路2；在原始的门级网表的关键信号后插入第二寄存器，生成门级网表1；根据寄存器转换级电路2以及门级网表1，获取门级网表2；保存和/或输出寄存器转换级电路1和门级网表2，完成芯片复杂工程的修改。本发明最少的逻辑改动实现目标工程修改，加速芯片的重新设计周期。
【IPC分类】G06F17/50
【公开号】CN105701294
【申请号】CN201610021204
【发明人】段光生, 许俊, 夏杰
【申请人】盛科网络（苏州）有限公司
【公开日】2016年6月22日
【申请日】2016年1月13日