【技术实现步骤摘要】
本公开的实施例涉及一种用验证方法、验证系统、设备以及存储介质。
技术介绍
1、芯片验证用于在芯片生产之前基于相应的验证环境，例如验证芯片设计是否符合芯片定义的需求规格，是否包含设计缺陷，并在发现缺陷后及时更正等。目前，随着电子信息产业的急速发展，芯片规模越来越大，芯片验证工作也越来越复杂，芯片验证的重要性也越来越高。如何提供一种仿真验证平台或验证方法，以实现芯片的多个部分的联合验证，成为本领域亟待解决的技术问题。
技术实现思路
1、本公开至少一实施例提供了一种验证方法，包括：获取待测对象模块，其中，所述待测对象模块包括待测模块主体，所述待测模块主体包括第一类型模拟单元和第二类型模拟单元，所述第一类型模拟单元包括第一模型以及用于封装所述第一模型的第一封装单元，所述第二类型模拟单元包括第二模型以及用于封装所述第二模型的第二封装单元，所述第一模型和所述第二模型通过所述第一封装单元和所述第二封装单元彼此通信连接；获取模拟模块，其中，所述模拟模块配置为软件模拟环境；对所述第一类型模拟单元和所述第二类型模拟单元进行预设编译；控制使所述模拟模块与所述待测对象模块通信连接，以获取对应所述待测模块主体的验证结果。
2、例如，在本公开至少一实施例提供的一种验证方法中，所述第一封装单元和所述第二封装单元通过socket机制实现所述彼此通信连接。
3、例如，在本公开至少一实施例提供的一种验证方法中，对所述第一类型模拟单元和所述第二类型模拟单元进行预设编译，包括：响应于所述第一类型模
4、例如，在本公开至少一实施例提供的一种验证方法中，所述第一模型包括配置为基于硬件描述语言创建的第一子模型，或者，所述第一模型包括配置为基于硬件描述语言创建的第一子模型以及基于行为建模语言创建的第二子模型；所述第二模型包括配置为基于行为建模语言创建的至少一个第三子模型。
5、例如，在本公开至少一实施例提供的一种验证方法中，对所述第一类型模拟单元和所述第二类型模拟单元进行第一编译，包括：编译所述第一模型成行为建模语言以生成中间文件。
6、例如，在本公开至少一实施例提供的一种验证方法中，对所述第一类型模拟单元和所述第二类型模拟单元进行第二编译，包括：设置所述第二编译的编译顺序依次为：编译所述第一模型成行为建模语言以生成中间文件以及编译所述第二模型以生成中间文件，或者，设置所述第二编译的编译顺序依次为：编译所述第一模型中的第二子模型以生成中间文件、编译所述第一模型成行为建模语言以生成中间文件以及编译所述第二模型以生成中间文件。
7、例如，在本公开至少一实施例提供的一种验证方法中，获取待测对象模块，包括：获取第三封装单元，使得所述第一子模型通过所述第三封装单元与所述第二子模型进行通信连接，以形成所述第一模型，从而获取所述待测对象模块。
8、例如，本公开至少一实施例提供的一种验证方法还包括：获取存储模块；其中，控制使所述模拟模块与所述待测对象模块通信连接，以获取对应所述待测模块主体的验证结果，包括：控制使所述模拟模块与所述待测对象模块通信连接，以及使所述存储模块分别与所述模拟模块和所述待测对象模块通信连接，使得所述模拟模块至少实现对所述待测模块主体的寄存器的访问和/或实现对所述存储模块的访问，以获取对应所述待测模块主体的所述验证结果。
9、例如，本公开至少一实施例提供的一种验证方法还包括：获取自测模块，其中，所述自测模块配置为软件模拟环境；控制使所述自测模块分别与所述待测对象模块和所述存储模块通信连接，使得通过所述自测模块至少实现对所述待测模块主体的寄存器的访问和/或实现对所述存储模块的访问，以获取对应所述待测模块主体的所述验证结果。
10、例如，在本公开至少一实施例提供的一种验证方法中，所述存储模块包括第一主存储单元以及基于所述第一主存储单元创建的第二存储单元；所述模拟模块包括彼此隔离的第一空间和第二空间，第一空间配置作为用于访问所述待测模块主体的寄存器的入口以及所述第二空间配置作为用于访问所述第二存储单元的入口，所述待测对象模块还包括待测主体侧模拟空间；所述第二存储单元与所述第二空间通信连接以及所述第二存储单元分别与所述第一模型和所述第二模型通信连接，所述第一空间与所述待测主体侧模拟空间通过中间路径模块进行通信连接。
11、例如，在本公开至少一实施例提供的一种验证方法中，所述模拟模块包括内核模式驱动模块以及用户模式驱动模块，其中，所述内核模式驱动模块配置为基于所述第二存储单元映射一段内存空间以供所述用户模式驱动模块的应用程序使用，所述一段内存空间对应于所述第二空间。
12、例如，在本公开至少一实施例提供的一种验证方法中，所述待测对象模块还包括总线型终点模块和验证平台接口，所述总线型终点模块通过通信总线与所述验证平台接口进行通信连接，所述验证平台接口分别与所述第一封装单元和所述第二封装单元通信连接，所述总线型终点模块包括所述待测主体侧模拟空间，所述模拟模块还包括总线型根组件模块，所述总线型终点模块与所述总线型根组件模块通信连接以接收所述总线型根组件模块发送的操作请求。
13、例如，本公开至少一实施例提供的一种验证方法还包括：获取主系统模块，其中，所述主系统模块上设置kvm虚拟模块；其中，控制使所述模拟模块与所述待测对象模块通信连接，包括：所述模拟模块被配置为使对应的任务处理为vnc应用，使得所述模拟模块通过vnc机制与所述kvm虚拟模块配合使用，使得所述模拟模块与所述待测对象模块通信连接并且实现所述模拟模块对应的任务与所述待测对象模块对应的操作相对于所述主系统模块是两个不同的任务。
14、例如，在本公开至少一实施例提供的一种验证方法中，获取对应所述待测模块主体的所述验证结果包括：响应于所述模拟模块的vnc应用正常启动，获取的所述验证结果包括所述模拟模块与所述待测对象模块之间的通信连接正常。
15、本公开至少一实施例提供了一种验证系统，包括：待测对象模块，其中，所述待测对象模块包括待测模块主体，所述待测模块主体包括第一类型模拟单元和第二类型模拟单元，所述第一类型模拟单元包括第一模型以及用于封装所述第一模型的第一封装单元，所述第二类型模拟单元包括第二模型以及用于封装所述第二模型的第二封装单元；模拟模块，其中，所述模拟模块配置为软件模拟环境，所述模拟模块与所述待测对象模块通信连接；其中，所述第一模型和所述第二模型通过所述第一封装单元和所述第二封装单元实现彼此通信连接，以使得所述第一类型模拟单元和所述第二类型模拟单元进行预设编译。
16、例如，在本公开至少一实施例提供的一种验证系统中，所述第一封装单元和所述第二封装单元通过socket机本文档来自技高网...
【技术保护点】
1.一种验证方法，包括：
2.如权利要求1所述的验证方法，其中，
3.如权利要求1所述的验证方法，其中，对所述第一类型模拟单元和所述第二类型模拟单元进行预设编译，包括：
4.如权利要求3所述的验证方法，其中，
5.如权利要求4所述的验证方法，其中，对所述第一类型模拟单元和所述第二类型模拟单元进行第一编译，包括：
6.如权利要求4所述的验证方法，其中，对所述第一类型模拟单元和所述第二类型模拟单元进行第二编译，包括：
7.如权利要求4所述的验证方法，其中，获取待测对象模块，包括：
8.如权利要求1所述的验证方法，还包括：获取存储模块；其中，控制使所述模拟模块与所述待测对象模块通信连接，以获取对应所述待测模块主体的验证结果，包括：
9.如权利要求8所述的验证方法，还包括：
10.如权利要求8所述的验证方法，其中，
11.如权利要求10所述的验证方法，其中，
12.如权利要求10所述的验证方法，其中，
13.如权利要求12所述的验证方法，还包括：
14.如权利要求13所述的验证方法，获取对应所述待测模块主体的所述验证结果包括：
15.一种验证系统，包括：
16.如权利要求15所述的验证系统，其中，
17.如权利要求15所述的验证系统，还包括存储模块，其中，所述存储模块分别与所述模拟模块和所述待测对象模块通信连接，以使所述模拟模块配置为至少实现对所述待测模块主体的寄存器的访问和/或实现对所述存储模块的访问。
18.如权利要求17所述的验证系统，还包括自测模块以及用于切换所述自测模块和所述模拟模块的选择模块，所述自测模块配置为软件模拟环境，
19.一种电子设备，包括：
20.一种计算机可读存储介质，其中，所述存储介质内存储有计算机程序，所述计算机程序被处理器执行时，实现权利要求1至14中任一项所述的验证方法。
...【技术特征摘要】
1.一种验证方法，包括：
2.如权利要求1所述的验证方法，其中，
3.如权利要求1所述的验证方法，其中，对所述第一类型模拟单元和所述第二类型模拟单元进行预设编译，包括：
4.如权利要求3所述的验证方法，其中，
5.如权利要求4所述的验证方法，其中，对所述第一类型模拟单元和所述第二类型模拟单元进行第一编译，包括：
6.如权利要求4所述的验证方法，其中，对所述第一类型模拟单元和所述第二类型模拟单元进行第二编译，包括：
7.如权利要求4所述的验证方法，其中，获取待测对象模块，包括：
8.如权利要求1所述的验证方法，还包括：获取存储模块；其中，控制使所述模拟模块与所述待测对象模块通信连接，以获取对应所述待测模块主体的验证结果，包括：
9.如权利要求8所述的验证方法，还包括：
10.如权利要求8所述的验证方法，其中，
11.如权利要求10所述的验证方法，其中，
12.如权...
【专利技术属性】
技术研发人员：吴兴涛，赫昆迎，高巍，袁硕，
申请(专利权)人：海光信息技术成都有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。