>
可支持多个专业领域和语言
顶级的Incisive平台产品将验证过程自动化(VPA)技术和方法学与e、SystemC和 SystemVerilog语言结合起来
Cadence公司(NASDAQ: CDNS)近日推出Incisive Enterprise产品家族,该产品具有能够支持e、SystemC 和SystemVerilog等语言的企业级功能验证功能自动化(VPA)技术。作为Cadence® Incisive®功能验证平台的最顶级产品,Incisive Enterprise产品家族可有效降低在复杂的SoC设计和系统开发过程中所面临的可预测性风险、生产风险和质量风险。
除了面向多类型SoC设计和系统开发团队的Incisive Enterprise产品家族外,Cadence公司还推出了Incisive Design Team和Incisive HDL两个产品。Incisive Design Team是具有面向RTL开发人员的验证解决方案,而Incisive HDL则可用于HDL创建和仿真。
Incisive Enterprise产品家族是Cadence公司最新推出的产品,它集成了已被Cadence公司收购的Verisity公司先进的VPA技术和设计方法学,可支持多种系统建模语言、HDL和断言语言,并针对不同的专业领域而嵌入了高性能的形式和动态验证引擎、Verification IP和分析工具。Incisive Enterprise旨在降低跨多个专业领域和跨模块级、芯片级和系统级的SoC和软硬件系统的验证过程的复杂性。
“Cadence公司的Incisive Enterprise产品覆盖了从初始规划到验证收敛的整个验证过程,” Micronas公司片上系统验证部门的总监Oliver Bell说,“我们的设计和验证专家们需要全面的解决方案,这种解决方案要能够支持多种语言,如e、SystemC和SystemVerilog,从而实现系统级仿真。”
为了实现验证过程自动化,Incisive Enterprise产品家族提供了多种工具、技术和设计方法学,包括:
•Incisive Specman Simulator,该新产品将Incisive Simulator和来自Specman Elite的模块级到系统级测试台自动化技术的高性能内核直接整合在一起。
•Mixed SystemC and e,基于事务的验证解决方案结合了系统和验证经验两个专业领域
•Enterprise Manager,该产品针对企业应用而专门增强,集成了所有的Incisive引擎、语言和覆盖工具。
•Incisive Palladium®,该硬件辅助验证工具可帮助设计人员进行高速加速、软硬件协同验证、系统级和后硅验证(post-silicon verification)。
•Incisive Enterprise plan-to-closure,可执行的计划设计方法学将成熟和广泛采用的复用技术与经过验证的事务级建模和系统级验证方法学结合起来。
•Encapsulation of Incisive Design Team,该设计方法学和产品家族可支持形式分析和SystemVerilog语言
“随着SoC技术和纳米级工艺的快速发展,设计和验证方法变得日益复杂,领先的电子厂商必须为此建立起专业的技术团队。这就需要有一个最佳的解决方案能将不同领域的专家协同在一个统一的从规划到实现(plan-to-closure)的设计方法中,” Cadence公司验证部门的执行副总裁和总经理Moshe Gavrielov说,“我们的客户需要一个高度自动化的管理流程,可以最大化设计的可见度、可预测性、资源利用率、可执行和系统级的产品质量。”