[发明专利]一种多端口多消息类型交叉通信部件的验证方法

说明书

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

技术领域

本发明涉及处理器芯片模拟验证技术领域，特别是涉及一种多端口多消息类型交叉通信部件的验证方法。

背景技术

随着集成电路设计规模的不断扩大和设计复杂度的日益增加，处理器设计越来越复杂、功能更加多样化。因此，处理器芯片的正确性验证变得日益复杂和困难。这种复杂性、多样性及困难性可以体现在单个处理器内部和多个处理器之间都存在大量不同类型的消息在多个端口之间交叉通信，需要保证多端口多消息类型的交叉通信部件的正确性验证并加速验证流程。

为了提升处理器的性能，处理器设计中经常自定义消息类型和相应的端口接口协议，因此无法使用第三方提供的基于通用总线协议的VIP(VerificationIntellectualProperty)，大大增加了处理器的验证周期和正确性验证的困难程度。

发明内容

本发明所要解决的技术问题是提供一种多端口多消息类型交叉通信部件的验证方法，实现多端口交叉通信部件的正确性验证。

本发明解决其技术问题所采用的技术方案是：提供一种多端口多消息类型交叉通信部件的验证方法，包括以下步骤：

(1)定义各种消息类型所包含的各类数据域；

(2)定义每个端口上的各路物理通道；

(3)根据实际设计要求，建立各种消息类型和各端口的各路物理通道的对应关系，使得各种消息类型在各端口的相应物理通道上能够发送和接收；

(4)根据实际设计要求，建立传输参考模型；

(5)生成包含各种消息类型的测试序列，并注入到参考模型和实际设计的发送端口上；收集传输参考模型和实际设计的接收端口上获取的消息类型的消息队列；比较传输参考模型和实际设计接收消息队列的顺序，以及队列中每条接收消息类型所包含的各类数据的域正确性；

(6)当正确性比较出现错误时，根据设计要求对传输参考模型或实际设计进行修正，并重复步骤(5)，直至参考模型和实际设计得到的结果一致，并符合设计要求。

所述步骤(2)中的物理通道包括通道名称和数据位宽。

所述步骤(4)中的传输参考模型能够通过自身的发送端口的消息类型和信息以及传输参考模型当前的状态，获得自身接收端口的相应消息类型和信息，并更新传输修改模型的相应状态。

所述步骤(5)中的测试序列按照时间序列注入到参考模型和实际设计的发送端口上。

有益效果

由于采用了上述的技术方案，本发明与现有技术相比，具有以下的优点和积极效果：本发明可以根据设计要求完成端口和消息类型的自定义，并利用各端口与消息类型的对应关系，建立消息传输的参考模型，从而满足各种设计的需求。本发明通过生成测试消息类型序列并注入实际设计和传输参考模型，收集两者在各个端口的输出形成消息类型的队列，通过比较实际设计与传输参考模型收集的消息队列来修正实际设计或参考模型，使得最终比较结果一致，从而确保整个部件的正确性验证。

附图说明

图1是本发明的流程图。

具体实施方式