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

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

綠色趨勢打壓6價鉻市場 3價鉻替代技術出線

2007 年 01 月 29 日

圖形背景與排列方向影響偵測效果 穿透光與反射光檢測各擅勝場

2007 年 03 月 02 日

【MCU應用專欄】網路電話大行其道 USB Phone微控制器趁勢而起

2007 年 03 月 29 日

智慧型車輛趨勢成形 高效能汽車電子設計挑戰高

2007 年 04 月 30 日

因應系統主控制器 PCI驅動程式撰寫大不同

2011 年 02 月 10 日

TSN支援整合IT/OT 工業邊緣軟體加速自動化

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