可测试设计及布局布线阶段的逻辑功能更正方法及装置制造方法及图纸

本发明专利技术涉及数字芯片设计技术领域，特别涉及可测试设计及布局布线阶段的逻辑功能更正方法及装置；针对现有技术依赖性强、等价验证效率低以及寻找关键点的准确性低的不足，所采用的方案为：首先，读取R2R修改点文件、参考网表和目标网表；接着，根据R2R修改点文件、参考网表和目标网表，获取当前阶段的旧门级网表修改点；接着，对目标网表以及预选的匹配网表进行关键点匹配；接着，判断关键点匹配是否成功；接着，若匹配成功，根据当前阶段的旧门级网表修改点对目标网表进行修改直至目标网表与新的综合阶段门级网表的逻辑功能一致；最后，输出当前阶段的结果门级网表。通过前述方案，使得逻辑功能更正时各阶段的独立性好，准确性高。高。高。

【技术实现步骤摘要】
可测试设计及布局布线阶段的逻辑功能更正方法及装置


[0001]本专利技术涉及数字芯片设计
，特别涉及可测试设计及布局布线阶段的逻辑功能更正方法及装置。

技术介绍

[0002]逻辑功能更正，是指在数字芯片设计流程中出现逻辑功能需要改变的时候，仅仅修正RTL（register transfer level）文件，但是不对新的RTL文件重新进行耗时耗力的逻辑综合、物理综合以生成全新的电路，而是直接在已经完成各部分流程（如逻辑综合、物理综合）的原电路上局部增加或修改小部分逻辑单元，使得修改后的电路逻辑功能与新RTL文件等效。
[0003]现有的可测试设计及布局布线阶段的逻辑功能更正方法，具体为：第一步，读取当前阶段的旧门级网表并将其作为目标文件，还读取上一阶段逻辑功能更正的结果门级网表并将其作为参考文件；其中，若为可测试设计阶段，旧门级网表指旧的可测试设计阶段门级网表，上一阶段逻辑功能更正的结果门级网表为综合阶段逻辑功能更正的结果门级网表；若为布局布线阶段，旧门级网表指旧的布局布线阶段门级网表，上一阶段逻辑功能更正的结果门级网表为可测试设计阶段逻辑功能更正的结果门级网表；第二步，对目标文件和参考文件进行逻辑等价验证，并提取出需要进行逻辑功能更正的修改点；第三步，对目标文件和参考文件进行关键点匹配；第四步，若关键点匹配成功，对目标文件进行修改直至目标文件和参考文件的逻辑功能一致；第五步，输出添加修改补丁的当前阶段逻辑功能更正的结果门级网表；其中，若为可测试设计阶段，当前阶段的结果门级网表为可测试设计阶段逻辑功能更正的结果门级网表；若为布局布线阶段，当前阶段的结果门级网表为布局布线阶段逻辑功能更正的结果门级网表。
[0004]通过分析上述现有的逻辑功能更正方法，可以发现其存在以下不足：1.阶段之间的依赖性强。必须从综合阶段逻辑功能更正开始，获得综合阶段逻辑功能更正的结果门级网表，才能进入可测试设计阶段的逻辑功能更正，进而，获得可测试设计阶段逻辑功能更正的结果门级网表，才能进入布局布线阶段的逻辑功能更正。
[0005]2.等价验证效率低。只读取当前阶段的旧门级网表以及上一阶段逻辑功能更正的结果门级网表，在第二步中，需要进行逻辑等价验证，由于可测试设计阶段会增加测试逻辑（如扫描链）、布局布线阶段会优化布局布线工具，导致了可测试设计阶段的门级网表和综合阶段的门级网表的结构不同、布局布线阶段的门级网表和综合阶段的门级网表的结构不同，因此逻辑等价验证耗时很长，甚至可能会出现无法完成等价验证流程的情况，最终导致整个逻辑功能更正流程终止。
[0006]3.寻找关键点的准确性低。由于可测试设计阶段会增加测试逻辑（如扫描链）、布
局布线阶段会优化布局布线工具，导致了参考文件和目标文件中某些局部电路的结构、某些引脚的极性或模块的输入输出引脚会不一样，但是这些区别点在逻辑上又是等价的，而这些区分点会导致在寻找关键点时，将这些区分点也当成需要修改的点，导致逻辑功能更正所生成的补丁很大。
[0007]因此，需要优化现有的可测试设计及布局布线阶段的逻辑功能更正方法，以解决阶段之间的依赖性强、等价验证效率低以及寻找关键点的准确性低的问题。

技术实现思路

[0008]本专利技术的主要目的为提供可测试设计及布局布线阶段的逻辑功能更正方法及装置，以解决阶段之间的依赖性强、等价验证效率低以及寻找关键点的准确性低的问题。
[0009]为实现上述目的，本专利技术提供一种可测试设计及布局布线阶段的逻辑功能更正方法，包括以下步骤：读取R2R修改点文件、参考网表和目标网表；其中，参考网表包括旧的综合阶段门级网表、新的综合阶段门级网表、旧的通用技术网表以及新的通用技术网表，目标网表或为旧的可测试设计阶段门级网表、或为旧的布局布线阶段门级网表；根据R2R修改点文件、参考网表和目标网表，获取当前阶段的旧门级网表修改点；其中，当前阶段或为可测试设计阶段、或为布局布线阶段，当前阶段与目标网表所对应的阶段相同；对目标网表以及预选的匹配网表进行关键点匹配；判断关键点匹配是否成功；若匹配成功，根据当前阶段的旧门级网表修改点对目标网表进行修改直至目标网表与新的综合阶段门级网表的逻辑功能一致；输出当前阶段的结果门级网表；其中，当前阶段的结果门级网表为增添修改补丁后的目标网表。
[0010]本专利技术还提供一种可测试设计及布局布线阶段的逻辑功能更正装置，包括：读取单元，用于读取R2R修改点文件、参考网表和目标网表；其中，参考网表包括旧的综合阶段门级网表、新的综合阶段门级网表、旧的通用技术网表以及新的通用技术网表，目标网表或为旧的可测试设计阶段门级网表、或为旧的布局布线阶段门级网表；获取单元，用于根据R2R修改点文件、参考网表和目标网表，获取当前阶段的旧门级网表修改点；其中，当前阶段或为可测试设计阶段、或为布局布线阶段，当前阶段与目标网表所对应的阶段相同；匹配单元，用于对目标网表以及预选的匹配网表进行关键点匹配；判断单元，用于判断关键点匹配是否成功；修改单元，用于若匹配成功，根据当前阶段的旧门级网表修改点对目标网表进行修改直至目标网表与新的综合阶段门级网表的逻辑功能一致；输出单元，用于输出当前阶段的结果门级网表；其中，当前阶段的结果门级网表为增添修改补丁后的目标网表。
[0011]本专利技术还提供一种计算机设备，包括存储器和处理器，所述存储器中存储有计算
机程序，所述处理器执行所述计算机程序时实现如上所述方法的步骤。
[0012]本专利技术还提供一种计算机可读存储介质，其上存储有计算机程序，所述计算机程序被处理器执行时实现如上所述方法的步骤。
[0013]本专利技术提供的逻辑功能更正方法，首先，读取R2R修改点文件、参考网表和目标网表；其中，参考网表包括旧的综合阶段门级网表、新的综合阶段门级网表、旧的通用技术网表以及新的通用技术网表，目标网表或为旧的可测试设计阶段门级网表、或为旧的布局布线阶段门级网表；接着，根据R2R修改点文件、参考网表和目标网表，获取当前阶段的旧门级网表修改点；其中，当前阶段或为可测试设计阶段、或为布局布线阶段，当前阶段与目标网表所对应的阶段相同；接着，对目标网表以及预选的匹配网表进行关键点匹配；接着，判断关键点匹配是否成功；接着，若匹配成功，根据当前阶段的旧门级网表修改点对目标网表进行修改直至目标网表与新的综合阶段门级网表的逻辑功能一致；最后，输出当前阶段的结果门级网表；其中，当前阶段的结果门级网表为增添修改补丁后的目标网表。通过前述方法，实现：（1）各阶段的独立性好。具体的，摆脱了综合阶段、可测试设计阶段、布局布线阶段的逻辑功能更正之间的依赖性，通过将旧的综合阶段门级网表、新的综合阶段门级网表、旧的通用技术网表以及新的通用技术网表作为桥梁，以获取当前阶段的旧门级网表修改点，不仅可以跳过对门级网表的全局逻辑等价验证，而且可以跳过综合阶段逻辑功能更正直接进行可测试设计阶段的逻辑功能更正，甚至是直接进行布局布线阶段的逻辑功能更正，大幅缩短流程时间；（2）准确性高。具体的，将旧的综合阶段门级网表作为参考网表的一部分，以获得当前本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种可测试设计及布局布线阶段的逻辑功能更正方法，其特征在于，包括以下步骤：读取R2R修改点文件、参考网表和目标网表；其中，参考网表包括旧的综合阶段门级网表、新的综合阶段门级网表、旧的通用技术网表以及新的通用技术网表，目标网表或为旧的可测试设计阶段门级网表、或为旧的布局布线阶段门级网表；根据R2R修改点文件、参考网表和目标网表，获取当前阶段的旧门级网表修改点；其中，当前阶段或为可测试设计阶段、或为布局布线阶段，当前阶段与目标网表所对应的阶段相同；对目标网表以及预选的匹配网表进行关键点匹配；判断关键点匹配是否成功；若匹配成功，根据当前阶段的旧门级网表修改点对目标网表进行修改直至目标网表与新的综合阶段门级网表的逻辑功能一致；输出当前阶段的结果门级网表；其中，当前阶段的结果门级网表为增添修改补丁后的目标网表。2.根据权利要求1所述的一种可测试设计及布局布线阶段的逻辑功能更正方法，其特征在于，所述根据R2R修改点文件、参考网表和目标网表，获取当前阶段的旧门级网表修改点的步骤包括：分析R2R修改点文件、新的通用技术网表以及旧的通用技术网表，并将R2R修改点文件中的R2R修改点对应到旧的通用技术网表中，确定通用技术网表修改点；根据旧的综合阶段门级网表、新的综合阶段门级网表、旧的通用技术网表以及新的通用技术网表对通用技术网表修改点进行转换，得到综合阶段门级网表修改点；分析旧的综合阶段门级网表以及目标网表，将综合阶段门级网表修改点对应到目标网表中，并得到当前阶段的旧门级网表修改点。3.根据权利要求1所述的一种可测试设计及布局布线阶段的逻辑功能更正方法，其特征在于，所述读取R2R修改点文件、参考网表和目标网表的步骤之前，还包括：获取新的RTL文件、旧的RTL文件；对比新的RTL文件、旧的RTL文件，并提取修改点作为R2R修改点；根据R2R修改点生成R2R修改点文件。4.根据权利要求1所述的一种可测试设计及布局布线阶段的逻辑功能更正方法，其特征在于，所述若匹配成功，根据当前阶段的旧门级网表修改点对目标网表进行修改直至目标网表与新的综合阶段门级网表的逻辑功能一致的步骤之后，还包括：输出补丁逻辑修改点；其中，补丁逻辑修改点与当前阶段的结果门级网表对应。5.根据权利要求1所述的一种可测试设计及布局布线阶段的逻辑功能更正方法，其特征在于，匹配网表为新的综合阶段门级网表和旧的综合阶段门级网表时，所述对目标网表以及预选的匹配网表进行关键点匹配的步骤包括：根据预设的第一匹配目标，确定需要进行关键点匹配的第一信号和第一模块；对新的综合阶段门级网表、旧的综合阶段门级网表以及目标网表的信号进行比较，确定新的综合阶段门级网表和目标网表中相对应的第一信号；对新的综合阶段门级网表、旧的综合阶段门级网表以及目标网表的模块进行比较，确定新的综合阶段门级网表和目标网表相对应的第一模块。
6.根据权利要求3所述的一种可测试设计及布局布线阶段的逻辑功能更正方法，其特征在于，所述对比新的RTL文件、旧的RTL文件，并提取修改点作为R2R修改点的步骤之前，还包括移除新的RTL文件中的注释、旧的RTL文件中的注释；所述移除新的RTL文件中的注释、旧的RTL文件中的注释的步骤包括：通过解析器解析新的RTL文件、旧的RTL文件，确定注释的位置和类型；移除新的RTL文件中的单行...

【专利技术属性】
技术研发人员：刁屹，魏星，林德基，
申请(专利权)人：奇捷科技深圳有限公司，
类型：发明
国别省市：