本申请涉及集成电路领域，尤其涉及一种eco的方法及装置。
背景技术：
随着科技的发展，集成电路在各行各业得到了广泛的应用，其中，尤为重要的需求是功能完整并且无设计错误的集成电路，所以对集成电路的验证成为了集成电路的设计流程中重要的环节。
在专用集成电路的设计流程中，当进展到物理实现节点后，如果验证发现rtl(registertransferlevel寄存器传输级)设计缺陷，而需要对功能进行修改的情况下，为了减小修改过程的迭代周期，通常使用eco(engineeringchangeorder，工程改变命令)的方式进行网表修改。
现有的eco方式包括手工eco和自动eco，手工eco完全依赖设计者对设计的熟悉和对综合、物理实现后的网报理解程度，需要设计者具有丰富的经验，并且eco数量、实现难度不能过高，否则无法依靠手工修改网表完成eco，同时确保eco的正确性。因此，手工eco仅限于简单修改网表中连接关系或者明确的逻辑表达。自动eco在新旧网表的差异较为复杂的情况下，迭代周期较长甚至由于eco过于复杂导致无法完成eco。
如何提高eco的效率，准确性，成为当前工程实现中亟待解决的问题。
技术实现要素：
本申请提供了一种eco的方法及装置，目的在于解决如何提高eco的效率和准确性的问题。
为了实现上述目的，本申请提供了以下技术方案：
一种eco的方法，包括：
获取第一网表和第二网表，所述第一网表为依据第一需求生成的网表，所述第二网表为依据第二需求生成的网表，所述第二需求为对所述第一需求更改后的需求；
获取所述第一网表和第二网表中的差异点，并使用逻辑锥形式表示所述差异点；
对应展示所述差异点和所述逻辑锥；
获取用户输入的eco命令，所述eco命令为所述用户基于所述差异点和所述逻辑锥确定；
依据所述eco命令，生成eco脚本；
运行所述eco脚本。
可选的，在所述获取用户输入的eco命令之后，还包括：
运行所述eco命令，并展示所述eco命令在所述第一网表上的运行结果。
可选的，所述对应展示所述差异点和所述逻辑锥，包括：
按照所述逻辑锥的数量从小到大的顺序，对应展示所述差异点和所述逻辑锥。
可选的，所述获取用户输入的eco命令，包括：
依次接收所述用户按照所述顺序，逐个对所述差异点输入的所述eco命令；
所述运行所述eco命令，并展示所述eco命令在所述第一网表上的运行结果，包括：
在接收到所述用户的展示指令后，运行增量eco命令，并将所述增量eco命令的运行结果添加至展示结果，所述增量eco命令为从上次运行eco命令后，所述用户输入的所述eco命令，所述展示结果为上次运行eco命令后，所述用户已输入的所述eco命令的展示结果。
可选的，还包括：
获取第一rtl文件与第二rtl文件的区别信息，所述第一rtl文件为所述第一网表的rtl文件，所述第二rtl文件为所述第二网表的rtl文件；
根据所述区别信息，更新所述第一网表的svf文件，得到所述第二网表的svf文件。
一种eco的装置，包括：
第一获取单元，用于获取第一网表和第二网表，所述第一网表为依据第一需求生成的网表，所述第二网表为依据第二需求生成的网表，所述第二需求为对所述第一需求更改后的需求；
第二获取单元，用于获取所述第一网表和第二网表中的差异点，并使用逻辑锥形式表示所述差异点；
展示单元，对应展示所述差异点和所述逻辑锥；
第三获取单元，用于获取用户输入的eco命令，所述eco命令为所述用户基于所述差异点和所述逻辑锥确定；
生成单元，用于依据所述eco命令，生成eco脚本；
第一运行单元，用于运行所述eco脚本。
可选的，还包括：第二运行单元，用于运行所述eco命令，并展示所述eco命令在所述第一网表上的运行结果。
可选的，所述展示单元用于对应展示所述差异点和所述逻辑锥，包括：
所述展示单元具体用于，按照所述逻辑锥的数量从小到大的顺序，对应展示所述差异点和所述逻辑锥。
可选的，所述第三获取单元用于获取用户输入的eco命令，包括：
所述第三获取单元具体用于，依次接收所述用户按照所述顺序，逐个对所述差异点输入的所述eco命令；
所述第二运行单元用于运行所述eco命令，并展示所述eco命令在所述第一网表上的运行结果，包括：所述第二运行单元具体用于，在接收到所述用户的展示指令后，运行增量eco命令，并将所述增量eco命令的运行结果添加至展示结果，所述增量eco命令为从上次运行eco命令后，所述用户输入的所述eco命令，所述展示结果为上次运行eco命令后，所述用户已输入的所述eco命令的展示结果。
可选的，还包括：第四获取单元，用于获取第一rtl文件与第二rtl文件的区别信息，所述第一rtl文件为所述第一网表的rtl文件，所述第二rtl文件为所述第二网表的rtl文件；根据所述区别信息，更新所述第一网表的svf文件，得到所述第二网表的svf文件。
本申请所述的方法及装置，包括，获取第一网表和第二网表，获取第一网表和第二网表中的差异点，使用逻辑锥形式表示差异点，对应展示差异点和逻辑锥，获取用户输入的eco命令，eco命令为用户基于差异点和逻辑锥确定，依据eco命令，生成eco脚本，并运行eco脚本。本技术方案中，通过获取第一网表和第二网表的差异点，并以逻辑锥形式表示，人工基于差异点和逻辑锥，确定并输入eco脚本，运行eco脚本完成eco，比手工eco的效率高，又因为人工参与编写脚本，所以，与eco工具相比，能够人为甄别没有必要的逻辑，并避免冗余的代码，所以，有利于提高完成度，且人工在逻辑锥的提示下编写脚本，正确性高，所以尽管人为参与eco，但并不会降低准确性。
附图说明
为了更清楚地说明本申请实施例或现有技术中的技术方案，下面将对实施例或现有技术描述中所需要使用的附图作简单地介绍，显而易见地，下面描述中的附图仅仅是本申请的一些实施例，对于本领域普通技术人员来讲，在不付出创造性劳动的前提下，还可以根据这些附图获得其他的附图。
图1为本申请实施例公开的一种eco的方法的流程图；
图2为本申请实施例公开的又一种eco的方法的流程图；
图3为本申请实施例公开的一种eco装置的结构示意图；
图4为本申请实施例公开的一种设备的结构示意图。
具体实施方式
下面将结合本申请实施例中的附图，对本申请实施例中的技术方案进行清楚、完整地描述，显然，所描述的实施例仅仅是本申请一部分实施例，而不是全部的实施例。基于本申请中的实施例，本领域普通技术人员在没有做出创造性劳动前提下所获得的所有其他实施例，都属于本申请保护的范围。
本申请提供的eco的方法，属于功能性eco的范畴。
图1为本申请实施例提供的一种eco的方法，可以包括以下步骤：
s101、获取第一网表和第二网表。
本步骤中，第一网表为依据第一需求生成的网表，第二网表为依据第二需求生成的网表，第二需求为对第一需求更改后的需求。第一需求和第二需求是用户对集成电路的功能实现目标设计的需求，网表用于描述电路元件之间连接关系。本实施例中，称第一网表为旧网表，第二网表为新网表。
本实施例中，获取第一网表的具体过程为，接收用户导入的第一需求文件，并对第一需求文件进行rtl开发，得到rtl代码，对rtl代码进行验证，以确保rtl代码的功能与需求相匹配，最后对通过验证的rtl代码进行逻辑综合，得到第一网表。获取第二网表过程获取第一网表相同，依据需求得到网表的详细过程可以参考现有技术。
s102、获取第一网表和第二网表中的差异点，并使用逻辑锥形式表示差异点。
因为第二需求是对第一需求进行更改后的需求，而网表依据需求得到，所以第一网表和第二网表中必然存在差异点，差异点为第一网表相对于第二网表，电路元件连接关系的不同点。本实施例中，具体的，可以通过新旧网表之间的形式化验证，得到新旧网表之间的差异点，并使用逻辑堆形式表示差异点。进一步的，可以通过调用形式化验证工具，获取新旧网表之间的差异点。
需要说明的是，一个差异至少需要一个逻辑堆进行表示，也就是说，有可能存在多个逻辑堆表示同一个差异点。采用逻辑堆形式表示差异点，是为了后续用户能够依据逻辑堆编写修改差异点的eco命令。进一步的，可以在形式化验证工具中，以逻辑锥形式表示差异点。
本实施例中，具体的，采用形式化验证确定新旧网表之间的差异点的过程，以及使用逻辑堆形式表示差异点的方式可以参考现有技术。
s103、对应展示差异点和逻辑锥。
实现本步骤的一种方式可以是，按照逻辑锥的数量从小到大的顺序，对应展示差异点和逻辑锥。逻辑锥的数量指的是，针对一个差异点，用于表示该差异点的逻辑锥的数量。因为差异点不同，所以表示差异点的逻辑锥形的数量有可能也不同。本步骤中，例如，可以采用列表的形式对应展示差异点和逻辑堆。
s104、获取用户输入的eco命令。
eco命令为用户基于差异点和逻辑锥确定，因为逻辑锥中包括指示用户如何修改差异点的信息，所以用户可以根据展示的差异点和逻辑锥编写修改差异点的eco命令。
本实施例中，因为差异点和逻辑锥，是按照逻辑锥的数量从小到大的顺序对应展示的，所以，用户可以按照展示的顺序，逐个对差异点输入eco命令。对应的，获取用户输入的eco命令的具体方式为：依次接收用户按照展示的顺序，逐个对差异点输入的eco命令。
s105、依据eco命令，生成eco脚本。
实现本步骤的一种方式可以是，按照各个eco命令的输入顺序，对用户输入的eco命令进行整合，得到eco脚本。
s106、运行eco脚本。
得到eco脚本后，运行该eco脚本，从而完成eco。
本实施例提供的方法，自动获取网表的差异点，并以逻辑锥形式表示，人工基于差异点和逻辑锥，确定并输入eco脚本，运行eco脚本完成eco，比手工eco的效率高，又因为人工参与编写脚本，所以，与eco工具相比，能够人为甄别没有必要的逻辑，并避免冗余的代码，所以，有利于提高完成度，且人工在逻辑锥的提示下编写脚本，正确性高，所以尽管人为参与eco，但并不会降低准确性。
结合图1，图2为本申请实施例提供的又一种eco的方法，包括如图2所示的步骤s201～s207，与上述实施例的区别在于：本实施例在步骤获取用户输入的eco命令之后，增加了步骤s205：运行eco命令，并展示eco命令在第一网表上的运行结果。
本实施例中，运行eco命令，并展示eco命令在第一网表上的运行结果具体方式为：在接收到用户的展示指令后，运行增量eco命令，并将增量eco命令的运行结果添加至展示结果。其中，增量eco命令为从上次运行eco命令后，用户输入的eco命令，展示结果为上次运行eco命令后，用户已输入的eco命令的展示结果。
本实施例中，因为按照逻辑锥的数量从小到大的顺序，对应展示差异点和逻辑锥，所以用户可以按照展示的顺序，逐个的输入差异点的eco命令，并在输入eco命令后，为了确定输入的eco命令是否正确，可以进行展示eco命令的操作。系统在接收到用户输入的展示指令后，运行用户输入的eco命令，并展示运行的结果。因为，eco命令是针对第一网表相对于第二网表的差异点的进行修改的命令，所以展示eco命令在第一网表上的运行结果，使用户可以通过运行的结果，确认输入的eco命令是否准确，如果运行结果无法实现需求的功能，则可以及时的调整eco命令。
同时，因为按照逻辑锥的数量从小到大的顺序，对应展示差异点和逻辑锥，所以用户也可以从逻辑锥的数量最小的差异点开始，编写多个差异点的eco命令后，选择一并运行，虽然多个eco命令一并运行，但因为逻辑锥数量小，逻辑简单，所以一并运行，既不影响用户观察运行结果，还可以提高运行效率。另外，从逻辑锥的数量最小的差异点开始，每次运行差异点的增量eco命令，添加增量eco命令的展示结果，能够减小增量eco命令运行和展示的时长。
本申请提供的实施例，得到eco脚本后，可以采用综合工具运行eco脚本，得到eco后的网表，并对网表进行物理实现，即可得到eco后的可用于tapout数据。其中，对网表进行物理实现，得到tapout数据的过程可以参考现有技术。
需要说明的是，eco后的网表只将按照需求修改的逻辑引入已经物理实现的第一网表中，由于无需对第二网表进行物理设计流程，因此使用eco修复第一网表仅需针对eco进行部分物理设计迭代即可完成全部设计，花费的时间较基于第二网表进行物理设计大幅削减。完成eco操作后，后续工作按照正常设计流程开展。
在现实的开发集成电路的场景中，当集成电路项目进入到物理实现阶段，整个项目处于时间收敛状态，但出现rtl设计重大缺陷需要对功能进行修复的情况时，可以应用本申请提供的技术方案，通过运行新旧网表差异点对应的eco脚本，可以在短时间内对功能进行修复，无需返回项目的起始点重新布置整个项目，从而节省了大量的项目开发时间。
本申请提供的实施例，可选的，在生成eco脚本之前，还可以获取第一rtl文件与第二rtl文件的区别信息，并根据区别信息，更新第一网表的svf文件，得到第二网表的svf文件。其中，第一rtl文件为第一网表的rtl文件，第二rtl文件为第二网表的rtl文件。
因为rtl文件是与用户设计的需求相匹配的文件，本实施例中，第二需求是对第一需求更新后的需求，所以与第二需求匹配的第二rtl文件，和与第一需求匹配的第一rtl文件之间必然存在区别信息。
通常，rtl文件与svf文件是一一对应的，svf文件反映rtl文件的代码行数，本实施例中，为了得到第二网表的svf文件，可以利用第一rtl文件与第二rtl文件的区别信息对第一网表的svf文件进行修改，使修改后得到的svf文件与第二rtl文件具有映射关系，并将修改后得到的svf文件作为第二网表的svf文件。具体的，利用区别信息对svf文件进行修改的方式可以参考现有技术。
以下以专用集成电路的设计流程为例，对本申请提供的方法的具体应用过程进行说明。
步骤a1、用户根据专用集成电路的功能实现目标，设计专用集成电路的第一需求，并将设计完成的第一需求，输入具有eco功能的设备。
步骤a2、具有eco功能的设备接收用户输入的初始设计的第一需求，开始执行针对第一需求生成第一网表，对第一网表进行物理实现的过程。
步骤a3、在设备执行从第一需求到第一网表，并进行物理实现的任意一个环节中，用户如果需要对集成电路的功能进行改进，在这样的情况下，用户可以对初始设计的第一需求进行修改，得到第二需求，并将第二需求输入具有eco功能的设备中。
步骤a4、设备接收到用户输入的第二需求后，同样的，根据第二需求，得到第二网表。并将原有的第一网表和第二网表进行形式化验证，获取这两个网表的差异点，并用逻辑堆形式表示差异点。然后按照逻辑堆数量由小到大的顺序，以列表的形式在前端界面上对应展示差异点和逻辑堆。同时，界面上包括eco命令的输入框、以及运行eco命令的图标。
需要说明的是，设备在执行步骤a4的过程中，仍然同时执行步骤a2的各个环节，就是说，用户输入第二需求后，并不影响设备继续对第一网表进行物理实现的过程。
步骤a5、用户根据对应展示的差异点和逻辑堆，在eco命令的输入框输入eco命令，需要说明的是，用户输入的eco命令可以是一个差异点的命令，也可以是多个差异点的多条命令，用户在输入eco命令后，可以通过点击前端界面的运行eco命令的图标，向设备发送运行eco命令的指令。
步骤a6、设备接收到用户的运行eco命令的指令后，运行eco命令，并将在前端界面上展示eco命令在第一网表上的运行结果，以及第二网表。
步骤a7、用户通过比较eco命令在第一网表上的运行结果和第二网表，可以判断输入的运行eco命令是否正确，如果不正确，则可以删除错误eco命令，并重新在的eco命令的输入框中输入调整后的eco命令，并在点击运行eco命令的图标后，查看运行的结果。用户通过反复的调整输入eco命令，并点击运行eco命令图标，直到前端界面显示的运行结果和第二网表信息内容一致，则可确定完成对差异点的修改，并通过点击前端界面上确定修改完毕的图标，指示设备修改完毕。
步骤a8、设备接收到修改完毕的指令后，将用户输入的eco命令，整合成eco脚本，运行eco脚本，得到eco后的网表，并对网表进行物理实现，得到eco后的tapout数据。
步骤a9、用户根据最后输出的tapout数据，则可以开始进行专用集成电路的制造。
本申请实施例提供的应用场景，可见，即使集成电路项目进入到物理实现阶段，需要对集成电路的功能进行修改时，也可以通过运行新旧网表差异点对应的eco脚本，可以在短时间内对功能进行修复，无需返回项目的起始点重新布置整个项目，从而节省了大量的项目开发时间。
综上所述，本技术方案中，使用形式化验证工具获取第一网表和第二网表的差异点，在工具中以逻辑锥形式表示，人工基于逻辑锥修复差异，修复过程中产生修复某一差异点对应的脚本，当全部差异点修复完成后将全部修复脚本统一综合生成最终版本eco脚本，在综合工具中执行eco脚本完成eco操作。本申请方法比手工eco的效率高，又因为人工参与编写脚本，所以，与完全依靠eco工具相比，能够人为甄别没有必要的修复动作，并避免工具因修改差异较多引起修复周期过长甚至工具崩溃无法完成eco操作。本技术方案有利于提高完成度，且人工在形式化验证工具中逐步完成脚本编写，逐步迭代，步步确认，最终产出的eco脚本正确性高，所以尽管人为参与eco，但并不会降低最终效率。
需要说明的是，以上使用到的工具，可以通过编写脚本实现调用。脚本和工具，构成功能模块，实现上述技术方案。
与上述本申请实施例提供的一种eco的方法相对应，参考图3，示出了本发明实施例还提供了一种eco的装置300的结构示意图，包括：
第一获取单元301，用于获取第一网表和第二网表，所述第一网表为依据第一需求生成的网表，所述第二网表为依据第二需求生成的网表，所述第二需求为对所述第一需求更改后的需求；
第二获取单元302，用于获取所述第一网表和第二网表中的差异点，并使用逻辑锥形式表示所述差异点；
展示单元303，对应展示所述差异点和所述逻辑锥；
第三获取单元304，用于获取用户输入的eco命令，所述eco命令为所述用户基于所述差异点和所述逻辑锥确定；
生成单元305，用于依据所述eco命令，生成eco脚本；
第一运行单元306，用于运行所述eco脚本。
上述的装置，还包括：第二运行单元307，用于运行eco命令，并展示所述eco命令在所述第一网表上的运行结果。第四获取单元308，用于获取第一rtl文件与第二rtl文件的区别信息，所述第一rtl文件为所述第一网表的rtl文件，所述第二rtl文件为所述第二网表的rtl文件；根据所述区别信息，更新所述第一网表的svf文件，得到所述第二网表的svf文件。
其中，展示单元303对应展示差异点和逻辑锥的具体实现方式为：按照所述逻辑锥的数量从小到大的顺序，对应展示所述差异点和所述逻辑锥。
第三获取单元获取304用户输入的eco命令，的具体实现方式为：依次接收所述用户按照所述顺序，逐个对所述差异点输入的所述eco命令。
第二运行单元307运行所述eco命令，并展示所述eco命令在所述第一网表上的运行结果的具体实现方式为：在接收到所述用户的展示指令后，运行增量eco命令，并将所述增量eco命令的运行结果添加至展示结果，所述增量eco命令为从上次运行eco命令后，所述用户输入的所述eco命令，所述展示结果为上次运行eco命令后，所述用户已输入的所述eco命令的展示结果。
本实施例提供的装置，自动获取新旧网表之间的差异点，并以逻辑锥形式表示，人工基于差异点和逻辑锥，确定并输入eco脚本，运行eco脚本完成eco，比手工eco的效率高，又因为人工参与编写脚本，所以，与eco工具相比，能够人为甄别没有必要的逻辑，并避免冗余的代码，所以，有利于提高完成度，且人工在逻辑锥的提示下编写脚本，正确性高，所以尽管人为参与eco，但并不会降低准确性。
本发明实施例还提供了一种电子设备400，其结构示意图如图4所示，具体包括：处理器401和存储器402，存储器402用于存储程序；处理器401用于运行程序，以实现本申请实施例中eco的方法。
本发明实施例还提供了一种计算机可读存储介质，该计算机可读存储介质中存储有指令，当其在计算机上运行时，使得计算机执行本申请实施例中eco的方法。
本申请实施例方法所述的功能如果以软件功能单元的形式实现并作为独立的产品销售或使用时，可以存储在一个计算设备可读取存储介质中。基于这样的理解，本申请实施例对现有技术做出贡献的部分或者该技术方案的部分可以以软件产品的形式体现出来，该软件产品存储在一个存储介质中，包括若干指令用以使得一台计算设备(可以是个人计算机，服务器，移动计算设备或者网络设备等)执行本申请各个实施例所述方法的全部或部分步骤。而前述的存储介质包括：u盘、移动硬盘、只读存储器(rom，read-onlymemory)、随机存取存储器(ram，randomaccessmemory)、磁碟或者光盘等各种可以存储程序代码的介质。
本说明书中各个实施例采用递进的方式描述，每个实施例重点说明的都是与其它实施例的不同之处，各个实施例之间相同或相似部分互相参见即可。
对所公开的实施例的上述说明，使本领域专业技术人员能够实现或使用本申请。对这些实施例的多种修改对本领域的专业技术人员来说将是显而易见的，本文中所定义的一般原理可以在不脱离本申请的精神或范围的情况下，在其它实施例中实现。因此，本申请将不会被限制于本文所示的这些实施例，而是要符合与本文所公开的原理和新颖特点相一致的最宽的范围。
1.一种eco的方法，其特征在于，包括：
获取第一网表和第二网表，所述第一网表为依据第一需求生成的网表，所述第二网表为依据第二需求生成的网表，所述第二需求为对所述第一需求更改后的需求；
获取所述第一网表和第二网表中的差异点，并使用逻辑锥形式表示所述差异点；
对应展示所述差异点和所述逻辑锥；
获取用户输入的eco命令，所述eco命令为所述用户基于所述差异点和所述逻辑锥确定；
依据所述eco命令，生成eco脚本；
运行所述eco脚本。
2.根据权利要求1所述的方法，其特征在于，在所述获取用户输入的eco命令之后，还包括：
运行所述eco命令，并展示所述eco命令在所述第一网表上的运行结果。
3.根据权利要求2所述的方法，其特征在于，所述对应展示所述差异点和所述逻辑锥，包括：
按照所述逻辑锥的数量从小到大的顺序，对应展示所述差异点和所述逻辑锥。
4.根据权利要求3所述的方法，其特征在于，所述获取用户输入的eco命令，包括：
依次接收所述用户按照所述顺序，逐个对所述差异点输入的所述eco命令；
所述运行所述eco命令，并展示所述eco命令在所述第一网表上的运行结果，包括：
在接收到所述用户的展示指令后，运行增量eco命令，并将所述增量eco命令的运行结果添加至展示结果，所述增量eco命令为从上次运行eco命令后，所述用户输入的所述eco命令，所述展示结果为上次运行eco命令后，所述用户已输入的所述eco命令的展示结果。
5.根据权利要求1-4任一项所述的方法，其特征在于，还包括：
获取第一rtl文件与第二rtl文件的区别信息，所述第一rtl文件为所述第一网表的rtl文件，所述第二rtl文件为所述第二网表的rtl文件；
根据所述区别信息，更新所述第一网表的svf文件，得到所述第二网表的svf文件。
6.一种eco的装置，其特征在于，包括：
第一获取单元，用于获取第一网表和第二网表，所述第一网表为依据第一需求生成的网表，所述第二网表为依据第二需求生成的网表，所述第二需求为对所述第一需求更改后的需求；
第二获取单元，用于获取所述第一网表和第二网表中的差异点，并使用逻辑锥形式表示所述差异点；
展示单元，对应展示所述差异点和所述逻辑锥；
第三获取单元，用于获取用户输入的eco命令，所述eco命令为所述用户基于所述差异点和所述逻辑锥确定；
生成单元，用于依据所述eco命令，生成eco脚本；
第一运行单元，用于运行所述eco脚本。
7.根据权利要求6所述的装置，其特征在于，还包括：第二运行单元，用于运行所述eco命令，并展示所述eco命令在所述第一网表上的运行结果。
8.根据权利要求7所述的装置，其特征在于，所述展示单元用于对应展示所述差异点和所述逻辑锥，包括：
所述展示单元具体用于，按照所述逻辑锥的数量从小到大的顺序，对应展示所述差异点和所述逻辑锥。
9.根据权利要求8所述的装置，其特征在于，所述第三获取单元用于获取用户输入的eco命令，包括：
所述第三获取单元具体用于，依次接收所述用户按照所述顺序，逐个对所述差异点输入的所述eco命令；
所述第二运行单元用于运行所述eco命令，并展示所述eco命令在所述第一网表上的运行结果，包括：所述第二运行单元具体用于，在接收到所述用户的展示指令后，运行增量eco命令，并将所述增量eco命令的运行结果添加至展示结果，所述增量eco命令为从上次运行eco命令后，所述用户输入的所述eco命令，所述展示结果为上次运行eco命令后，所述用户已输入的所述eco命令的展示结果。
10.根据权利要求6-9任一项所述的装置，其特征在于，还包括：第四获取单元，用于获取第一rtl文件与第二rtl文件的区别信息，所述第一rtl文件为所述第一网表的rtl文件，所述第二rtl文件为所述第二网表的rtl文件；根据所述区别信息，更新所述第一网表的svf文件，得到所述第二网表的svf文件。
技术总结