简介:为了减少复杂设计中可能的亚稳态风险,不少公司都采用工具或人工来检查设计中存在跨时钟域的问题。传统的检查方法只能检查设计中是否做了跨时钟域的处理,却无法检查处理得是否合理,而静态Formal验证技术采用数学穷举的方法,利用断言对设计中的同步器进行快速验证,确保数据的可靠传输,有效避免了一些设计缺陷。Mentor公司的QuestaCDC和Forma1工具可以对设计进行跨时钟域的检查,并可用Formal引擎证明设计中跨时钟域同步器与其断言的一致性,可极大地提高复杂设计的验证效率和鲁棒性。
简介:数控钻孔工序是一个以自动化加工为主的工序,对产前准备及基础化管理的要求相对较高,且十分重要,并且随着科学技术的发展与日新月异,对生产力的要求也就越来越高。为了适应时代发展与技术进步的需要,各行各业都在寻求提高生产效率的有效方法与手段,原因在于,生产效率的低下严重制约了企业的发展、进步与技术能力的提升,在这种环境下,我们将重点放在如何通过先进的技术手段与科学的规范管理达到提高生产效率的目的上。本文详细阐述了通过对数控机床的合理维护、刀具管控、参数优化、标准化作业等几方面的研究与分析,然后采取相应的措施,在保证产品质量的前提下达到提高生产效率的目的,在具体实施过程中,我们首先选1台数控钻床进行试点研究,然后平面推广,以期达到钻孔工序的产能较改善目前相比至少提升20%以上的效果,按照此项技术的加工方法,根据公司订单结构与设备状态,每月将增加产能至少4000m2的生产任务。
简介:主要介绍了低压差分信号(LVDS)的工作原理和特点,主要叙述了LVDS的布线技巧,如何在PCB上实现阻抗控制、延时要求等。