【技术实现步骤摘要】
本申请实施例涉及芯片验证，尤其涉及一种对具有计算功能的高速缓存的验证方法及相关装置。
技术介绍
1、在芯片设计过程中，需要对芯片设计进行验证，以确保芯片的正确性，才能保证后续生产出来的芯片符合设计目的和预期功能。
2、针对通用缓存的验证方案中，相关技术中采用比对硬件逻辑代码(rtl)输出结果和端到端的模型输出结果的方式，辅助一些关键时序的断言(assertion)实现对通用缓存的验证。但是，通用缓存只具有存储功能，针对通用缓存的验证方法无法实现对具有计算功能的高速缓存的完备性的验证。
技术实现思路
1、本申请实施例提供了一种对具有计算功能的高速缓存的验证方法及相关装置，用以实现对芯片中具有计算功能的高速缓存进行完备性的验证。
2、第一方面，本申请实施例提供了一种对具有计算功能的高速缓存的验证方法，具有计算功能的高速缓存包括计算模块和存储模块；该方法包括：搭建验证平台；
3、通过验证平台对计算模块进行功能验证；
4、通过验证平台对存储模块进行功能验证；
5、根据计算模块对应的验证结果以及存储模块对应的验证结果，确定具有计算功能的高速缓存的功能验证结果。
6、通过上述方法，不仅对具有计算功能的高速缓存中的存储模块进行功能验证，还对计算模块也进行功能验证，并根据计算模块对应的验证结果以及存储模块对应的验证结果，确定具有计算功能的高速缓存的功能验证结果，从而可以实现对芯片中具有计算功能的高速缓存的完备性的验证。
...【技术保护点】
1.一种对具有计算功能的高速缓存的验证方法，其特征在于，所述具有计算功能的高速缓存包括计算模块和存储模块；所述方法包括：
2.如权利要求1所述的方法，其特征在于，所述计算模块包括至少一个计算阵列，每个计算阵列包括至少一个计算单元；所述验证平台包括formal验证平台和UVM验证平台，所述通过所述验证平台对所述计算模块进行功能验证，包括：
3.如权利要求2所述的方法，其特征在于，所述formal验证平台包括每个计算单元对应的第一RTL代码以及针对每个计算单元构建的第一参考模型；
4.如权利要求2所述的方法，其特征在于，所述UVM验证平台包括监视器、每个计算阵列对应的第二RTL代码以及针对每个计算阵列构建的第二参考模型；
5.如权利要求1所述的方法，其特征在于，所述存储模块包括至少一个关键子模块；所述验证平台包括UVM验证平台，所述UVM验证平台包括监视器、每个关键子模块对应的第三RTL代码以及针对每个关键子模块采用白盒验证策略构建的第三参考模型；
6.如权利要求5所述的方法，其特征在于，所述UVM验证平台还包括所述存储模块
7.如权利要求1所述的方法，其特征在于，所述方法还包括：
8.一种用于对具有计算功能的高速缓存进行验证的验证装置，其特征在于，所述具有计算功能的高速缓存包括计算模块和存储模块；所述装置包括：
9.一种电子设备，其特征在于，包括处理器和存储器；
10.一种计算机可读存储介质，其特征在于，包括计算机可执行指令，当所述计算机可执行指令在计算机上运行时，使得所述计算机执行权利要求1至7任一项所述的方法。
11.一种计算机程序产品，其特征在于，所述计算机程序产品存储有计算机程序，所述计算机程序包括程序指令，当所述程序指令被计算机执行时，使所述计算机执行如权利要求1-7中任一项所述的方法。
...【技术特征摘要】
1.一种对具有计算功能的高速缓存的验证方法，其特征在于，所述具有计算功能的高速缓存包括计算模块和存储模块；所述方法包括：
2.如权利要求1所述的方法，其特征在于，所述计算模块包括至少一个计算阵列，每个计算阵列包括至少一个计算单元；所述验证平台包括formal验证平台和uvm验证平台，所述通过所述验证平台对所述计算模块进行功能验证，包括：
3.如权利要求2所述的方法，其特征在于，所述formal验证平台包括每个计算单元对应的第一rtl代码以及针对每个计算单元构建的第一参考模型；
4.如权利要求2所述的方法，其特征在于，所述uvm验证平台包括监视器、每个计算阵列对应的第二rtl代码以及针对每个计算阵列构建的第二参考模型；
5.如权利要求1所述的方法，其特征在于，所述存储模块包括至少一个关键子模块；所述验证平台包括uvm验证平台，所述uvm验证平台包括监视器、每个关键子模块对应的第三rtl代码以及针对每个...
【专利技术属性】
技术研发人员：请求不公布姓名，请求不公布姓名，
申请(专利权)人：上海壁仞科技股份有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。