网表ECO方法、装置、设备及可读存储介质制造方法及图纸

本申请提出了一种网表ECO方法、装置、设备及可读存储介质，该方法包括：根据修改需求对原始行为级代码集合进行功能修改，根据第一ECO脚本对原始网表集合进行修改，得到修改后的行为级代码集合和修改后的网表集合，提取出修改层代码和修改层网表，然后根据得到的目标修改模块行为级代码和目标修改模块门级网表进行修改层逻辑等价验证；若修改层逻辑等价验证结果一致，则将第一ECO脚本发送至IC后端运行。本申请在调试阶段仅需要对比修改部分的代码和网表和进行逻辑等价验证，由于局部代码模块数据量较小，从而能够快速完成排错调试，提高ECO脚本调试的效率，缩短ECO脚本调试以及整个IC设计流程的时间。个IC设计流程的时间。个IC设计流程的时间。

【技术实现步骤摘要】
网表ECO方法、装置、设备及可读存储介质


[0001]本申请涉及集成电路设计
，具体涉及一种网表ECO方法、装置、设备及可读存储介质。

技术介绍

[0002]在电路设计中，网表用于描述电路元件相互之间的连接关系，一般来说是一个遵循某种比较简单的标记语法的文本文件。对于复杂的集成电路设计，电路功能需要通过多个级别的描述来完成，包括RTL行为描述，其行为方式的建模采用对信号行为级的描述方法来进行。
[0003]工程变更指令（Engineering Change Order，ECO）是指在流程中某个阶段发现错误，在不需要重复全流程的情况下，通过对当前流程阶段的设计直接进行变更，以减小全流程重复带来的项目时间的延长。网表ECO，即手动修改门级网表的过程，由于在芯片设计后期IC后端已经设计完成，门级网表并不能被重新综合，如果重新综合生成得到门级网表会造成后端工作全部报废，因此只允许在现有门级网表上进行修补。
[0004]在构思及实现本申请过程中，专利技术人发现至少存在如下问题：针对大规模数字设计，若后期发现设计问题修改设计代码后，采用传统ECO flow会导致迭代时间过长。如果需要对规模较大的网表进行ECO修改，进行ECO调试，每一次迭代中逻辑等价验证会花费很长的时间才能得到是否比对通过的结果，大大增加了ECO脚本调试的时间，导致整个网表ECO流程效率低下的问题。
[0005]前面的叙述在于提供一般的背景信息，并不一定构成现有技术。

技术实现思路

[0006]针对上述技术问题，本申请提供一种网表ECO方法、装置、设备及可读存储介质，通过对修改部分的代码和代码进行逻辑等价验证。
[0007]为解决上述技术问题，本申请提供一种网表ECO方法，包括如下步骤：获取原始行为级代码集合和原始网表集合；根据修改需求对所述原始行为级代码集合进行功能修改，并根据第一工程变更指令ECO脚本对所述原始网表集合进行修改，得到修改后的行为级代码集合和修改后的网表集合；分别从所述修改后的行为级代码集合和修改后的网表集合中提取出修改层代码和修改层网表，得到目标修改模块行为级代码和目标修改模块门级网表；根据所述目标修改模块行为级代码和目标修改模块门级网表进行修改层逻辑等价验证；若修改层逻辑等价验证结果一致，则将所述第一ECO脚本发送至IC后端运行。
[0008]可选地，在所述根据第一工程变更指令ECO脚本对所述原始网表集合进行修改之前，所述网表ECO方法还可以包括：
获取修改需求，提取所述修改需求对应的修改任务信息；根据所述修改任务信息确定需要修改的目标模块，并生成所述第一ECO脚本。
[0009]可选地，在所述修改层逻辑等价验证结果一致之后，所述方法还可以包括：对所述修改后的行为级代码集合和修改后的网表集合进行整体逻辑等价验证；若整体逻辑等价验证结果一致，则将所述第一ECO脚本发送至IC后端运行；若所述整体逻辑等价验证结果不一致，生成用于重新对所述原始网表集合进行修改的第二ECO脚本。
[0010]可选地，在所述生成用于重新对所述原始网表集合进行修改的第二ECO脚本之后，所述网表ECO方法还可以包括:根据所述第二ECO脚本对原始网表集合进行修改，得到重新修改后的网表集合；分别从修改后的行为级代码集合和重新修改后的网表集合中提取出修改层代码和修改层网表，得到目标修改模块行为级代码和目标修改模块门级网表；根据所述目标修改模块行为级代码和目标修改模块门级网表进行修改层逻辑等价验证。
[0011]可选地，所述网表ECO方法，还可以包括：若所述修改层逻辑等价验证结果不一致，则将所述修改层逻辑等价验证结果与待修改层逻辑等价验证结果进行比对；若比对结果不一致，则生成用于重新对所述原始网表集合进行修改的第二ECO脚本；若所述比对结果一致，则将所述第一ECO脚本发送至IC后端运行。
[0012]可选地，在所述比对结果一致之后，所述网表ECO方法还可以包括：对修改后的行为级代码集合和修改后的网表集合进行整体逻辑等价验证；若整体逻辑等价验证结果一致，则将所述第一ECO脚本发送至IC后端运行；若所述整体逻辑等价验证结果不一致，则生成用于重新对原始网表集合进行修改的第二ECO脚本。
[0013]可选地，在所述获取原始行为级代码集合和原始网表集合之后，所述网表ECO方法还可以包括：提取所述原始行为级代码集合中的待修改层代码，生成待修改层行为级代码集合；提取所述原始网表集合中待修改层代码，生成待修改层网表集合；对所述待修改层行为级代码集合和所述待修改层网表集合进行待修改层逻辑等价验证，生成待修改层逻辑等价验证结果。
[0014]相应地，本申请还提供一种网表ECO装置，包括：获取模块，用于获取原始行为级代码集合和原始网表集合；修改模块，用于根据修改需求对所述原始行为级代码集合进行功能修改，并根据第一工程变更指令ECO脚本对所述原始网表集合进行修改，得到修改后的行为级代码集合和修改后的网表集合；提取模块，用于分别从所述修改后的行为级代码集合和修改后的网表集合中提取出修改层代码和修改层网表，得到目标修改模块行为级代码和目标修改模块门级网表；
验证模块，用于根据所述目标修改模块行为级代码和目标修改模块门级网表进行修改层逻辑等价验证；发送模块，用于若修改层逻辑等价验证结果一致，则将所述第一ECO脚本发送至IC后端运行。
[0015]本申请还提出了一种计算机设备，包括存储器和处理器，所述存储器存储有计算机程序，所述处理器执行所述计算机程序时实现上述任一项所述的网表ECO方法的步骤。
[0016]本申请还提出了一种计算机可读存储介质，其上存储有计算机程序，所述计算机程序被处理器执行时实现上述任一项所述的网表ECO方法的步骤。
[0017]实施本申请实施例，具有如下有益效果：如上所述，本申请提供的一种网表ECO方法、装置、设备及可读存储介质，所述方法包括：首先，获取原始行为级代码集合和原始网表集合；然后，根据修改需求对所述原始行为级代码集合进行功能修改，并根据第一ECO脚本对所述原始网表集合进行修改，得到修改后的行为级代码集合和修改后的网表集合；接着，分别从所述修改后的行为级代码集合和修改后的网表集合中提取出修改层代码和修改层网表，得到目标修改模块行为级代码和目标修改模块门级网表；其次，根据所述目标修改模块行为级代码和目标修改模块门级网表进行修改层逻辑等价验证；最后，若修改层逻辑等价验证结果一致，则将所述第一ECO脚本发送至IC后端运行。本申请通过在调试阶段对比修改部分的代码和网表后，可以仅需对修改部分进行逻辑等价验证，快速完成ECO脚本的调试，无需对全网表进行逻辑等价验证；由于局部代码模块数据量较小，因此本申请能够快速完成排错调试，从而有效提高ECO脚本调试的效率，缩短ECO脚本调试以及整个IC设计流程的时间。
附图说明
[0018]此处的附图被并入说明书中并构成本说明书的一部分，示出了符合本申请的实施例，并与说明书一起用于解释本申请的原理。为了更清楚地说明本申请实施例的本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种网表ECO方法，其特征在于，包括如下步骤：获取原始行为级代码集合和原始网表集合；根据修改需求对所述原始行为级代码集合进行功能修改，并根据第一工程变更指令ECO脚本对所述原始网表集合进行修改，得到修改后的行为级代码集合和修改后的网表集合；分别从所述修改后的行为级代码集合和修改后的网表集合中提取出修改层代码和修改层网表，得到目标修改模块行为级代码和目标修改模块门级网表；根据所述目标修改模块行为级代码和目标修改模块门级网表进行修改层逻辑等价验证；若修改层逻辑等价验证结果一致，则将所述第一ECO脚本发送至IC后端运行。2.根据权利要求1所述的网表ECO方法，其特征在于，在所述根据第一工程变更指令ECO脚本对所述原始网表集合进行修改之前，所述方法还包括：获取修改需求，提取所述修改需求对应的修改任务信息；根据所述修改任务信息确定需要修改的目标模块，并生成所述第一ECO脚本。3.根据权利要求1所述的网表ECO方法，其特征在于，在所述修改层逻辑等价验证结果一致之后，所述方法还包括：对所述修改后的行为级代码集合和修改后的网表集合进行整体逻辑等价验证；若整体逻辑等价验证结果一致，则将所述第一ECO脚本发送至IC后端运行；若所述整体逻辑等价验证结果不一致，生成用于重新对所述原始网表集合进行修改的第二ECO脚本。4.根据权利要求3所述的网表ECO方法，其特征在于，在所述生成用于重新对所述原始网表集合进行修改的第二ECO脚本之后，所述方法还包括:根据所述第二ECO脚本对原始网表集合进行修改，得到重新修改后的网表集合；分别从修改后的行为级代码集合和重新修改后的网表集合中提取出修改层代码和修改层网表，得到目标修改模块行为级代码和目标修改模块门级网表；根据所述目标修改模块行为级代码和目标修改模块门级网表进行修改层逻辑等价验证。5.根据权利要求1所述的网表ECO方法，其特征在于，还包括：若所述修改层逻辑等价验证结果不一致，则将所述修改层逻辑等价验证结果与待修改层逻辑等价验证结果进行比对；若比对结果不一致，...

【专利技术属性】
技术研发人员：孟照南，张帆，郭清文，
申请(专利权)人：湖北芯擎科技有限公司，
类型：发明
国别省市：