SoC設計探索:善用符號式模型檢驗技術 追求系統正確性

作者: 吳榮軒 / 王凡 / 黃耿典
2005 年 04 月 04 日
本文我們將舉例簡單介紹如何利用符號式模型檢驗技術產生即時系統之測試案例。結合兩種方式:測試與符號式模型檢驗,截長補短以追求系統的正確性...
》想看更多內容?快來【免費加入會員】【登入會員】,享受更多閱讀文章的權限喔!
標籤
相關文章

全球共通視訊標準底定 HDMI躍居視訊介面主流

2006 年 07 月 25 日

妥善控制電力以及輸入電流 提升熱插拔過程安全性

2006 年 08 月 28 日

新型模組封裝技術加持 電動車能源利用率再升級

2012 年 02 月 16 日

建立平均模型 返馳轉換器漏電感影響全都露

2016 年 03 月 26 日

關乎總體擁有成本高低  LPWAN網路容量成重要指標

2017 年 02 月 04 日

狀態監控感測器有解 機械智慧預測維護再進化

2019 年 01 月 28 日
前一篇
國際博覽會地球市民村 富士通教IT業如何愛地球
下一篇
飛利浦發表中階液晶電視專用單晶片解決方案