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

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

提升新一代視訊應用 視訊轉碼降低資源耗費

2009 年 04 月 06 日

對位/強度控制得宜 繞射波束整形器應用層面廣

2010 年 07 月 29 日

強化基地台合作機制 LTE-A提升網路傳輸效能

2012 年 12 月 15 日

高性能預穩壓器設計出線 高壓電源免除相位故障問題

2015 年 08 月 15 日

結合軟/硬體聯網控制 四足玩具機器人腳步靈活

2020 年 05 月 07 日

波束成型強化低軌衛星訊號傳輸(1)

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