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

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

因應物聯網個別量測需求 軟體平台讓測試更聰明

2016 年 10 月 27 日

高壓電源模組轉換率高兼顧安全 繫留無人機新興應用超展開

2020 年 11 月 07 日

破壞式創新建立新典範 5G NR專網實現智慧醫療

2022 年 12 月 11 日

採用TEM分析晶體結構 AlGaN磊晶光學性質再強化

2022 年 12 月 29 日

智慧能源管理強化充電樁效率 整合電力分配/儲能/再生能源(3)

2024 年 07 月 10 日

結合歐拉方法與雅可比矩陣 衛星位置估測更精準(3)

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