学科分类
/ 1
6 个结果
  • 简介:文章从外观检查能力分析出发对最后外观检查能力提升方法进行初探。

  • 标签: 外观检查能力
  • 简介:介绍了印制板工程资料的制作和检查方法,并对提高工程资料的制作质量提出了一些建议.

  • 标签: 印制板 工程资料
  • 简介:KLA—Tencor公司宣布推出了全新系列的光罩检查系统,为晶片厂提供更灵活的配置方式,以检验进货的光罩,并检查生产光罩是否存在会降低产能并增加生产风险的污染物。TeraFab系统提供了三种基本配置,以满足逻辑集成电路和内存晶片厂及不同代光罩的特殊检查要求。这些配置为芯片制造商提供了极具成本效益的光罩质量控制的先进工具。

  • 标签: 检查系统 KLA 光罩 逻辑集成电路 生产风险 芯片制造商
  • 简介:仿射变换在PCB在线检测中解决了因成像系统或板翘曲引起的误差对检测结果的影响,提高了检测系统的稳定性和可靠性。在PCB孔径孔数检查系统中,标准图像和待测图像采用基于特征点的配准,以图像上对应坐标点为特征点,建立仿射变换模型,求出两幅图像特征点之间的位置关系,实现图像间的配准。通过该算法在爱思达PCB孔径孔数检查机系统中的应用,提高了系统对成像误差和板翘曲的检查能力,实现了该种设备的重大突破。

  • 标签: PCB孔径孔数检查系统 仿射变换 特征点 图像配准
  • 简介:为了减少复杂设计中可能的亚稳态风险,不少公司都采用工具或人工来检查设计中存在跨时钟域的问题。传统的检查方法只能检查设计中是否做了跨时钟域的处理,却无法检查处理得是否合理,而静态Formal验证技术采用数学穷举的方法,利用断言对设计中的同步器进行快速验证,确保数据的可靠传输,有效避免了一些设计缺陷。Mentor公司的QuestaCDC和Forma1工具可以对设计进行跨时钟域的检查,并可用Formal引擎证明设计中跨时钟域同步器与其断言的一致性,可极大地提高复杂设计的验证效率和鲁棒性。

  • 标签: 亚稳态 跨时钟域检查 静态验证技术Formal 断言