扩大ARM SOC的验证覆盖缩短仿真时间

验证复杂的SoC设计要耗费极大的成本和时间。据证实，验证一个设计所需的时间会随着设计大小的增加而成倍增加。在过去的几年中，出现了很多的技术和工具，使验证工程师可以用它们来处理这类问题。但是，这些技术中很多基于动态仿真，并依靠电路操作来发现设计问题，因此设计者仍面临为设计创建激励的问题。     

Cadence最新Incisive平台可缩短设计验证时间50%

Cadence公司针对复杂IC设计，特别是纳米尺寸设计推出了单内核Incisive验证平台，它是嵌入式软件、控制、数据通道和模拟/混合信号/RF设计的统一平台。Incisive平台内建支持Verilog、VHDL、SystemC、SystemC验证库、规范语言PSL/Sugar、算法开发和模拟/混合信号(AMS)，实现了独一无二的设计功能集成。Incisive平台包含三部分：Incisive，一种基于仿真的数字验证解决方案；Incisive-XLD，具有“按需加速”能力，可以帮助设计工程师实现10套Incisive的运行时间能力，或者实现超过百万门的加速能力，比基于仿真的验证性能高出100倍…     

新一代验证加速技术

为什么需要验证加速技术验证是SoC设计不可缺少的环节。对SoC设计工程师的调查显示,验证已经占到IC设计总时间的70%以上。快速有效的验证不仅可以缩短设计周期,更重要的是可以减少芯片重新设计(re-spin)或修正(ECO)的时间,从而加速上市时间(time-to-market)。然而,随着SoC设计规模的扩大,设计复杂程度的提高,验证鸿沟(verification gap)正在加大。虽然计算机运行速度大幅度提升,然而传统的软件模拟仍然越来越不能满足速度的要求。并且由于重新设计和芯片修正成本随着工艺水平提高大幅度增加,一次流片成功对验证向量覆盖率(verification…     

Formality在rtl-gate等价性验证中的应用

验证在整个设计流程中一直扮演着重要的角色。高效的验证对于提高产品的质量和缩短设计周期具有重要的意义。但是随着IC设计规模和复杂度的不断增加,如何保证验证的高覆盖率和减少验证的时间,已经成为IC设计的瓶颈。为此需要新的设计方法和EDA软件的支持。在这样一种背景下形式化验证技术显示出了许多优点。本文针对在使用新思公司的Formality工具进行rtl-gate的等价性验证中所遇到的一些问题给出一些解决方案,通过正确的使用这些方法减小了设计者在非设计问题上花费的时间,从而可以使设计者更快地发现设计上的问题。     

Cadence推出面向半导体设计的解决方案——Hosled Design Solulions更快高效地实现生产力

Cadence设计系统公司宣布推出为半导体设计而准备的服务式软件（SeaS）。已通过实际制造验证的、随时可用的设计环境,可以通过互联网访问,让设计团队可以迅速提高生产力,并降低风险和成本。Cadence Hosted Design Solutions可用于定制IC设计、逻辑设计、物理设计、高级低功耗、功能验证和数字实现。     

利用S2C Stratix Ⅳ TAI LM进行SoC原型验证的方法学

FPGA原型验证是一种在FPGA上搭建SoC和ASIC设计原型的方法学,可以方便的进行硬件验证和早期软件开发。此方法学也称为ASIC原型验证或SoC原型验证。在FPGA上搭建SoC和ASIC设计原型已经成为验证硬件设计和早期软硬件协同设     

Cadence发布全面的商用验证锦囊

Cadence设计系统公司日前发布了面向无线和消费电子系统级芯片（SoC）设计的商用验证锦囊，帮助工程师们采用先进的验证技术，减少风险和应用难度，以满足上市时间要求。新锦囊可以解决工程师在设计和验证SoC设计时面临的关键挑战：     

数百万门芯片设计中的物理原型设计方法

本文主要介绍了一种数百万门SOC设计实现的方法。这种新的设计方法基于在后端设计过程的前期先创建物理原型。物理原型的生成与传统的后端设计方法不同，但物理原型与最终的设计具有很大的相关性，它可以成为许多设计实现方法优化的“桥梁”，大大缩短了迭代次数。物理原型层次化的设计方法也使模块划分更为优化。物理原型设计方法还改变了前端和后端设计工程师的交接(hand-off)模型。通过物理原型可以很快地验证网表，物理信息在设计过程的早期就贯穿到整个设计过程中，从而大大减少了前端和后端设计的迭代次数。     

微波CAD引入低噪声放大器的设计

本文结合一个低噪声放大器设计实例，着重讲述微波ＣＡＤ技术在现代微波设计中的应用，对比了传统设计方法和现代ＣＡＤ设计方法的差异，强调了ＣＡＤ技术在微波设计领域的重要性。经工程验证，完全可以做到一次成功。     

CADENCE推出面向半导体设计的SaaS解决方案

Cadence最近宣布推出为半导体设计而准备的服务式软件（Saas）,这些通过实际制造验证的,随时可用的设计环境,可以通过互联网访问,让设计团队可以迅速提高生产力,并降低风险和成本,Cadence Hosted Design Solutions可用于定制IC设计,逻辑设计,物理设计,高级低功耗,功能验证和数字实现