《电讯技术杂志》发表论文赏析
作者:樊争光,沈剑良,李智超,刘冬培
单位:(信息工程大学 信息技术研究所,郑州 450001)
摘要:面对异构协议转换系统中庞大的报文输出量,传统的验证方法难以确保输出报文的正确性。为此,提出了一种以目的协议为处理单元的参考模型。该参考模型通过对不同协议通道的数据包进行独立处理,实现不同协议间的包头映射,确保输出报文符合预期。此外,通过优化算法,将协议转换算法精简至4种,有效避免了代码冗余对报文精度的影响。采用SystemVerilog和UVM(Universal Verification Methodology)设计参考模型,并通过TLM(Transaction Level Modeling)机制与其他组件协同工作,增强了参考模型的可扩展性和可重用性。实验结果表明,该参考模型能够有效输出预期报文,助力验证平台完成对异构协议转换系统的功能验证,且代码覆盖率和功能覆盖率均达到了100%。
关键词:异构协议转换系统;参考模型;包头映射;通用验证方法(UVM);
基金资助:国家重点研发计划(2022YFB2901000)