申请/专利权人：奇捷科技(深圳)有限公司

申请日：2023-06-30

公开（公告）日：2024-03-15

公开（公告）号：CN116522830B

主分类号：G06F30/327

分类号：G06F30/327;G06F30/333;G06F30/337;G06F30/392;G06F30/394

优先权：

专利状态码：有效-授权

法律状态：2024.03.15#授权;2023.08.18#实质审查的生效;2023.08.01#公开

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

主权项：1.一种可测试设计及布局布线阶段的逻辑功能更正方法，其特征在于，包括以下步骤：读取R2R修改点文件、参考网表和目标网表；其中，参考网表包括旧的综合阶段门级网表、新的综合阶段门级网表、旧的通用技术网表以及新的通用技术网表，目标网表或为旧的可测试设计阶段门级网表、或为旧的布局布线阶段门级网表；根据R2R修改点文件、参考网表和目标网表，获取当前阶段的旧门级网表修改点；其中，当前阶段或为可测试设计阶段、或为布局布线阶段，当前阶段与目标网表所对应的阶段相同；对目标网表以及预选的匹配网表进行关键点匹配；判断关键点匹配是否成功；若匹配成功，根据当前阶段的旧门级网表修改点对目标网表进行修改直至目标网表与新的综合阶段门级网表的逻辑功能一致；输出当前阶段的结果门级网表；其中，当前阶段的结果门级网表为增添修改补丁后的目标网表；所述读取R2R修改点文件、参考网表和目标网表的步骤之前，还包括：获取新的RTL文件、旧的RTL文件；对比新的RTL文件、旧的RTL文件，并提取修改点作为R2R修改点；根据R2R修改点生成R2R修改点文件；所述对比新的RTL文件、旧的RTL文件，并提取修改点作为R2R修改点的步骤之前，还包括移除新的RTL文件中的注释、旧的RTL文件中的注释；所述移除新的RTL文件中的注释、旧的RTL文件中的注释的步骤包括：通过解析器解析新的RTL文件、旧的RTL文件，确定注释的位置和类型；移除新的RTL文件中的单行注释和多行注释、旧的RTL文件中的单行注释和多行注释，并根据嵌套注释的层次依次移除新的RTL文件中的嵌套注释、根据嵌套注释的层次依次移除旧的RTL文件中的嵌套注释；记录被移除注释的位置信息；其中，位置信息包括起始行数和结束行数；对移除注释后的新的RTL文件、移除注释后的旧的RTL文件进行判断，得到判断结果；其中，判断结果包括是否有注释、结构和逻辑功能是否不变；若判断结果为第一结果，则将移除注释后的新的RTL文件作为待对比的新的RTL文件；其中，第一结果为移除注释后的新的RTL文件没有注释、并且结构和逻辑功能不变；若判断结果为第二结果，则将移除注释后的旧的RTL文件作为待对比的旧的RTL文件；其中，第二结果为移除注释后的旧的RTL文件没有注释、并且结构和逻辑功能不变；所述对移除注释后的新的RTL文件、移除注释后的旧的RTL文件进行判断，得到判断结果的步骤包括：通过静态分析工具对移除注释后的新的RTL文件、移除注释后的旧的RTL文件进行静态分析，得到静态分析结果；通过功能验证工具对移除注释前的新的RTL文件、移除注释后的新的RTL文件进行验证，并通过功能验证工具对移除注释前的旧的RTL文件、移除注释后的旧的RTL文件进行验证，得到功能验证结果；若静态分析结果为第三结果，并且功能验证结果为第四结果，则判定移除注释后的新的RTL文件的结构和逻辑功能不变；其中，第三结果为移除注释后的新的RTL文件没有代码结构错误和代码逻辑错误，第四结果为移除注释后的新的RTL文件与移除注释前的新的RTL文件的行为和功能相同；若静态分析结果为第五结果，并且功能验证结果为第六结果，则判定移除注释后的旧的RTL文件的结构和逻辑功能不变；其中，第五结果为移除注释后的旧的RTL文件没有代码结构错误和代码逻辑错误，第六结果为移除注释后的旧的RTL文件和移除注释前的旧的RTL文件的行为和功能相同。

全文数据：

权利要求：

百度查询： 奇捷科技(深圳)有限公司 可测试设计及布局布线阶段的逻辑功能更正方法及装置

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。

阅读全文 双屏查看 官方信息 专利公告 收藏专利 下载PDF 下载WORD