天津市科技支撑计划(07ZCKFGX01500)
- 作品数：2 被引量：5H指数：2
- 相关作者：周德新杨代文王凯樊智勇李珊更多>>
- 相关机构：中国民航大学更多>>
- 发文基金：天津市科技支撑计划更多>>
- 相关领域：航空宇航科学技术电子电信自动化与计算机技术机械工程更多>>
- OVL断言验证库的ARINC429通讯板卡设计验证被引量：2
- 2010年
- 针对由设计复杂程度不断增加造成的功能验证困难的问题,提出了OVL在ARINC429通讯板卡设计验证中的使用方法。介绍了断言开放式验证库OVL及OVL断言监视器的结构、功能、分类及参数,在此基础上设计了符合航空运输工业标准的ARINC429通讯板卡,并提出了一种新的对ARINC429通讯板卡设计时序的验证方法。实验结果表明了OVL断言验证方法在设计验证中的可行性,降低了设计验证的复杂度,增加了验证覆盖率,提高了验证效率。
- 周德新李珊
- 关键词：断言ARINC429
- 基于FPGA的选择呼叫信号源设计被引量：3
- 2009年
- 基于FPGA的选择呼叫信号源主要应用于机载音频管理系统的地面测试设备中,具有飞机地面测定设备的选择呼叫功能。该信号源采用模块化的设计方法将选择呼叫代码的解码、DDS技术以及对选择呼叫信号发送时序的控制集成于一块FPGA芯片中,应用单片机控制USB模块识别/接收虚拟控制面板发送的数据。在机载电子设备自动测试过程中,可以根据需要精确稳定地产生选择呼叫音频信号,提高自动测试系统的可靠性。
- 周德新杨代文王凯樊智勇
- 关键词：现场可编程逻辑门阵列USB直接数字合成器虚拟仪器
