-
Cadence擴(kuò)展JasperGold平臺用于高級形式化RTL簽核
JasperGold形式驗(yàn)證平臺新應(yīng)用Superlint和Clock Domain Crossing助邏輯設(shè)計(jì)人員將IP開發(fā)時(shí)間縮短四周楷登電子(美國Cadence公司)今日正式發(fā)布JasperGold® 形式驗(yàn)證平臺擴(kuò)展版，引入高級形式化驗(yàn)證技術(shù)的JasperGol
JasperGold形式驗(yàn)證平臺新應(yīng)用Superlint和Clock Domain Crossing助邏輯設(shè)計(jì)人員將IP開發(fā)時(shí)間縮短四周楷登電子(美國Cadence公司)今日正式發(fā)布JasperGold® 形式驗(yàn)證平臺擴(kuò)展版，引入高級形式化驗(yàn)證技術(shù)的JasperGol
本站介紹 | 申請友情鏈接 | 歡迎投稿 | 隱私聲明 | 廣告業(yè)務(wù) | 網(wǎng)站地圖 | 聯(lián)系我們 | 誠聘英才
ICP許可證號：京ICP證070360號 21IC電子網(wǎng) 2000- 版權(quán)所有 用戶舉報(bào)窗口（ 郵箱：macysun@21ic.com 電話：010-82165003 ）
