简介:为了减少复杂设计中可能的亚稳态风险,不少公司都采用工具或人工来检查设计中存在跨时钟域的问题。传统的检查方法只能检查设计中是否做了跨时钟域的处理,却无法检查处理得是否合理,而静态Formal验证技术采用数学穷举的方法,利用断言对设计中的同步器进行快速验证,确保数据的可靠传输,有效避免了一些设计缺陷。Mentor公司的QuestaCDC和Forma1工具可以对设计进行跨时钟域的检查,并可用Formal引擎证明设计中跨时钟域同步器与其断言的一致性,可极大地提高复杂设计的验证效率和鲁棒性。
简介:随着我国经济的稳定增长带动着汽车产业的快速发展,其中轿车在产业中主体地位的比重越来越大。然而消费者对其轿车的综合性能不断有新的要求,汽车行业也需要应用信息技术来改变综合性能与消费环境。虽然我国企业有汕头超声、生益电子、新美亚电路、天津普林、崇达多层线路等通过TS/16949(或QS9000)认证,为进军汽车电子取得了一张入场劵。但目前多数企业都是生产附加值较低的产品如音响等,技术含量高的中高端产品基本上是由国外品牌。我司是较早通过TS/16949认证,为进军中高端汽车用PCB积累了一定的经验,本文主要浅谈汽车用PCB的可靠性试验失效分析对制程的不断改善提供帮助,从而生产出高可靠性的汽车用PCB板。