采用Incisive Formal Verifier進行形式分析， Oki提升了設計團隊生產力和產品整體品質
【2006年7月10日加州圣何塞市】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名，公司總部位于美國加州圣荷塞市，公司在世界各地均設有銷售辦事處、設計中心和研究設施，以服務于全球電子產業。
關于公司、產品及服務的更多信息，敬請瀏覽公司網站
http://www.cadence.com
媒體聯絡請洽：
楊麗莉
Cadence系統設計公司
電話：021 - 61222358
Email：
lilyyang@cadence.com
方露/常樂
科聞100公共關系（中國）有限公司（Cadence系統設計公司公關代理）
電話：010 - 658321312/5
Email：
luf@text100.com.cn
indy.chang@text100.com.cn
| >> 發布時間：2006-07-10 |
 |
|
|
© 2003-2006 Cadence Design Systems, Inc. All Rights Reserved.
|
京ICP備05019826號
|
