简介:为了减少复杂设计中可能的亚稳态风险,不少公司都采用工具或人工来检查设计中存在跨时钟域的问题。传统的检查方法只能检查设计中是否做了跨时钟域的处理,却无法检查处理得是否合理,而静态Formal验证技术采用数学穷举的方法,利用断言对设计中的同步器进行快速验证,确保数据的可靠传输,有效避免了一些设计缺陷。Mentor公司的QuestaCDC和Forma1工具可以对设计进行跨时钟域的检查,并可用Formal引擎证明设计中跨时钟域同步器与其断言的一致性,可极大地提高复杂设计的验证效率和鲁棒性。
简介:1.导言有机金属(OM)是导电聚合体的一种先进的形式,虽然呈有机化合物的特征,但是具有金属的属性;此材料由碳、氢、氮、氧以及硫酸盐组成,经过人工合成并以10纳米大小的原始颗粒进行水溶性分散【1】。多年前的研究就发现该材料能非常有效地防止铜的氧化【2】。10多年来,此材料作为电路板表面处理沉锡制程ORMECON?CSN的预浸被商业应用。在该制程中,有机金属在沉锡前