基于随机测试的SoC系统级功能验证方法的研究

为了克服 RTL 级验证方法的局限性,提出了采用随机测试向量在 SoC 的系统级进行功能验证的方法。该方法采用高级建模语言来构建系统级的测试平台,采用多种随机化机制来生成测试向量。测试结果表明,该方法不仅能够获得较好的功能覆盖率,而且能够尽可能早地发现 SoC 设计中的功能性错误。

飞控航电接口控制系统设计

本文以某型民用飞机为背景,阐述了以验证飞控系统功能为目的的地面模拟试验的重要性。在此基础上,结合半物理仿真技术,介绍并设计了在以验证飞控系统功能为目的的地面模拟试验中可以替代真实航电系统进行试验的飞控航电接口控制系统。此系统利用VC++6.0和Access数据库的核心优势,同时采用VMIC实时网通讯保证仿真数据传输和仪表显示的实时性。通过以验证飞控系统功能为目的的地面模拟试验,验证了飞控航电接口控制系统的实时性和可靠性,能够满足试验的需求。

SoC自动化验证方法的研究与实现

为解决SoC(System-on-Chip)验证覆盖率和工作量问题,基于可重用思想、采用事务验证模型、随机激励生成的方法,建立了一个层次化的具有自主知识产权的自动化功能验证系统(LSAVS:LiShan Automatic Verification System)。采用该验证系统后,SoC验证工程师开发测试向量的工作量由使用传统验证方法的60%降低到10%,同时保证了功能验证100%的覆盖率,达到快速高覆盖率的验证目的。

民用飞机甚高频通信系统设计

民用飞机进行可靠的空地、空空通信,对飞行安全尤为重要。甚高频(very high frequency,简称VHF)通信系统是目前应用最为广泛的航空通信方式,VHF通信系统通过与机上音频系统交联实现飞机与外部的语音通信,通过与机上数据链系统交联实现飞机与地面的数据链通信。如何确保民用飞机VHF通信系统可靠、稳定地工作,一直是型号设计和适航部门关注的重点,也是型号设计的难点。首先从VHF通信系统的功能定义出发,提出了VHF通信系统的设计方案,进而提出了VHF通信系统的性能要求,最后重点阐述了VHF通信系统的机上设计要求以及系统功能验证过程,对型号设计和工程排故具有指导意义。

应用VMT快速搭建验证平台

介绍了如何应用验证模型快速搭建系统验证平台。在基于VMT的验证平台中,使用验证模型驱动待测系统,检测系统响应。该平台结构简单、思路清晰,有效地缩短了系统验证周期,提高了验证质量。结合项目给出了基于Synopsys公司提供的VIP验证模型的验证平台框架与流程实例。

民用飞机固定式应急定位发射系统设计

如何在民用飞机遇险迫降或失事后尽快定位搜救,提高机上遇险人员的生存率,是当前民用飞机设计过程中必须考虑的问题。作为民用飞机应急搜救系统,固定式应急定位发射系统(ELT)可以在飞机遇险时通过自动和人工方式触发,在固定的频率上发射搜救信号,以便搜救组织对遇险人员进行救援。首先提出了固定式ELT系统的设计方案及功能,分析了系统部件的构成,进而提出了固定式ELT系统的性能要求,最后重点阐述了固定式ELT系统的机上设计要求和功能验证过程。