简介:为了减少复杂设计中可能的亚稳态风险,不少公司都采用工具或人工来检查设计中存在跨时钟域的问题。传统的检查方法只能检查设计中是否做了跨时钟域的处理,却无法检查处理得是否合理,而静态Formal验证技术采用数学穷举的方法,利用断言对设计中的同步器进行快速验证,确保数据的可靠传输,有效避免了一些设计缺陷。Mentor公司的QuestaCDC和Forma1工具可以对设计进行跨时钟域的检查,并可用Formal引擎证明设计中跨时钟域同步器与其断言的一致性,可极大地提高复杂设计的验证效率和鲁棒性。
简介:通过推导单频信号和线性调频(LFM)信号旋转角正负对称的分数阶Fourier变换(FRFT)模函数,得到一个有用的结论:单频信号正负对称旋转角的FRFT模值相等,模函数关于中心点对称,而对于LFM信号,其模幅度差别很大。根据此结论提出了一种基于观测信号正负对称旋转角的FRFT模之差的反辐射导弹(ARM)检测方法。此方法可以有效地消除载机信号的干扰。仿真结果表明,此方法在低信噪比下能有效地检测出ARM。