简介:概述了下一代水溶性预涂焊剂的开发和特点,使用于无铅焊接用PCB表面预涂处理。
简介:为了减少复杂设计中可能的亚稳态风险,不少公司都采用工具或人工来检查设计中存在跨时钟域的问题。传统的检查方法只能检查设计中是否做了跨时钟域的处理,却无法检查处理得是否合理,而静态Formal验证技术采用数学穷举的方法,利用断言对设计中的同步器进行快速验证,确保数据的可靠传输,有效避免了一些设计缺陷。Mentor公司的QuestaCDC和Forma1工具可以对设计进行跨时钟域的检查,并可用Formal引擎证明设计中跨时钟域同步器与其断言的一致性,可极大地提高复杂设计的验证效率和鲁棒性。
简介:本文根据xilinxFPGA的SOPC嵌入式系统设计的方法,提出了基于SOPC技术的TFT—LCD显示系统的解决方案,分析了TFT—LCD控制器的设计思路,分析了系统硬件的构建流程、组成结构以及各部分IP核的功能,给出硬件设计和软件编程测试的方法。最终结果表明系统稳定可靠,显示清晰,色彩丰富,达到了系统设计要求。