基于SoC的信号跨时钟域传输验证方法研究

在SoC信号跨时钟域传输时,有可能会产生亚稳态等问题。到目前为止,对信号跨时钟域传输还没有一套完整且通用的验证方法。因此,在传统SoC设计和验证仿真工具的基础上,形成了关于信号跨时钟域传输的一整套验证方法。其中包括CDC结构分析、基于断言的CDC协议验证、亚稳态注入分析三部分。通过此套方法可以在设计初期发现设计中的缺陷,提高设计的可靠性。

基于 SVA 的跨时钟域协议验证方法

现代SoC设计不可避免会遇到跨时钟域的问题,分析了五种常用典型跨时钟域同步电路和各常用典型同步电路的协议,针对跨时钟域电路难以验证的问题,提出了基于SystemVerilog断言的跨时钟域协议验证方法.通过采用SystemVerilog断言定义各常用典型跨时钟域电路的协议,使得跨时钟域同步电路的传输协议在功能仿真中得到验证.仿真结果表明此方法能够完成跨时钟域电路协议验证.

高电平试验在飞机级试验中的应用

电磁环境的日益复杂和航空电子技术的发展使得机载电子电气系统更容易受到高强辐射场(HIRF)的影响。功能危险性评估为A级的电子电气系统在开展HIRF防护合格审定时,必须进行飞机级HIRF防护符合性验证,这也是民用航空器电磁环境效应研究的重要内容。针对A级系统的飞机级验证方法—飞机级高电平试验进行研究,概述了HIRF防护的合格审定程序,研究了飞机级高电平试验环境的构建及校准方式,归纳总结了不同测试阶段的测试程序。