一种多端口多消息类型交叉通信部件的验证方法技术

本发明专利技术涉及一种多端口多消息类型交叉通信部件的验证方法，包括以下步骤：定义各种消息类型所包含的各类数据域；定义每个端口上的各路物理通道；根据实际设计要求，建立各种消息类型和各端口的相应物理通道的对应关系；根据实际设计要求，建立传输参考模型；生成包含各种消息类型的测试序列，并注入到参考模型和实际设计的发送端口上；收集传输参考模型和实际设计的接收端口上获取的消息类型的消息队列；比较传输参考模型和实际设计接收消息队列的顺序，以及队列中每条接收消息类型所包含的各类数据的域正确性。本发明专利技术使得验证结果更加准确和便捷。

A verification method of multi port and multi message type cross communication components

【技术实现步骤摘要】
一种多端口多消息类型交叉通信部件的验证方法
本专利技术涉及处理器芯片模拟验证
，特别是涉及一种多端口多消息类型交叉通信部件的验证方法。
技术介绍
随着集成电路设计规模的不断扩大和设计复杂度的日益增加，处理器设计越来越复杂、功能更加多样化。因此，处理器芯片的正确性验证变得日益复杂和困难。这种复杂性、多样性及困难性可以体现在单个处理器内部和多个处理器之间都存在大量不同类型的消息在多个端口之间交叉通信，需要保证多端口多消息类型的交叉通信部件的正确性验证并加速验证流程。为了提升处理器的性能，处理器设计中经常自定义消息类型和相应的端口接口协议，因此无法使用第三方提供的基于通用总线协议的VIP(VerificationIntellectualProperty)，大大增加了处理器的验证周期和正确性验证的困难程度。
技术实现思路
本专利技术所要解决的技术问题是提供一种多端口多消息类型交叉通信部件的验证方法，实现多端口交叉通信部件的正确性验证。本专利技术解决其技术问题所采用的技术方案是：提供一种多端口多消息类型交叉通信部本文档来自技高网...

【技术保护点】
1.一种多端口多消息类型交叉通信部件的验证方法，其特征在于，包括以下步骤：/n(1)定义各种消息类型所包含的各类数据域；/n(2)定义每个端口上的各路物理通道；/n(3)根据实际设计要求，建立各种消息类型和各端口的各路物理通道的对应关系，使得各种消息类型在各端口的相应物理通道上能够发送和接收；/n(4)根据实际设计要求，建立传输参考模型；/n(5)生成包含各种消息类型的测试序列，并注入到参考模型和实际设计的发送端口上；收集传输参考模型和实际设计的接收端口上获取的消息类型的消息队列；比较传输参考模型和实际设计接收消息队列的顺序，以及队列中每条接收消息类型所包含的各类数据的域正确性；/n(6)当正...

【技术特征摘要】
1.一种多端口多消息类型交叉通信部件的验证方法，其特征在于，包括以下步骤：
(1)定义各种消息类型所包含的各类数据域；
(2)定义每个端口上的各路物理通道；
(3)根据实际设计要求，建立各种消息类型和各端口的各路物理通道的对应关系，使得各种消息类型在各端口的相应物理通道上能够发送和接收；
(4)根据实际设计要求，建立传输参考模型；
(5)生成包含各种消息类型的测试序列，并注入到参考模型和实际设计的发送端口上；收集传输参考模型和实际设计的接收端口上获取的消息类型的消息队列；比较传输参考模型和实际设计接收消息队列的顺序，以及队列中每条接收消息类型所包含的各类数据的域正确性；
(6)当正确性比较出现错误时，根据设计要求对传输参考模型或实际...

【专利技术属性】
技术研发人员：胡向东，杨瑒，计永兴，张芯娟，张红云，
申请(专利权)人：上海高性能集成电路设计中心，
类型：发明
国别省市：上海;31