Synopsys:
● 新的RTL形式验证工具提升Discovery验证平台
Synopsys公司推出的混合形式验证工具Magellan,将新的高性能形式验证工具引擎与内置的VCS仿真工具引擎的强大功能相结合,帮助工程师发现可能掩藏的可设计深层需要仿真几千个周期才能发现的设计错误。Magellan独特的混合型结合设计考虑,是为了处理数百万门级的设计和提供排除了会产生不利影响的误报之后的确定性结果。Magellan通过实现层次化验证,加强了Synopsys的Discovery验证平台的能力。它支持用Verilog和VHDL所做的设计,并被构建成符合正在成熟的SystemVerilog标准工具。
● 基于SystemVerilog的可验证设计方法增强设计能力
Synopsys公司宣布将大力支持Accellera SystemVerilog语言,以实现更先进的可验证设计(DFV)方法。Synopsys的DFV通过将完整验证贯穿于整个设计开发过程,提高验证品质和能力。Discovery验证平台中先进的验证技术与SystemVerilog的结合,对于解决更为复杂验证非常重要。这种新方法
使用改进后的设计规范驱动验证(其中含有断言功能、简明编码和层次化芯片验证等技术),可降低因功能错误而进行高成本再流片的风险。
Cadence:
● Incisive验证平台缩短验证时间50%
Cadence公司的Incisive验证平台是专门针对纳米级设计的验证平台,它为业界提供了一种单一内核、支持嵌入式软件、控制逻辑数据流和模拟/混合信号/RF设计领域的统一验证方法。这一新平台的统一验证方法能够极大地减少测试平台的开发时间和验证与调试所需时间,使总的验证时间减少50%。
Incisive平台提供了对Verilog、VHDL、SystemC及其SystemC验证库、特性规范语言PSL/Sugar、算法开发和模拟/混合信号(AMS)的本征代码支持。它具有全面事务级验证环境、快速统一的测试生成以及按需硬件加速能力等一系列特点。
Cadence同时公布了该平台中的三个新产品:Incisive,一个基于仿真的数字验证解决方案;Incisive-XLD,一个为多达10位工程师准备的解决方案,能提高基于仿真的验证性能100倍以上;Incisive-XLD Base,包括一个硬件加速/硬件仿的基本模块,能够带来10~10000倍的性能提高。
Cadence推出的IP合作伙伴计划将支持第三方的验证IP供应商使用这一平台。该平台推出后的第一季度就被七家公司选用,其中包括ARM、NVIDIA等技术领先的公司。NIVIDIA选用该平台验证其下一代3D图形处理器;ARM选用该平台开发业内领先的处理器芯核;AMI半导体公司采用该平台验证下一代混合信号电路。Incisive平台支持统一的验证方法,适用于所有设计领域。
● Cadence公司实现下一代IEEE Verilog的开放互操作性
为实现下一代IEEE Verilog的开放互操作性,Cadence推出了对IEEE全面而紧凑的Verilog语言扩展,其中包括对所有IEEE 1364兼容Verilog模拟器的通用测试台。另外Cadence实现了在Incisive验证平台内全面支持IEEE 1364-2001标准,为全球Verilog用户提供优秀的RTL设计与验证解决方案。IEE的强大、开放的标准过程实现了Verilog IP的互操作性,其在电子业促进了众多验证技术、IP交换以及产品创新。
● Aptivia并行特征提取选项缩短电路验证时间
Cadence公司的Aptivia并行特征提取选项能使用户方便、经济有效地将电路验证时间减少10倍之多。该新选项将Cadence SPICE仿真并行化用以提取任意多个工艺条件下的特征参数。Aptivia已经完全集成到了Cadence Virtuoso Schematic Composer和模拟电路设计环境。实际上,Aptivia是一个Specification Driven电路设计环境,提供自动化分析、特征提取和验证。它还能捕捉设计过程并将其作为IP,使方法学标准化。Aptivia和Aptivia并行特征提取选项将用于OpenAccess应用程序界面(API)和参考数据库。
Mentor Graphics:
● Vstation仿真系统实现高性能仿真
Mentor Graphics公司高性能Vstation硬件加速仿真系统能为各种复杂设计提供全面的功能强大的验证环境,并通过在单个平台上提供的多次引用模式,实现对多个异步时钟同时建模。Vstation仿真器独特的协同建模技术还可在几百kHz范围内提供高性能仿真加速,与软件仿真相比,其性能提高了近一万倍。
SGI公司已成为Mentor最新推出的高性能验证解决方案的首家客户,SGI将利用该方案加速其产品开发进程,降低芯片重新投片的风险,从而在开发新一代系统时赋予其额外的竞争优势。
● SMIC选用Mentor工具开展设计和物理验证
在中国率先实现8英寸晶圆量产的中芯国际半导体公司(SMIC)已经选用Mentor Graphics的工具作为其内部生产标准之一。Calibre将用于物理验证和寄生电路抽取,IC Station则将用于开发物理IP并开展流程测试结构设计,而Eldo则用于库特性评定与完全定制电路设计工作。中芯国际半导体公司为各种类型的器件提供晶圆代工制造服务,其中包括逻辑、混合信号、SRAM、DRAM、EEPROM、掩膜ROM、高电压电路和单片系统电路。
关键词:
验证
技术开发
趋势
平台
公司
设计
Caden