加州山景城。,2014年3月4日Synopsys对此公司(纳斯达克:单核苷酸多态性),全球领导人提供软件、知识产权和服务用于加速创新在芯片和电子系统,今天宣布的可用性验证编译器™解决方案,新产品,代表了一种引人注目的愿景在业界SoC (SoC)验证和验证技术路线图。验证编译器是一个完整的组合集成,下一代验证技术,包括先进的调试、静态和形式验证、仿真、验证IP和覆盖关闭。这些技术提供了5倍的性能提升和大幅提高调试效率,使SoC设计和验证团队创建一个完整的功能验证流与一个单一的产品。下一代技术的结合、集成流和一个独特的并发许可模型支持验证编译器提供3 x效率整体——直接解决日益增长的SoC上市时间的挑战。
“验证的复杂性是持续增长速度快于摩尔定律,”说约拿的阿尔NVIDIA GPU工程的高级副总裁。”来应付这个问题,行业需要下一代验证技术,如静态和正式的,还有更好的集成流,降低投资的成本在不同的验证方法。Synopsys对此“验证编译器提供了一个视觉可能满足这些需求和验证效率更上一层楼,同时继续推进开放接口,支持行业创新”。
“验证,验证编译器提供了一个新的愿景”Anil Jain说,公司工程副总裁Cavium。“我们正面临一个转折点在验证,我们的信念是补救措施必须不仅来自新技术和大量的集成,但也从创新的访问模型,提供所有的技术都需要在SoC验证流程。验证编译器,Synopsys对此交付产品,最终使这一愿景成为现实。”
“阿尔特拉soc的最高度集成、异构计算平台,结合多核ARM处理器系统中,浮点DSP模块、高带宽的I / O和高性能可编程逻辑在一个死,”说泰Garibay集成电路工程在Altera公司的副总裁。”我们迁移soc第三代64位体系结构集成在英特尔的14 nm三栅极的过程,我们使用的设计和验证工具必须操作和无缝沟通,给我们的能力来模拟和调试在RTL UVM和嵌入式软件领域与一个统一的编译器和调试流程。验证编译器的引入使我们的设计团队是一个重要的一步显著提高我们的生产力”。
SoC验证所需的先进技术
与移动物联网推动电子产品增长,先进的SoC发展面临在验证复杂度指数增长,新的功率效率要求,增加软件的内容和更严格的上市时间的压力。实现对这些复杂的soc验证关闭需要一组广泛的技术包括先进的调试,静态和正式的验证,低功耗验证,验证IP和覆盖关闭。
为了应对这一挑战验证,验证编译器特性一组全面的下一代技术,包括正式的验证,SoC的连通性检查,SoC-scale时钟域交叉(CDC)检查,X-propagation模拟、原生低功耗模拟,和先进的验证计划和管理。验证编译器还包括整个投资组合Synopsys对此的下一代IP验证,包括相应的测试套件,所有集成先进的调试和高性能的模拟。通过整合这些技术在单一产品,验证编译器允许SoC设计和验证团队更好地解决日益增长的技术和进度SoC验证的挑战。
新一代静态和正式的验证
验证编译器地址验证复杂的soc的绝对能力的挑战与新一代静态和形式验证技术,3 x 5 x更高性能和容量比其他解决方案。这种新技术包括正式财产检查,低功率静态检查,疾控中心检查,SoC连接检查,先进的线头和连续的等价性检查。验证编译器静态和正式的功能是完全兼容Synopsys对此设计编译器编译器®和Synopsys对此IC™使用模型和流动。
提高调试效率
验证编译器的调试功能是使用技术构建Synopsys对此的威尔第3,该行业的实际调试平台。验证编译器使用的威尔第3最新的调试技术包括许多创新的调试功能,提供大幅提高调试效率。这些新功能包括交互式Testbench (UVM-aware)调试,事务调试、HW / SW调试、节能调试和Protocol-Aware调试,所有建立在一个统一的、一致的和易于使用的环境。进一步验证编译器添加了大量的调试效率通过这些先进的紧密集成和仿真调试功能,贵宾,正式的验证,和覆盖范围。
的Synopsys对此威尔第3调试平台仍然是作为一个独立的产品。威尔第3是一个开放平台实现集成与其他验证流经快速信号数据基地(FSDB)数据库以及通过威尔第互操作应用程序(通过)。因此,威尔第3将继续全力支持主要模拟、仿真、形式验证产品在市场上。
并发验证
今天的SoC验证流需要同时使用多个团队跨地域的各种验证技术。此外,流的不同需要不同浓度的技术。这些类型的访问瓶颈大大影响验证效率,成本和上市时间。为了解决这些瓶颈,每个验证编译器许可证包括三个独立的并发密钥:一个关键的所有静态和正式的技术;一个关键simulation-related技术(包括所有VIP);和一个关键的调试技术。这三个键可以使用由一个用户同时提高了个人的工作效率,也可以是由不同的个体在同一家公司独立使用。这种灵活性使设计团队可以同时执行多个验证功能,实现戏剧性的验证效率的改进。
“我们一直密切合作与我们的许多客户在他们最复杂的验证挑战多年来,“说Manoj甘地高级副总裁和总经理,验证小组Synopsys对此。“在过去的几年中,我们已经建立了一个强大的组合尖端软件技术验证。验证编译器需要这些技术的下一个阶段通过整合成一个单一的产品提供无与伦比的性能,功能,和生产力,为将来更进步奠定了基础。”
可用性
目前有限的客户可用性验证编译器可用,与一般可用性计划2014年12月。
关于Synopsys对此
Synopsys对此公司(纳斯达克:SNPS)加速创新在全球电子市场。作为一个领导者在电子设计自动化(EDA)和半导体IP,它的软件,帮助工程师解决IP和服务设计、验证、系统和制造挑战。自1986年以来,世界各地的工程师已经使用Synopsys对此技术设计和创造数十亿的芯片和系统。学习更多在www.synopsys.com。
