JasperGold形式驗證平臺新應(yīng)用Superlint和Clock Domain Crossing助邏輯設(shè)計人員將IP開發(fā)時間縮短四周

2017年6月5日，中國上海——楷登電子（美國Cadence公司，NASDAQ： CDNS）今日正式發(fā)布JasperGold®形式驗證平臺擴(kuò)展版，引入高級形式化驗證技術(shù)的JasperGold Superlint和Clock Domain Crossing （CDC）應(yīng)用，以滿足JasperGold形式驗證技術(shù)在RTL設(shè)計領(lǐng)域的簽核要求。較現(xiàn)有驗證解決方案，Superlint和CDC應(yīng)用提高了IP設(shè)計質(zhì)量，后期RTL變更較高減少80%，IP開發(fā)時間縮短4周。如需了解更多關(guān)于JasperGold技術(shù)用于RTL簽核的詳細(xì)內(nèi)容，請參訪www.cadence.com/go/rtlsignoff。

當(dāng)今設(shè)計變得更為龐大復(fù)雜，開發(fā)在多個系統(tǒng)級芯片（SoC）中重復(fù)使用的強(qiáng)健IP，來提高設(shè)計人員生產(chǎn)力的需求日益突出。之前在網(wǎng)表實現(xiàn)階段的簽核檢查現(xiàn)在需要在RTL設(shè)計階段完成，但傳統(tǒng)的靜態(tài)lint和CDC工具無法有效保證高質(zhì)量的RTL代碼。

采用全新JasperGold形式化RTL 簽核技術(shù)，設(shè)計人員可以利用更加豐富的功能檢查和形式化智能調(diào)試來減少違例噪音，這正是目前較為緊迫的RTL簽核挑戰(zhàn)之一。通過與強(qiáng)大的JasperGold Visualize ™調(diào)試環(huán)境充分集成，JasperGoldSuperlint和CDC應(yīng)用利用成熟的形式化智能技術(shù)來提高RTL設(shè)計的調(diào)試效率。此外，兩個應(yīng)用都整合了Cadence已有的形式化能力來增強(qiáng)各種過濾機(jī)制。現(xiàn)在，設(shè)計人員可以在驗證和實現(xiàn)階段使用穩(wěn)健、可復(fù)用、無CDC問題的RTL代碼來實現(xiàn)簽核，不僅縮短了整體上市時間，還顯著提高了設(shè)計質(zhì)量。

“日益緊張的項目進(jìn)度和IP質(zhì)量壓力讓高效RTL 簽核成為開發(fā)的重要組成部分，”Cadence數(shù)字和簽核事業(yè)部及系統(tǒng)和驗證事業(yè)部高級副總裁兼總經(jīng)理Anirudh Devgan博士說道。“基于公認(rèn)的JasperGold平臺，Cadence將其業(yè)界領(lǐng)先的形式驗證技術(shù)引入RTL簽核，幫助邏輯設(shè)計人員在更短的時間內(nèi)開發(fā)出更加穩(wěn)健和可復(fù)用的IP代碼。”

Cadence全新的Superlint應(yīng)用集成了傳統(tǒng)RTL linting和形式驗證功能，通過RTL自動生成較完整的功能檢查集。同樣，在Cadence® JasperGold形式模擬器或Xcelium™并行模擬器環(huán)境下，CDC應(yīng)用為嚴(yán)格的CDC驗證提供亞穩(wěn)態(tài)插入流程，實現(xiàn)更完整的簽核。

客戶認(rèn)可

“ARM一年前就已經(jīng)采納了JasperGold Superlint應(yīng)用，成功改進(jìn)RTL 簽核，縮短產(chǎn)品上市時間。通過在設(shè)計期間提前數(shù)周發(fā)現(xiàn)錯誤，后期RTL變更大幅減少，并在功能驗證階段節(jié)省更多時間。”

——ARM技術(shù)服務(wù)事業(yè)部副總裁兼總經(jīng)理霍布森·布爾曼（Hobson Bullman）

“JasperGold CDC應(yīng)用幫助我們在RTL簽核早期即可發(fā)現(xiàn)CDC的功能性及結(jié)構(gòu)性問題并完成糾錯，提高了設(shè)計質(zhì)量，每個IP的設(shè)計和驗證可以節(jié)省2-4周。”

——STMicroelectronics設(shè)計經(jīng)理大衛(wèi)·維森佐尼（David Vincenzoni）

針對RTL簽核，全新JasperGold Superlint和CDC應(yīng)用創(chuàng)新地擴(kuò)展了Cadence驗證套件。新應(yīng)用支持Cadence系統(tǒng)設(shè)計實現(xiàn)戰(zhàn)略（SDE），協(xié)助系統(tǒng)和半導(dǎo)體公司更高效地創(chuàng)建完整、差異化的終端產(chǎn)品。驗證套件包括領(lǐng)先的核心引擎、驗證架構(gòu)技術(shù)和解決方案，提高設(shè)計質(zhì)量，增加吞吐率，滿足各類應(yīng)用程序和垂直市場的驗證需求。

關(guān)于楷登電子Cadence

Cadence 公司致力于推動電子系統(tǒng)和半導(dǎo)體公司設(shè)計創(chuàng)新的終端產(chǎn)品，以改變?nèi)藗兊墓ぷ鳌⑸�活和娛樂方式。客戶采�?span lang="EN-US"> Cadence的軟件、硬件、IP 和服務(wù)，覆蓋從半導(dǎo)體芯片到電路板設(shè)計乃至整個系統(tǒng)，幫助他們能更快速向市場交付產(chǎn)品。Cadence 公司創(chuàng)新的“系統(tǒng)設(shè)計實現(xiàn)”（SDE）戰(zhàn)略，將幫助客戶開發(fā)出更具差異化的產(chǎn)品，無論是在移動設(shè)備、消費電子、云計算、汽車電子、航空、物聯(lián)網(wǎng)、工業(yè)應(yīng)用等其他的應(yīng)用市場。Cadence 公司同時被財富雜志評選為“全球年度較適宜工作的100家公司”之一。了解更多，請訪問公司網(wǎng)站 www.cadence.com。

# # #

© 2017 Cadence Design Systems, Inc.版權(quán)所有。在全球范圍保留所有權(quán)利。Cadence、Cadence 徽標(biāo)和www.cadence.com/go/trademarks中列出的其他Cadence標(biāo)志均為 Cadence 設(shè)計系統(tǒng)公司的商標(biāo)或注冊商標(biāo)。所有其他標(biāo)識均為其各自所有者的資產(chǎn)。