简介:为了减少复杂设计中可能的亚稳态风险,不少公司都采用工具或人工来检查设计中存在跨时钟域的问题。传统的检查方法只能检查设计中是否做了跨时钟域的处理,却无法检查处理得是否合理,而静态Formal验证技术采用数学穷举的方法,利用断言对设计中的同步器进行快速验证,确保数据的可靠传输,有效避免了一些设计缺陷。Mentor公司的QuestaCDC和Forma1工具可以对设计进行跨时钟域的检查,并可用Formal引擎证明设计中跨时钟域同步器与其断言的一致性,可极大地提高复杂设计的验证效率和鲁棒性。
简介:今年7月1日起将正式开始实施两个“指令”(RoHS和WEEE)。这意味着:实施无铅化将对世界电子产品制造业带来一个大的转变,它是新的世界性无铅化技术、管理和市场的开始、是电子产品走向无铅化时代的到来。本刊将林全堵主编纂写的《电子产品实施无铅化是一个系统工程》一文分五期刊登。该文从“电子产品实施无铅化的提出”、“无铅化焊料及其特性”、“无铅焊料的焊接”、“电子元(组)件的无铅化”、“实施无铅化对CCL的基本要求”、“实施无铅化对PCB基板的主要要求”、“实施无铅化对标准与范围的影响”等7个方面进行了较详细的论述,其目的是使同行和读者对电子产品实施无铅化有一个较全面的理解和掌握。我们必须认识到:实施无铅化不仅仅是PCB制造上的问题,而是涉及到诸多方面的一个系统工程问题,从而使我们站在“系统工程”的高度上来研究、分析、设计和解决实施无铅化过程中可能遇到的问题。
简介:随着安全算法的发展,其复杂性和算法操作数据位数也随之迅速增加。安全算法的硬件实现和加速器化已成为必然趋势。本文针对北京华虹集成电路设计有限公司的安全算法加速器IP核的验证项目,介绍了Synopsys公司VMM验证平台和AMBAVIP在其中的应用。主要阐述了选择VMM验证平台与AMBAVIP的依据;VMM环境中定向测试发生器(Generator)模块的编写、测试案例编写、安全算法的设计、仿真信息筛选方面的应用技巧。通过本验证平台,查出了加速器很多处设计错误。仿真平台验证结束后,在FPGA上对本加速器进行了大量椭圆曲线的测试。所有测试全部通过,证明了本验证平台的有效性。