用戶登錄 首頁 / 用戶登錄

Cadence推出支援多種語言的形式驗證工具
作者:葛立偉

為了使更多的設計人員也能夠利用形式分析(formal analysis)工具，Cadence公司日前推出了Incisive Formal Verifier，該公司的產品行銷經理Michal Siwinski指出，“這是我們第一項整合了完整設計方法與流程的驗證解決方案。”

請登陸網站閱讀全文>>
電子信箱：
密碼： 登入密碼區分大小寫
記住我的密碼 忘記密碼
 
如果您已經是電子工程專輯旗下網站的註冊用戶，請使用您原有的註冊帳號登入，無須再次註冊

電子工程專輯旗下網站：

最新信息

專題總匯
 •   設計揭密
 •   設計技巧
 •   關鍵數據
 •   線上專題
 •   技術廣角
 •   下載中心
 •   活動訊息
 •   展會報導

熱門關鍵字
 •   RFID
 •   數位相框
 •   gphone
 •   LED
 •   WiMax
 •   MEMS
 •   太陽能電池
返回頁首