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

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

iPhone畫面幕後功臣 3D顯示晶片當之無愧

2010 年 08 月 16 日

迎接巨量資料時代 複數光調變技術加速傳輸速率

2015 年 04 月 13 日

改用熱電式/超音波流量檢測 燃氣表精準/設計靈活度大增

2016 年 02 月 18 日

5G規格陸續拍板 克服NR設計挑戰有訣竅

2018 年 12 月 13 日

數位電源安全/功率密集/高效率達陣 GaN FET/即時MCU相得益彰

2021 年 06 月 20 日

輔助資訊娛樂/資通訊控制/ADAS Wi-Fi 6E導入聯網汽車應用

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