【技术实现步骤摘要】
本专利技术涉及计算机，特别是涉及一种总线验证方法、装置、电子设备及可读存储介质。
技术介绍
1、随着计算机技术的发展，集成芯片的系统结构越来越复杂，包括处理器集群、图形处理器、内存控制器、i/o桥、pcie子系统等多种组件，而为了针对各组件实现共享内存访问和缓存一致性，通常采用片上互联总线实现，因此，集成芯片的性能与总线息息相关。
2、为了保证集成芯片的性能，需要对芯片所采用的总线进行验证，因此，如何对片上互联总线进行验证成为了亟需解决的问题。
技术实现思路
1、本专利技术实施例的目的在于提供一种总线验证方法、装置、电子设备及可读存储介质，以解决如何对总线进行验证的问题。具体技术方案如下：
2、在本专利技术实施的第一方面，首先提供了一种总线验证方法，所述方法包括：
3、获取待验证总线的待验证子文件；
4、基于预设映射规则，将所述待验证子文件包含的字符映射为二进制元素；
5、基于所述二进制元素生成抽象语法树，并基于所述抽象语法树生成目标验证工具可识别的可识别文件；
6、将所述可识别文件输入至所述目标验证工具中，以获取所述待验证总线的验证结果。
7、在本专利技术实施的第二方面，还提供了一种总线验证装置，所述装置包括：
8、第一获取模块，用于获取待验证总线的待验证子文件；
9、映射模块，用于基于预设映射规则，将所述待验证子文件包含的字符映射为二进制元素；
10、生成模块
11、输入模块，用于将所述可识别文件输入至所述目标验证工具中，以获取所述待验证总线的验证结果。
12、在本专利技术实施的第三方面，还提供了一种电子设备，包括处理器、通信接口、存储器和通信总线，其中，处理器，通信接口，存储器通过通信总线完成相互间的通信；
13、存储器，用于存放计算机程序；
14、处理器，用于执行存储器上所存放的程序时，实现上述第一方面所述的方法。
15、在本专利技术实施的第四方面，还提供了一种计算机可读存储介质，所述计算机可读存储介质中存储有指令，当其在计算机上运行时，使得计算机执行上述第一方面所述的方法。
16、在本专利技术实施的第五方面，还提供了一种包含指令的计算机程序产品，当其在计算机上运行时，使得所述计算机执行上述第一方面所述的方法。
17、本专利技术实施例提供的总线验证方法，通过获取待验证总线的待验证子文件；对所述待验证子文件包含的字符进行解析，以将所述待验证子文件转换为目标验证工具可识别的可识别文件；将所述可识别文件输入至所述目标验证工具中，以获取所述待验证总线的验证结果。这样，通过将待验证总线的待验证子文件解析为目标验证工具可识别的可识别文件，可以通过目标验证工具对待验证总线进行验证，从而通过自动化的解析建模和验证，可以实现自动化的总线验证流程，减少人工干预，提高验证效率。
本文档来自技高网...【技术保护点】
1.一种总线验证方法，其特征在于，所述方法包括：
2.根据权利要求1所述的方法，其特征在于，所述基于所述抽象语法树生成目标验证工具可识别的可识别文件，包括：
3.根据权利要求2所述的方法，其特征在于，所述基于所述可执行代码文件，生成目标验证工具可识别的可识别文件，包括：
4.根据权利要求1所述的方法，其特征在于，所述基于所述二进制元素生成抽象语法树，包括：
5.根据权利要求2所述的方法，其特征在于，所述根据所述抽象语法树包含的各节点的节点信息，将所述抽象语法树转换为可执行代码文件，包括：
6.根据权利要求2所述的方法，其特征在于，所述方法还包括：
7.根据权利要求1-6任一项所述的方法，其特征在于，所述待验证总线为CHI总线；所述目标验证工具为UPPAAL。
8.一种总线验证装置，其特征在于，所述装置包括：
9.一种电子设备，其特征在于，包括处理器、通信接口、存储器和通信总线，其中，处理器，通信接口，存储器通过通信总线完成相互间的通信；
10.一种计算机可读存储介质，其上存
...【技术特征摘要】
1.一种总线验证方法，其特征在于，所述方法包括：
2.根据权利要求1所述的方法，其特征在于，所述基于所述抽象语法树生成目标验证工具可识别的可识别文件，包括：
3.根据权利要求2所述的方法，其特征在于，所述基于所述可执行代码文件，生成目标验证工具可识别的可识别文件，包括：
4.根据权利要求1所述的方法，其特征在于，所述基于所述二进制元素生成抽象语法树，包括：
5.根据权利要求2所述的方法，其特征在于，所述根据所述抽象语法树包含的各节点的节点信息，将所述抽象语法树转换为可执行代码文件，包括：...
【专利技术属性】
技术研发人员：梁爽，杨华，唐丹，包云岗，
申请(专利权)人：北京开源芯片研究院，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。