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

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

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

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

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

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

　　客戶認(rèn)可

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

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

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

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

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