关键词：机载电子;跨时钟域;寄存器传输级验证;可靠性
摘 要：在航空器的机载设备中存在大量的多时钟域电路，数据在进行跨时钟域传输时可能会产生亚稳态，导致数据传输错误，电路可靠性降低。但亚稳态导致的故障具有偶发性、不易重现，且现有的跨时钟域专用验证软件使用成本高昂，不支持三模冗余场景下的跨时钟域电路验证。针对此问题，提出了一种基于传统工具的寄存器传输级(RTL)验证、板级加速测试和计算评估相结合的方法。该方法能够在设计早期使用通用仿真工具发现三模应用场景或正常场景下的跨时钟域传输问题，并评估潜在跨时钟域传输风险，降低了高安全等级机载复杂电子验证经济成本和时间成本，提高电路可靠性。
内 容：原文可通过湖北省科技信息共享服务平台（http://hbstl.hbstd.gov.cn/webs/homepage.jsp)获取