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

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

創造不同使用者體驗 四大觸控螢幕技術各擅勝場

2011 年 01 月 13 日

導入FPGA加速資料運算 智慧型手機效能全面升級

2012 年 04 月 09 日

採用抗ESD/電突波保護元件 安防系統降低電路故障風險

2014 年 12 月 15 日

IoT從消費走向農漁牧業 智慧土壤監測確保環境品質

2019 年 10 月 05 日

保護聯網汽車資安 FOTA更新高效又安全

2019 年 08 月 26 日

精確時間架構形塑5G布建彈性 ePRTC標準解營運商難題

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