【技术实现步骤摘要】
设计验证方法、验证系统、计算机设备及存储介质
[0001]本申请实施例涉及芯片设计
，具体涉及一种设计验证方法、验证系统、计算机设备及存储介质。
技术介绍
[0002]芯片设计(简称设计)是指用于ASIC(Application Specific Integrated Circuit，专用集成电路)、SOC(System
‑
On
‑
Chip，片上系统芯片)等集成电路的设计。为验证设计是否符合预期，需要对设计进行验证；例如，构建并利用验证环境对设计的代码进行验证，从而验证设计的代码是否符合预期。
[0003]在利用验证环境对设计进行验证时，如何提高设计的验证效率，一直是本领域技术人员研究的问题。
技术实现思路
[0004]有鉴于此，本申请实施例提供一种设计验证方法、验证系统、验证设备及存储介质，通过为设计模块绑定模块检查器，从而设计模块在多个验证环境中被例化时，设计模块所绑定的模块检查器能够相应的被例化；进而多个验证环境能够复用设计模块所绑定的模块检查器，来对各...
【技术保护点】
【技术特征摘要】
1.一种设计验证方法，其特征在于，包括：确定待验证的设计模块，所述设计模块在多个验证环境进行验证；为所述设计模块绑定模块检查器，所述模块检查器用于对所述设计模块进行验证；在所述多个验证环境例化所述设计模块，并基于所述设计模块绑定的模块检查器，为各个例化的设计模块分别例化模块检查器；利用例化的模块检查器，对例化的设计模块进行验证。2.根据权利要求1所述的方法，其特征在于，所述为所述设计模块绑定模块检查器包括：将所述模块检查器的模块检查器名，绑定到所述设计模块的模块名进行例化，以便在所述设计模块被例化后，所述模块检查器的例化名与所述设计模块的例化名相关联。3.根据权利要求2所述的方法，其特征在于，所述基于所述设计模块绑定的模块检查器，为各个例化的设计模块分别例化模块检查器包括：基于所述设计模块的模块名所绑定的所述模块检查器的模块检查器名，利用所述模块检查器名对应的相同检查器文件，在各个例化的设计模块内分别例化出模块检查器，并且例化的模块检查器的路径与设计模块的例化名以及模块检查器的例化名相关联。4.根据权利要求1所述的方法，其特征在于，所述多个验证环境包括：一个或多个IP验证环境，和/或，一个或多个子系统验证环境，和/或，系统级验证环境；其中，IP验证环境用于在设计模块的层面进行验证，子系统验证环境用于对多个设计模块形成的子系统进行验证，系统级验证环境用于对多个子系统形成的系统级进行验证。5.根据权利要求1
‑
4任一项所述的方法，其特征在于，还包括：确定所述模块检查器例化后的路径，所述模块检查器例化后的路径与所述设计模块的层次相关，并与验证环境的形状及绝对路径相脱离。6.根据权利要求1
‑
4任一项所述的方法，其特征在于，所述模块检查器基于检查器文件实现，每个设计模块针对绑定的模块检查器均维护有相应的检查器文件。7.根据权利要求1所述的方法，其特征在于，还包括：在验证环境的顶层生成初始化检查器，所述初始化检查器作为验证环境的顶层文件的一部分进行例化；在验证环境的上电复位期间，通过初始化检查器控制关闭验证环境中的所有检查器；以及，在验证环境的上电复位结束后，通过初始化检查器产生系统使能信号；根据所述系统使能信号，以及验证环境例化的设计模块内部的复位信号，产生功能使能信号，所述功能使能信号用于对设计模块内部例化的模块检查器进行使能控制。8.根据权利要求1所述的方法，其特征在于，还包括：为模块检查器绑定探针模块，所述探针模块用于在模块检查器被例化到设计模块内时，获取模块检查器例化的完整路径；利用所述探针模块，获取模块检查器例化的完整路径；判断所述完整路径是否符合预设的路径关键字，若是，将所述完整路径存储到第一哈希数组中，以利用第一哈希数组中存储的完整路径构建检查器搜索库。9.根据权利要求8所述的方法，其特征在于，还包括：定义检查器搜索函数，所述检查器搜索函数至少包括检查器路径以及检查器的永久关
闭控制参数；如果所述永久关闭控制参数设置为进行检查器的永久关闭，则根据所述检查器路径从检查器搜索库中搜索检查器，并...
【专利技术属性】
技术研发人员：李冬梅，车胜，赵琼，
申请(专利权)人：成都海光集成电路设计有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。