JasperGold形式驗證平臺新應用Superlint和Clock Domain Crossing助邏輯設計人員將IP開發時間縮短四周 楷登電子（美國Cadence公司，NASDAQ： CDNS）今日正式發佈JasperGold® 形式驗證平臺擴展版，引入高級形式化驗證技術的JasperGold Superlint和Clock Domain Crossing （CDC）應用，以滿足JasperGold形式驗證技術在RTL設計領域的籤核要求。
公司信息:
Cadence－楷登電子
閱讀全文
JasperGold形式驗證平臺新應用Superlint和Clock Domain Crossing助邏輯設計人員將IP開發時間縮短四周 楷登電子（美國Cadence公司，NASDAQ： CDNS）今日正式發佈JasperGold® 形式驗證平臺擴展版，引入高級形式化驗證技術的JasperGold Superlint和Clock Domain Crossing （CDC）應用，以滿足JasperGold形式驗證技術在RTL設計領域的籤核要求。
公司信息:
Cadence－楷登電子
閱讀全文