简介:随着经济的飞速发展,社会的进步,人们对电子科技产品的需求越来越丰富,而企业之间的竞争越来越激烈,重视客户需求并实现“短平快”交付是企业竞争力的一个重要表现。在电子产品PCB设计中,优化设计流程,将产品串行设计更改为并行设计,是缩短产品开发周期的一个有效方案。文章通过流程更改、软件选择、协作方案等方面进行分析,讨论各要素在产品设计“短周期”上的作用,可为项目实现“短平快”目标提供参考和借鉴。
简介:为了减少复杂设计中可能的亚稳态风险,不少公司都采用工具或人工来检查设计中存在跨时钟域的问题。传统的检查方法只能检查设计中是否做了跨时钟域的处理,却无法检查处理得是否合理,而静态Formal验证技术采用数学穷举的方法,利用断言对设计中的同步器进行快速验证,确保数据的可靠传输,有效避免了一些设计缺陷。Mentor公司的QuestaCDC和Forma1工具可以对设计进行跨时钟域的检查,并可用Formal引擎证明设计中跨时钟域同步器与其断言的一致性,可极大地提高复杂设计的验证效率和鲁棒性。