简介:为了减少复杂设计中可能的亚稳态风险,不少公司都采用工具或人工来检查设计中存在跨时钟域的问题。传统的检查方法只能检查设计中是否做了跨时钟域的处理,却无法检查处理得是否合理,而静态Formal验证技术采用数学穷举的方法,利用断言对设计中的同步器进行快速验证,确保数据的可靠传输,有效避免了一些设计缺陷。Mentor公司的QuestaCDC和Forma1工具可以对设计进行跨时钟域的检查,并可用Formal引擎证明设计中跨时钟域同步器与其断言的一致性,可极大地提高复杂设计的验证效率和鲁棒性。
简介:结合产品开发中的实际案例,分析了测试测量电路中的共地干扰的常见现象,产生原因,以及在电路设计和PCB布线中如何避免和解决此类问题的一些思路。为此类问题的研究,尤其是实际的产品开发,提供一些借鉴。
简介:主要从HDI系统板板面露基材的几种情形进行原因分析,针对不同异常情形给出相应的改善方法及预防措施,重点强调铜箔质量问题引起的露基材问题,并给出了改善建议。