【技术实现步骤摘要】
本申请涉及芯片互连路径验证，进一步的涉及一种验证方法及系统。
技术介绍
1、随着集成电路的不断发展，工艺越来越先进，频率越来越高，芯片越来越复杂，实现的功能越来越多，芯片内部的互连路径越来越多，这给芯片的验证工作带来了巨大挑战。现有的验证方式通常依赖于人工设计验证程序，以确保互连路径的正确性。然而，这种方法在构建互连路径的连接关系时容易遗漏某些细节，导致验证过程不完整。为了弥补这些遗漏，往往需要不断增加和修改验证程序，进行多轮迭代。这种做法显著降低了对互连路径的验证效率。
技术实现思路
1、为了解决上述技术问题，本申请提供一种验证方法及系统，不仅避免了人工设计验证程序时遗漏某些细节，导致验证过程不完整的问题，还提高了对互连路径的验证效率。
2、第一方面，本申请提供一种验证方法，用于对芯片中的互连路径进行验证，包括：根据用户所要验证的引脚的核心功能或扩展功能，通过脚本程序从引脚文件中确定引脚名称；根据所述引脚名称，通过所述脚本程序确定触发目标名称和所述引脚的功能关键字；在所述脚本程序基于所述引脚名称，确定所述引脚对应的互连路径不存在延时时，控制所述脚本程序基于所述引脚名称、所述触发目标名称和所述功能关键字构建第一互连路径文件；将所述第一互连路径文件和所述脚本程序内部的第一约束文件输入验证工具，控制所述验证工具对所述第一互连路径文件进行验证，其中，所述第一约束文件用于将所述引脚名称的全称和所述触发目标名称的全称与所述第一互连路径文件中的所述引脚名称和所述触发目标名称进行替换
3、该验证方法，通过脚本程序从引脚文件中识别出用户需要验证的引脚名称，并据此确定触发目标名称及功能关键字。当检测到引脚所对应的互连路径不存在延时时，脚本能够构建出相应的第一互连路径文件，使得验证工具对第一互连路径文件进行验证。该方法不仅避免了人工设计验证程序时遗漏某些细节，导致验证过程不完整的问题，还提高了对互连路径的验证效率。同时，用户只需维护引脚文件即可，无需人工设计验证程序，减少了用户的工作量以及提高了用户的使用体验。
4、在一种实现中，还包括：在所述脚本程序基于所述引脚名称，确定所述引脚对应的互连路径存在延时时，获取所述脚本程序内预先存储的延时信号名称和延时信号值；基于所述引脚名称、所述触发目标名称、所述功能关键字、所述延时信号名称和所述延时信号值，通过所述脚本程序构建第二互连路径文件；将所述第二互连路径文件和所述第一约束文件输入验证工具，以使所述验证工具对所述第二互连路径文件进行验证，其中，所述第一约束文件用于将所述引脚名称的全称、所述触发目标名称的全称以及所述延时信号名称的全称，与所述第二互连路径文件中的所述引脚名称、所述触发目标名称和所述延时信号名称进行替换。
5、该验证方法，当检测到引脚对应的互连路径存在延时时，脚本程序获取预先存储的延时信号名称和延时信号值。随后，脚本程序利用引脚名称、触发目标名称、功能关键字以及延时信号的详细信息，构建出包含延时信息的第二互连路径文件。该方法提高了验证过程的准确性，确保了延时因素得到正确处理。同时，通过验证工具的编译器模式对第二互连路径文件进行验证，不仅减少了仿真时间，还进一步提高了验证效率。
6、在一种实现中，在验证所述引脚的核心功能时，所述核心功能包括多个核心子功能，每个所述核心子功能对应一条互连路径；所述根据所述引脚名称，通过所述脚本程序确定所述引脚的功能关键字，具体包括：控制所述脚本程序遍历所述第一约束文件，确定所述引脚的每个所述核心子功能的起点关键字和终点关键字；依次将每个所述核心子功能的所述起点关键字和所述终点关键字作为所述功能关键字，构建每个所述核心子功能对应的所述第一互连路径文件。
7、在一种实现中，在验证所述引脚的扩展功能时，所述扩展功能包括多个扩展子功能，每个所述扩展子功能对应一条互连路径；所述根据所述引脚名称，通过所述脚本程序确定所述引脚的功能关键字，具体包括：控制所述脚本程序遍历所述第一约束文件，确定所述引脚的每个扩展子功能的起点关键字和终点关键字；在多个所述扩展子功能中不存在使能位或使能位为空时，依次将每个所述扩展子功能的所述起点关键字和所述终点关键字作为所述功能关键字，构建每个所述扩展子功能对应的所述第一互连路径文件。
8、在一种实现中，还包括：在多个所述扩展子功能中存在使能位时，控制所述脚本程序遍历所述第一约束文件，确定所述引脚对应的使能关键字；将所述使能关键字添加至每个所述扩展子功能对应的所述功能关键字中，进而构建每个所述扩展子功能对应的所述第一互连路径文件。
9、在一种实现中，还包括：若存在其他引脚的所述扩展功能与用户所要验证的所述引脚的所述扩展功能一致时，通过所述脚本程序从所述引脚文件中确定所述其他引脚的所述引脚名称；控制所述脚本程序对所述其他引脚的引脚名称进行取反，并将取反后的所述其他引脚的所述引脚名称、所要验证的所述引脚的所述引脚名称、所述触发目标名称和所述功能关键字构建所述第一互连路径文件。
10、在一种实现中，还包括：在用户所要验证的所述引脚的所述扩展功能为输出功能时，所述脚本程序不对所述其他引脚的所述引脚名称执行取反操作；控制所述脚本程序将未取反的所述其他引脚的所述引脚名称、所要验证的所述引脚的所述引脚名称、所述触发目标名称和所述功能关键字构建所述第一互连路径文件。
11、在一种实现中，还包括：配置第二约束文件和第三约束文件，所述第二约束文件包括所述芯片中无需进行互连路径验证的模块，所述第三约束文件被配置为将用户所要验证的所述引脚的测试信号进行固定；将所述第二约束文件和所述第三约束文件输入所述验证工具，使所述验证工具不对所述模块和所述测试信号执行验证操作。
12、该验证方法，通过配置第二约束文件和第三约束文件，能够显著提高验证过程的效率和针对性。第二约束文件明确指出了芯片中无需进行互连路径验证的模块，这样验证工具就可以跳过这些模块，避免在不必要的部分上浪费时间和计算资源。第三约束文件用于固定用户所要验证的引脚的测试信号，简化了互连路径文件，加快了验证速度。
13、在一种实现中，所述引脚文件包括用户所要验证的所述引脚的测试信号参数，所述测试信号参数包括测试信号名称、测试信号默认值以及测试信号使能值，还包括：根据所述引脚名称，通过所述脚本程序从所述引脚文件中确定所述测试信号参数；控制所述脚本程序将所述测试信号参数添加至所述第一互连路径文件中；在所述脚本程序识别所述测试信号使能值为第一数值时，控制所述验证工具不对所述测试信号执行验证操作。
14、第二方面，本申请还提供一种验证系统，用于对芯片中的互连路径进行验证，包括：识别模块，被配置为根据用户所要验证的引脚的核心功能或扩展功能，通过脚本程序从引脚文件中确定引脚名称；所述识别模块，还被配置为根据所述引脚名称，通过所述脚本程序确定触发目标名称和所述引脚的功能关键字；构建模块，被配置为在所述脚本程序基于所述引脚名称，确定所述引脚对应的互连路径不存在延时本文档来自技高网...
【技术保护点】
1.一种验证方法，用于对芯片中的互连路径进行验证，其特征在于，包括：
2.根据权利要求1所述的验证方法，其特征在于，还包括：
3.根据权利要求1所述的验证方法，其特征在于，在验证所述引脚的核心功能时，所述核心功能包括多个核心子功能，每个所述核心子功能对应一条互连路径；所述根据所述引脚名称，通过所述脚本程序确定所述引脚的功能关键字，具体包括：
4.根据权利要求1所述的验证方法，其特征在于，在验证所述引脚的扩展功能时，所述扩展功能包括多个扩展子功能，每个所述扩展子功能对应一条互连路径；所述根据所述引脚名称，通过所述脚本程序确定所述引脚的功能关键字，具体包括：
5.根据权利要求4所述的验证方法，其特征在于，还包括：
6.根据权利要求4或5所述的验证方法，其特征在于，还包括：
7.根据权利要求6所述的验证方法，其特征在于，还包括：
8.根据权利要求1所述的验证方法，其特征在于，还包括：
9.根据权利要求1所述的验证方法，其特征在于，所述引脚文件包括用户所要验证的所述引脚的测试信号参数，所述测试
10.一种验证系统，用于对芯片中的互连路径进行验证，其特征在于，包括：
...【技术特征摘要】
1.一种验证方法，用于对芯片中的互连路径进行验证，其特征在于，包括：
2.根据权利要求1所述的验证方法，其特征在于，还包括：
3.根据权利要求1所述的验证方法，其特征在于，在验证所述引脚的核心功能时，所述核心功能包括多个核心子功能，每个所述核心子功能对应一条互连路径；所述根据所述引脚名称，通过所述脚本程序确定所述引脚的功能关键字，具体包括：
4.根据权利要求1所述的验证方法，其特征在于，在验证所述引脚的扩展功能时，所述扩展功能包括多个扩展子功能，每个所述扩展子功能对应一条互连路径；所述根据所述引脚名称，通过所述脚本程序确定所述引脚的...
【专利技术属性】
技术研发人员：冷俊龙，张志华，周荣政，吴忠洁，
申请(专利权)人：灵动微电子苏州有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。