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

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

實現MCU與DSP雙重角色 整合型媒體處理器現身

2005 年 10 月 21 日

加入深度記憶體 示波器擷取時間/取樣率大增

2013 年 03 月 17 日

標準涵蓋智慧家庭/電網 HomePlug應用版圖全面擴張

2014 年 05 月 29 日

實現高精度360度全景偵測 3D LiDAR提高車輛自動化性能

2015 年 05 月 04 日

五大工程領域落實數位化 軟體模擬/預測助力智慧製造

2021 年 12 月 02 日

覆晶封裝導入銅柱技術 可靠度評估不可輕忽

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