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

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

半導體設備:提升研磨墊與調節器作用效率 實現CMP製程最佳化

2006 年 01 月 16 日

利用MHz同步交換式充電器 提升鋰電池充電效率

2006 年 03 月 08 日

壓縮解碼效能精進 H.264有助提升影像畫質

2009 年 07 月 29 日

薄化製程良率升級 2.5D矽中介層晶圓成本下探

2013 年 04 月 08 日

SGP4模型家族結合ML 衛星位置估算要快/要準任君選

2025 年 02 月 05 日

SiC固態電池斷路器設計有眉角 中高電壓功率元件效能再升(2)

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