1 武汉邮电科学研究院，武汉 430074
2 烽火通信科技股份有限公司，武汉 430205
在第五代移动通信技术（5G）通信中，动态带宽分配（DBA）作为无源光网络的关键技术之一，随着其不断优化自身性能，芯片功能的复杂度日益增长，对其逻辑功能的验证显得尤为重要。文章提出了一种无源光网络中的DBA模块验证平台架构体系。该平台基于通用验证方法学（UVM）框架调用System Verilog（SV）参考模型，以少数用例覆盖大量场景，实现了对DBA流量需求和下发授权功能点的验证和结果自校验，寄存器转换级电路（RTL）代码覆盖率可达95%以上。仿真表明，该验证平台支持DBA的系统级验证，支持框架复用和自动化数据对比，可满足验证的各项需求，为DBA的性能测试提供了一个高效和全面的验证环境，大大提升了验证效率。
无源光网络 通用验证方法学 动态带宽分配 验证 passive optical network UVM DBA verification
中国民航大学民用航空器适航审定技术与管理研究中心，天津 300300
面对机载SoC设计，传统验证效率低、可重用性差，难以满足航空实际应用环境验证需求，采用UVM高级验证方法学，使用“寄存器模型后门访问”方法控制参考模型期望值输出，搭建适用于多通路航空总线收发器IP核的验证平台及验证环境，并实现对其数据收发及格式转换和多通路数据轮巡仲裁等功能验证。验证结果表明，该测试平台具有较好的可重用性，能够满足航空实际应用验证需求，缩短了机载电子硬件开发周期。
多通路航空总线 收发器 寄存器模型 可重用性 multi-channel aviation bus transceiver UVM UVM register model reusability
中国工程物理研究院电子工程研究所, 四川绵阳 621999
针对存储转发系统数据随机性、不同接口之间时序异步的特点, 提出了不同于典型平台的事物级数据结构和参考模型设计, 构建基于 System Verilog语言的通用验证方法学 (UVM)的验证平台。验证结果表明, 此验证平台能够灵活控制随机约束和验证进程, 优化验证事务。该平台提高了验证的效率和验证平台的可重用性, 较好地满足了超大规模可编程逻辑器件验证需要。
UVM验证方法学 System Verilog语言 存储转发系统 异步系统 Universal Verification Methodology(UVM) System Verilog storage and retransmission system asynchronous system 太赫兹科学与电子信息学报
2017, 15(3): 450
