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

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

以延遲鎖相迴路為基礎 超寬頻頻率合成器實現有譜

2008 年 09 月 17 日

硬體模擬器加持 乙太網路SoC測試快又準

2016 年 01 月 28 日

內建4G通訊功能 獨立型穿戴裝置開創應用新局

2016 年 05 月 26 日

遵循三大基礎功夫 晶背FIB電路修補難度降

2019 年 05 月 12 日

穿戴式裝置出新招 智慧織物實現即時照護

2022 年 09 月 12 日

智慧助理導入新資安漏洞 AI提示注入攻擊釀車電隱患

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