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

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

低功耗MCU發威 智慧手表電池壽命更持久

2013 年 10 月 17 日

掌握MCU軟體設計準則 直流馬達控制精準度升級

2014 年 08 月 24 日

電壓選擇攸關設計成敗 有線UAV電源系統首重靈活性

2016 年 07 月 18 日

兼顧可靠度/資訊安全/電池續航力 萬物聯網帶動智慧城市發展

2016 年 05 月 12 日

MCU結合感測應用多 車用智慧鎖降低機車失竊

2018 年 03 月 22 日

消費型/專業級應用均富潛能 無人機催生多元商機

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