验证方法、装置、计算机设备和存储介质制造方法及图纸

本申请涉及一种验证方法、装置、计算机设备、存储介质和计算机程序产品。该方法包括：根据待传输至总线的目标模拟指令，确定待测设计的顶层输入指令；通过验证平台中的参考模型，生成与顶层输入指令对应的第一请求文件，以及生成与一致性协议验证IP返回的第一响应文件对应的第一数据文件；获取待测设计生成的与顶层输入指令对应的第二请求文件，以及与一致性协议验证IP返回的第二响应文件对应的第二数据文件；根据第一请求文件、第一数据文件、第二请求文件和第二数据文件，得到验证结果；验证结果用于表示目标模拟指令是否满足一致性协议验证IP对应的一致性协议。采用本方法，能够提高一致性协议的验证准确率。

【技术实现步骤摘要】

本申请涉及计算机，特别是涉及一种验证方法、装置、计算机设备、存储介质和计算机程序产品。

技术介绍

1、在多核cpu（central processing unit，中央处理器）中，为了实现缓存一致性，互连总线和各个核之间的接口都需要满足一致性协议，即每个核下发的各种指令需要按照一致性协议映射成符合一致性协议的传输包，然后才能在互连总线上传输。因此，为了判断指令是否能够在互连总线上传输，需要验证指令在总线上映射是否符合一致性协议。

2、传统技术中，在验证指令在总线上映射是否符合一致性协议时，主要是在核输出给总线的端口中，检查相应的请求（比如读请求）是否符合预期。但是，指令在核和总线上的通信，是一个符合一致性协议的复杂的交互流程，而且不同指令对应的交互流程不尽相同；若仅仅检查核端口输出的请求，容易导致一致性协议的验证准确率较低。

技术实现思路

1、基于此，有必要针对上述技术问题，提供一种能够提高一致性协议的验证准确率的验证方法、装置、计算机设备、计算机可读存储介质和计算机程序产品。

2、第本文档来自技高网...

【技术保护点】

1.一种验证方法，其特征在于，应用于验证平台，所述方法包括：

2.根据权利要求1所述的方法，其特征在于，所述根据待传输至总线的目标模拟指令，确定待测设计的顶层输入指令，包括：

3.根据权利要求1所述的方法，其特征在于，在根据待传输至总线的目标模拟指令，确定待测设计的顶层输入指令之后，还包括：

4.根据权利要求3所述的方法，其特征在于，所述按照所述指令类型，对所述顶层输入指令进行对应的映射处理，得到与所述顶层输入指令对应的第一请求文件，包括：

5.根据权利要求1所述的方法，其特征在于，在生成与一致性协议验证IP返回的第一响应文件对应的第一数据...

【技术特征摘要】

1.一种验证方法，其特征在于，应用于验证平台，所述方法包括：

2.根据权利要求1所述的方法，其特征在于，所述根据待传输至总线的目标模拟指令，确定待测设计的顶层输入指令，包括：

3.根据权利要求1所述的方法，其特征在于，在根据待传输至总线的目标模拟指令，确定待测设计的顶层输入指令之后，还包括：

4.根据权利要求3所述的方法，其特征在于，所述按照所述指令类型，对所述顶层输入指令进行对应的映射处理，得到与所述顶层输入指令对应的第一请求文件，包括：

5.根据权利要求1所述的方法，其特征在于，在生成与一致性协议验证ip返回的第一响应文件对应的第一数据文件之前，还包括：

6.根据权利要求1所述的方法，其特征在于，所述生成与一致性协议验证ip返回的第一响应文件对应...

【专利技术属性】
技术研发人员：周家强，
申请(专利权)人：上海合芯数字科技有限公司，
类型：发明
国别省市：