简介:为了减少复杂设计中可能的亚稳态风险,不少公司都采用工具或人工来检查设计中存在跨时钟域的问题。传统的检查方法只能检查设计中是否做了跨时钟域的处理,却无法检查处理得是否合理,而静态Formal验证技术采用数学穷举的方法,利用断言对设计中的同步器进行快速验证,确保数据的可靠传输,有效避免了一些设计缺陷。Mentor公司的QuestaCDC和Forma1工具可以对设计进行跨时钟域的检查,并可用Formal引擎证明设计中跨时钟域同步器与其断言的一致性,可极大地提高复杂设计的验证效率和鲁棒性。
简介:印制电路板工艺需求,伴随着信息、通讯及消费性电子等产品,对功能的提升及轻、薄、短、小的操作需求,在尺寸的限制条件下,电路板线路精细度依循技术发展蓝图逐年在提升。Manz亚智科技"超细线路整合解决方案"成功整合Manz自主研发的"垂直显影生产设备"与"超细线路蚀刻"以及KLEO公司提供的"激光直接成像系统CB20HVtwinstage",为成就生产高阶超细线路印刷电路板的主要利器。引进激光直接成像(LDI)技术后的Manz一站式服务,可大幅缩短75%PCB生产中的图像转移工艺流程,生产周期明显缩短,并且因为直接的数字化处理,给工艺带来了高精度和高灵活性,这对加快研发进度和提升竞争力有非常重要的意义。