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

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

電信設備網路升級最佳選擇 EoPDH架構乙太網路嶄新技術

2007 年 04 月 30 日

大尺寸磊晶技術突破 GaN-on-Si基板破裂問題有解

2013 年 06 月 06 日

升降壓電池充電器內建MPPT 太陽能系統兼顧效率與成本

2015 年 06 月 13 日

揪出設備異常 智慧監診系統強化鋼廠生產力

2015 年 10 月 01 日

腳底互動裝置助力 VR遊戲體驗身歷其境

2019 年 09 月 07 日

微應力測試突破先進封裝瓶頸(1)

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