[发明专利]一种基于BFM的SystemVerilog搭建协议验证平台的方法

摘要

本发明公开了一种基于BFM的SystemVerilog搭建协议验证平台的方法，所述方法实现过程如下：搭建Transceiver，负责收发、拆/组A类协议报文；搭建Catalog目录结构，负责一致性信息的记录；实现协议表模型，负责实现协议转换；搭建Handler，负责协议处理。本发明方法简化了协议处理过程，采用one‑by‑one的方式，不再涉及到资源的调度问题，改进了针对多clumps间协议转换通信，充分利用了sv的验证特性，队列、动态关联数组加大了协议报文的吞吐量，Catalog目录结构全平台可视，及Transceiver同BFM的通信采用更加简单的DPI接口。

主权项

1.一种基于BFM的SystemVerilog搭建协议验证平台的方法，其特征在于：所述方法实现过程如下：（1）搭建Transceiver，负责收发、拆/组A类协议报文；（2）搭建Catalog目录结构，负责一致性信息的记录；所述Catalog目录结构，用于缓存目录状态信息，等待查询，并返回地址的状态；所述Catalog本质为一种存储结构，存储的是系统中cache的状态，采用动态关联数组结构来实现，以地址作为索引值，能够实现系统全地址的映射，同时也能够设置开关限定映射空间大小来构建特殊情况的激励；（3）实现协议表模型，负责实现协议转换；所述协议表模型采用脚本来处理B类型协议文件，转换为*.v文件，查询方式采用case…endcase方式；（4）搭建Handler，负责协议处理；所述Handler负责实现A类协议至B类协议处理的主要工作，根据A类协议报文头确定报文类型、CPU‑ID、Clump‑ID、目录返回状态组成查询B类协议表的敏感列表，按照既定规则查询B类协议；根据收集到结果或组装成A类协议报文发给BFM，或组装成B类协议包发送至远端Transceiver进行处理，处理结果同样或组装成A类协议包发给BFM，或将处理结果返回本地Transceiver。