简介:为了减少复杂设计中可能的亚稳态风险,不少公司都采用工具或人工来检查设计中存在跨时钟域的问题。传统的检查方法只能检查设计中是否做了跨时钟域的处理,却无法检查处理得是否合理,而静态Formal验证技术采用数学穷举的方法,利用断言对设计中的同步器进行快速验证,确保数据的可靠传输,有效避免了一些设计缺陷。Mentor公司的QuestaCDC和Forma1工具可以对设计进行跨时钟域的检查,并可用Formal引擎证明设计中跨时钟域同步器与其断言的一致性,可极大地提高复杂设计的验证效率和鲁棒性。
简介:首先,使用新型压缩感知框架对图像进行基于小波的轮廓波变换(WBCT);然后,采用部分傅里叶矩阵随机观测子空间系数;最后,结合软阈值贪婪方向追踪(SGDP)算法完成图像重构。试验结果表明,与传统的稀疏梯度投影(GPSR)算法相比,基于软阈值贪婪方向追踪的图像重构法在恢复图像低频信息的同时保留了高频信息,尤其对于含噪图像重构,可使重构图像峰值信噪比(PSNR)值提高约2dB。
简介:三面角反射体是一种重要的无源对抗器材,高效、准确、快速地预估其雷达散射截面积(RadarCrossSection,RCS)具有重要意义。以方形三面角反射体为例,推导了利用改进的几何光学/区域投影法(GeometricalOptics/AreaProjection,GO/AP)进行RCS预估的一般流程;基于该流程对方形、圆形三面角反射体的单站RCS进行预估,将预估结果与RCS最大值的经验公式以及FEKO软件的仿真结果进行对比,表明改进的GO/AP法具有正确性、快速性和广泛适应性;针对异型三面角反射体,提出一种基于GO/AP算法利用SolidWorks软件进行RCS快速预估的方法。
简介:2012年随着迈克·华莱士的离世,一个电视直播时代最辉煌的巨星陨落,一个时代也就此终结了。不知道,一直以“有质量的新闻”为信仰的他,如果有幸见证如今网络直播的火热会作何感想?其实这场娱人娱己的网络�