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

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

LCD TV系統量測專欄:掌握液晶電視顯示圖像特性 解決類比影像訊號受干擾問題

2005 年 11 月 10 日

利用FPGA開發優勢 快速建立視訊系統

2006 年 01 月 27 日

結合即時控制功能/功率/DSP效能<br>新一代MCU嶄露頭角

2009 年 07 月 28 日

實現高速影音即時傳輸 Thunderbolt開創介面新紀元

2012 年 01 月 05 日

克服天線設計/同頻干擾問題 MIMO系統實現多串流應用

2015 年 05 月 11 日

提升雷達探測距離 氮化鎵PA脈衝下降有解(2)

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