简介:为了减少复杂设计中可能的亚稳态风险,不少公司都采用工具或人工来检查设计中存在跨时钟域的问题。传统的检查方法只能检查设计中是否做了跨时钟域的处理,却无法检查处理得是否合理,而静态Formal验证技术采用数学穷举的方法,利用断言对设计中的同步器进行快速验证,确保数据的可靠传输,有效避免了一些设计缺陷。Mentor公司的QuestaCDC和Forma1工具可以对设计进行跨时钟域的检查,并可用Formal引擎证明设计中跨时钟域同步器与其断言的一致性,可极大地提高复杂设计的验证效率和鲁棒性。
简介:单一调制的雷达信号的波形简单、变化少,使得雷达信号更容易被截获,抗干扰性能也较差。针对这一问题,设计了一种混沌多时编码与相位调制相结合的波形产生方法。首先根据线性调频信号的参数并按照多时编码规则产生一系列相位,每个相位状态持续时间不同;再对相位用混沌序列进行编码,使每个子脉冲具有不同的相位状态。仿真结果表明,两种混沌多时编码调相雷达信号的自相关旁瓣峰值最大值分别达到-27.92dB和-27.60dB,相比于只加入混沌编码调相的信号或多时编码信号,其相关性得到了极大提升。结果表明,混沌多时编码调相信号既继承了相位调制信号的优点,优化了功率谱,使其变得更平坦,同时又具有良好的抗噪声干扰性能和正交性,波形也更加复杂多变,是一种理想的雷达信号。