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

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

LCD TV系統量測專欄:液晶電視彩度頻道特性(上)電視訊號失真測試二部曲

2005 年 05 月 05 日

強化影音處理效能 多核心處理器實現數位家庭

2005 年 07 月 13 日

提升嵌入式應用效能 混合訊號處理器嶄露鋒芒

2014 年 05 月 08 日

LESENSE介面降低耗能 IoT無線裝置供電效率提升

2018 年 02 月 24 日

改造舊型卡拉OK Webduino實現手機遙控點歌

2020 年 12 月 06 日

結構光雙目相機感測系統達陣 重構低成本3D影像/深度技術(1)

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