OKI采用Cadence形式验证工具,可提前验证并发现设计缺陷

Cadence设计系统公司日前宣布,冲电气工业株式会社(Oki)采纳Incisive Formal Verifier做为其基于断言的形式验证(ABV)标准。通过在设计初期阶段采用Cadence Incisive Formal Verifier形式验证工具,Oki公司改善了产品交付和整体质量。Incisive Formal Verifier使得Oki公司的设计团队能够在模拟测试环境之前数月就开始进行验证,并迅速找出存在的设计缺陷。以前这些缺陷在产品交付周期中极难被发现,造成的代价极其高昂。

Oki公司的电信与汽车系统业务部电信大规模集成电路设计处高级经理Yasuhiro Ohno表示:“快速可靠地验证VoIP LSI产品的DSP内核,对于我们的业务极为重要。在过去,我们已经通过基于断言的动态验证,在模拟过程中有效地提高了验证闭合。通过在模拟之前的工作流程中加入基于断言的形式验证, Incisive Formal Verifier已经可以将产品开发进度缩短数月并提高整体设计品质。基于我们的经验,我们将在设计与验证团队中大规模采用Incisive Formal Verifier形式验证工具,以缩短我们的产品上市周期。”

Incisive Formal Verifier适用于需要在整个设计过程初期增加功能验证能力的设计团队。作为基于断言的完整验证流程的一部分,Incisive Formal Verifier能够在模拟测试环境之前对设计模块进行验证,更早地并以更低的成本找出功能上的缺陷。Incisive Formal Verifier能够支持广泛的断言语言,包括PSL(IEEE 1850)和SVA(IEEE 1800),以及如Accellera的Open Verification Library等多种断言库,便于在任意流程中采用。Incisive Formal Verifier结合形式分析方法学,能够加速模块级开发。随着设计工作进入模块集成阶段,同样的断言可以在形式验证、模拟和硬件加速/硬件仿真中重复使用,特别是通过减少集成与调试次数可以提高验证流程的效果。