简介:为了减少复杂设计中可能的亚稳态风险,不少公司都采用工具或人工来检查设计中存在跨时钟域的问题。传统的检查方法只能检查设计中是否做了跨时钟域的处理,却无法检查处理得是否合理,而静态Formal验证技术采用数学穷举的方法,利用断言对设计中的同步器进行快速验证,确保数据的可靠传输,有效避免了一些设计缺陷。Mentor公司的QuestaCDC和Forma1工具可以对设计进行跨时钟域的检查,并可用Formal引擎证明设计中跨时钟域同步器与其断言的一致性,可极大地提高复杂设计的验证效率和鲁棒性。
简介:正交频分相位编码(OrthogonalFrequencyDivision-PhaseCoded,OFD-PC)信号是多输入多输出(MultipleInputMultipleOutput,MIMO)雷达中的一种重要波形。为进一步提高该波形对目标的探测能力,在分析OFD-PC空域合成信号脉压特性的基础上,提出了一种降低其距离旁瓣的波形优化方法。一方面,通过优化选取自相关性能优良的相位编码序列来直接降低空域合成信号的距离旁瓣;另一方面,通过随机离散化OFD-PC信号中的载频间隔,构建一种非均匀间隔的OFD-PC信号形式,进一步改善其距离旁瓣特性。为合理平衡波形的正交性能和自相关性能,建立空时联合优化模型,并采用序列二次规划法求解。仿真结果表明,该方法能在获取近似全向发射功率方向图的同时,降低信号自相关距离旁瓣;所优化设计的波形比传统OFD-PC波形具备更优的脉冲压缩性能。