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

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

2004手機用相機模組技術發展回顧 畫素突破500萬大關 朝向小型化及低耗電發展

2005 年 03 月 02 日

太陽能輔助供電再上層樓 DPPM強化鋰電池充電效率

2007 年 08 月 24 日

善用EVP與應用處理器 多模LTE協定軟體開發加速

2013 年 01 月 17 日

降低MTP移動時間延遲  VR視野穩定不頭暈

2017 年 01 月 03 日

人工智慧加持升級 智慧戒指推出市場試水溫

2017 年 06 月 12 日

揮發性化合物氣體感測 空氣品質監控有一套

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