[发明专利]一种断言验证代码绑定方法及装置

说明书

一种断言验证代码绑定方法及装置，该方法包括：确定芯片的多个模块对应的模块标识、位置信息和接口信息，在接收到针对目标模块的查找指令时，根据目标模块的模块标识，查找到目标模块对应的位置信息和接口信息，根据目标模块的位置信息和接口信息，将目标模块与对应的断言验证代码进行绑定。在接收到针对需要绑定断言验证代码的目标模块的查找指令时，自动查找目标模块对应的位置信息和接口信息，使得后续断言验证代码添加的位置不易出错，并根据目标模块的位置信息和接口信息，将目标模块与对应的断言验证代码进行绑定，减小因人为绑定断言验证代码与目标模块的工作量，提高了绑定的效率。

技术领域

本发明涉及计算机技术领域，特别是涉及一种断言验证代码绑定方法及装置。

背景技术

随着芯片设计流程的完善，验证环节在芯片设计流程中逐渐成为重要的一环，在芯片设计完成后，为了方便仿真时查看异常情况和检查某些场景是否被覆盖到，常常需要在芯片内部的模块中添加断言验证代码，将断言验证代码与目标模块绑定。

断言验证是编程术语，表示为一些布尔表达式，程序员相信在程序中的某个特定点该表达式值为真，可以在任何时候启用和禁用断言验证，因此可以在测试时启用断言验证而在部署时禁用断言验证。同样，程序投入运行后，最终用户在遇到问题时可以重新启用断言验证。

现有技术通过人为查找的方式获取每个需要绑定断言验证代码的模块的位置信息和接口信息，然后，根据位置信息在模块的相应位置处，人工编写断言验证代码，并基于接口信息实现断言验证代码与目标模块的绑定。

但是，芯片设计中同一模块可能会被多次例化，例化指的是具有相同功能的模块设置在芯片中的不同位置，例化后的模块的位置难以查找，因此，在添加断言验证代码时，断言验证代码添加的位置容易出错，且人工将不同的目标模块绑定不同的断言验证代码，工作量较大且工作效率低。

发明内容

为解决现有技术存在的技术问题，本发明实施例提出一种断言验证代码绑定方法及装置，以解决现有技术中断言验证代码添加的位置容易出错，且断言验证代码绑定的工作量大的问题。

第一方面，本发明实施例提供了一种断言验证代码绑定方法，包括：

确定芯片的多个模块对应的模块标识、位置信息和接口信息；

在接收到针对目标模块的查找指令时，根据目标模块的模块标识，查找到所述目标模块对应的位置信息和接口信息；

根据所述目标模块的位置信息和接口信息，将所述目标模块与对应的断言验证代码进行绑定。

第二方面，本发明实施例提供了一种断言验证代码绑定装置，包括：

模块信息确定模块，用于确定芯片的多个模块对应的模块标识、位置信息和接口信息；

模块信息查找模块，用于在接收到针对目标模块的查找指令时，根据目标模块的模块标识，查找到所述目标模块对应的位置信息和接口信息；

断言绑定模块，用于根据所述目标模块的位置信息和接口信息，将所述目标模块与对应的断言验证代码进行绑定。

第三方面，本发明实施例还提供了一种电子设备，包括存储器、处理器以及存储在所述存储器上并可在所述处理器上运行的计算机程序，所述处理器执行所述计算机程序时实现上述的断言验证代码绑定方法

第四方面，本发明实施例另外提供了一种计算机可读存储介质，所述计算机可读存储介质中存储有程序指令，该程序指令被处理器运行时，用于执行上述的断言验证代码绑定方法。