《電子技術(shù)應(yīng)用》
您所在的位置:首頁 > 其他 > 業(yè)界動態(tài) > Cadence擴展JasperGold平臺用于高級形式化RTL簽核

Cadence擴展JasperGold平臺用于高級形式化RTL簽核

2017-06-05

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

  2017年6月5日,中國上海——楷登電子(美國Cadence公司,NASDAQ: CDNS)今日正式發(fā)布JasperGold? 形式驗證平臺擴展版,引入高級形式化驗證技術(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簽核的詳細內(nèi)容,請參訪www.cadence.com/go/rtlsignoff。

  當(dāng)今設(shè)計變得更為龐大復(fù)雜,開發(fā)在多個系統(tǒng)級芯片(SoC)中重復(fù)使用的強健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)之一。通過與強大的JasperGold Visualize ? 調(diào)試環(huán)境充分集成,JasperGold Superlint和CDC應(yīng)用利用成熟的形式化智能技術(shù)來提高RTL設(shè)計的調(diào)試效率。此外,兩個應(yīng)用都整合了Cadence已有的形式化能力來增強各種過濾機制。現(xiàn)在,設(shè)計人員可以在驗證和實現(xiàn)階段使用穩(wěn)健、可復(fù)用、無CDC問題的RTL代碼來實現(xiàn)簽核,不僅縮短了整體上市時間,還顯著提高了設(shè)計質(zhì)量。

  “日益緊張的項目進度和IP質(zhì)量壓力讓高效RTL 簽核成為開發(fā)的重要組成部分,”Cadence數(shù)字和簽核事業(yè)部及系統(tǒng)和驗證事業(yè)部高級副總裁兼總經(jīng)理Anirudh Devgan博士說道。“基于公認的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)用為嚴格的CDC驗證提供亞穩(wěn)態(tài)插入流程,實現(xiàn)更完整的簽核。

  客戶認可

  “ARM一年前就已經(jīng)采納了JasperGold Superlint應(yīng)用,成功改進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)新地擴展了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)用程序和垂直市場的驗證需求。


本站內(nèi)容除特別聲明的原創(chuàng)文章之外,轉(zhuǎn)載內(nèi)容只為傳遞更多信息,并不代表本網(wǎng)站贊同其觀點。轉(zhuǎn)載的所有的文章、圖片、音/視頻文件等資料的版權(quán)歸版權(quán)所有權(quán)人所有。本站采用的非本站原創(chuàng)文章及圖片等內(nèi)容無法一一聯(lián)系確認版權(quán)者。如涉及作品內(nèi)容、版權(quán)和其它問題,請及時通過電子郵件或電話通知我們,以便迅速采取適當(dāng)措施,避免給雙方造成不必要的經(jīng)濟損失。聯(lián)系電話:010-82306118;郵箱:aet@chinaaet.com。
主站蜘蛛池模板: 国产视频你懂得| 日本网站在线看| 黑人异族日本人hd| 国产美女在线一区二区三区| 韩国r级2020年最新| 精品国产三上悠亚在线观看| 狠狠躁夜夜躁人人爽天天不| 欧美日韩一区二区三区自拍| 日韩精品久久无码人妻中文字幕| 正能量网站不用下载免费观看视频软件 | 在车子颠簸中进了老师的身体| 国产精品露脸国语对白河北| 国产在线观看免费视频软件| 再深点灬舒服灬太大女女| 亚洲日韩乱码中文无码蜜桃臀| 久久午夜无码鲁丝片午夜精品 | 久久91亚洲人成电影网站| 99热都是精品| 青青青激情视频在线最新| 禁忌2电影在线观看完整版免费观看| 欧美在线观看视频一区| 抽搐一进一出gif免费视频| 在现免费看的www视频的软件| 强行交换配乱婬bd| 国产黄色毛片视频| 国产免费啪嗒啪嗒视频看看| 人人澡人人澡人人看| 久久精品女人毛片国产| a级精品国产片在线观看| 国产一区二区三区夜色| 精品一区二区三区四区在线| 最近最新中文字幕免费的一页 | 久久精品国产亚洲AV无码麻豆 | 性生活大片免费看| 国产福利一区二区三区在线观看| 午夜人屠h精品全集| 午夜a级理论片在线播放| 人妻蜜と1~4中文字幕月野定规| 久久精品视频大全| 99久久精品费精品国产| 521色香蕉网站在线观看|