面向异构协议转换UVM验证平台中哈希表的设计与实现  

Design and Implementation of Hash Table in UVM Verification Platform for Heterogeneous Protocol Conversion

作　　者：樊争光 沈剑良[1] 李智超 FAN Zhengguang;SHEN Jianliang;LI Zhichao(Information Engineering University,Zhengzhou 450001,China)

机构地区：[1]信息工程大学,河南郑州450001

出　　处：《信息工程大学学报》2025年第1期29-36,共8页Journal of Information Engineering University

基　　金：国家重点研发计划(2022YFB2901000)。

摘　　要：异构协议转换是实现不同协议间互操作性和兼容性的关键技术。然而,不同协议之间关键字段的映射关系提取过程复杂,这给功能验证带来了重大挑战。针对异构协议转换模块,在传统通用验证方法学(UVM)平台架构的基础上,增加一个专用于表项生成的自定义组件,使用布谷鸟哈希算法实现哈希匹配表的建表和查询,降低验证平台搭建的复杂度。实验表明,哈希匹配表能够有效地供验证平台和待测设计查表解析,且协议转换模块的代码覆盖率和功能覆盖率都达到了预期的100%,为平台完成高效验证提供可靠的支持,为现有UVM验证平台的搭建提供了有价值的参考。Heterogeneous protocol conversion(HPC)is essential for achieving interoperability and compatibility between different protocols.However,extracting mapping relationships between key fields of these protocols presents a significant challenge for functional verification.To address these challenges,a customized component dedicated to table entry generation is integrated into the traditional universal verification methodology(UVM).The Cuckoo hash algorithm is employed to construct and query a hash matching table,thereby reducing the complexity of the verification platform.Experimental results demonstrate that the hash matching table can be effectively utilized for lookup and parsing by both the verification platform and the design under test(DUT).Notably,the code coverage and functional coverage of HPC reach 100%.This approach provides reliable support for efficient verification and offers a valuable reference for enhancing the construction of existing UVM verification platforms.

关 键 词：异构协议转换 通用验证方法学 哈希匹配表 布谷鸟哈希算法 

分 类 号：TN47[电子电信—微电子学与固体电子学]