OKI采用 INCISIVE FORMAL VERIFIER为其形式验证标准
(华强电子世界网讯) Cadence设计系统公司（Nasdaq股票代码：CDNS）日前宣布，冲电气工业株式会社（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结合形式分析方法学，能够加速模块级开发。随着设计工作进入模块集成阶段，同样的断言可以在形式验证、模拟和硬件加速/硬件仿真中重复使用，特别是通过减少集成与调试次数可以提高验证流程的效果。
Cadence 验证部门市场营销全球副总裁Steve Glaser 表示：“我们高兴地看到像Oki这样的业界著名企业采用Incisive Formal Verifier改善其验证流程。Oki取得的成果与我们许多其它客户所取得的成果类似。在设计周期初期采用形式分析，并将其作为基于断言的完整验证流程的一部分可以获得巨大回报。”
关于Cadence
Cadence公司（Nasdaq股票代码：CDNS）成就全球电子设计技术创新，并在创建当今集成电路和电子产品中发挥核心作用。我们的客户采用Cadence的软件、硬件、设计方法和服务，来设计和验证用于消费电子产品、网络和通讯设备以及计算机系统中的尖端半导体器件、印刷电路板和电子系统。Cadence 2005年全球公司收入约13亿美元,现拥有员工约5000名，公司总部位于美国加州圣荷塞市，公司在世界各地均设有销售办事处、设计中心和研究设施，以服务于全球电子产业。
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结合形式分析方法学，能够加速模块级开发。随着设计工作进入模块集成阶段，同样的断言可以在形式验证、模拟和硬件加速/硬件仿真中重复使用，特别是通过减少集成与调试次数可以提高验证流程的效果。
Cadence 验证部门市场营销全球副总裁Steve Glaser 表示：“我们高兴地看到像Oki这样的业界著名企业采用Incisive Formal Verifier改善其验证流程。Oki取得的成果与我们许多其它客户所取得的成果类似。在设计周期初期采用形式分析，并将其作为基于断言的完整验证流程的一部分可以获得巨大回报。”
关于Cadence
Cadence公司（Nasdaq股票代码：CDNS）成就全球电子设计技术创新，并在创建当今集成电路和电子产品中发挥核心作用。我们的客户采用Cadence的软件、硬件、设计方法和服务，来设计和验证用于消费电子产品、网络和通讯设备以及计算机系统中的尖端半导体器件、印刷电路板和电子系统。Cadence 2005年全球公司收入约13亿美元,现拥有员工约5000名，公司总部位于美国加州圣荷塞市，公司在世界各地均设有销售办事处、设计中心和研究设施，以服务于全球电子产业。
（编辑 Summer）
欢迎投稿和提供新闻线索，欢迎您的批评和建议
电话：0755—83291727
邮箱：bjxt@hqew.com
电话：0755—83291727
邮箱：bjxt@hqew.com