基于ARINC629的层次化验证平台设计

著录项

• 来源
  《计算机测量与控制》 |2014年第6期|1827-1829|共3页
• 作者

  王鹏; 邵伟; 姜承翔; 田毅; 薛茜男;

  展开▼
• 作者单位

  中国民航大学天津市民用航空器适航与维修重点实验室;

  天津300300;

  民用飞机模拟飞行国家重点实验室;

  上海200232;

  中国民航大学安全科学与工程学院;

  天津300300;

  中国民航大学安全科学与工程学院;

  天津300300;

  中国民航大学天津市民用航空器适航与维修重点实验室;

  天津300300;

  中国民航大学天津市民用航空器适航与维修重点实验室;

  天津300300;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 大规模集成电路、超大规模集成电路;
• 关键词

  SystemVerilog语言; 功能覆盖率; 断言; ARINC629航空数据总线;