中国民航大学民用航空器适航审定技术与管理研究中心，天津 300300
面对机载SoC设计，传统验证效率低、可重用性差，难以满足航空实际应用环境验证需求，采用UVM高级验证方法学，使用“寄存器模型后门访问”方法控制参考模型期望值输出，搭建适用于多通路航空总线收发器IP核的验证平台及验证环境，并实现对其数据收发及格式转换和多通路数据轮巡仲裁等功能验证。验证结果表明，该测试平台具有较好的可重用性，能够满足航空实际应用验证需求，缩短了机载电子硬件开发周期。
多通路航空总线 收发器 寄存器模型 可重用性 multi-channel aviation bus transceiver UVM UVM register model reusability
针对仿真想定权威性和重用性两方面的需求，提出了一种通用的仿真想定规范化开发方法，该方法建立在基于任务空间概念模型的仿真想定概念模型提取规范和基于XML的仿真想定描述规范之上。利用提取规范能够得到与真实**信息无偏差的仿真想定概念模型，并可以基于此建立合理且权威的仿真想定约束机制；基于仿真想定描述规范，可以得到标准格式的仿真想定，以达到仿真想定重用性的目的。最后，通过项目中的实际应用，初步验证了该方法的合理性和有效性。
仿真想定 规范化开发方法 权威性 可重用性 simulation scenario standardized developing method XML Schema XML schema authority reusability
光纤通信技术和网络国家重点实验室 武汉邮电科学研究院，湖北 武汉 430074
文章以SystemC为验证语言的通信系统的可重用验证平台的设计思路,通过层次化设计，将验证平台划分为4个层次：用户层、配置管理层、总线功能模型层和待测设计层。介绍了各层接口的通信方式，着重介绍了用户层模块、算法模块、端口模块、激励产生模块、总线功能模块以及结果比较模块重用设计方法，依照此方法能快速高效地搭建可重用的验证平台。
验证平台 可重用性 受控随机激励 总线功能模型 test bench reusability controlled randomized stimulus BFM
