×
×

OKI設計團隊采用CADENCE INCISIVE FORMAL VERIFIER做為其形式驗證標準

2006-07-18 17:05:26 來源:未知
采用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:[email protected]

方露/常樂
科聞100公共關系(中國)有限公司(Cadence系統設計公司公關代理)
電話:010 - 658321312/5
Email:[email protected] [email protected] >>  發布時間:2006-07-10

   © 2003-2006 Cadence Design Systems, Inc. All Rights Reserved. 京ICP備05019826號 

全部評論

玩呗麻将牌怎么下载 3d计算机十夏天开 互联网投资理财排行榜 可以真人对战的麻将 同信证券如意理财平台 资产配置基金 海南琼涯麻将 天津时时彩开奖结果记录 辽宁35选七最新开奖 北京pk10人工在线预测 今天彩报图库彩吧 重庆时时彩组选怎么玩 广西快乐10分遗漏 北京快3结果结果 黑龙江11选五一定牛结果 516棋牌下载安装 快乐八奖池金额