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

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

提升量子效率/降低畫素尺寸 背照式CMOS影像感測器崛起

2011 年 03 月 03 日

改善逆變器/電池/監控平台配置 太陽能系統轉換效率再升級

2014 年 07 月 24 日

防止ESD/電流突波損害 開路保護器延長LED燈壽命

2015 年 10 月 12 日

滿足高功率/小體積設計 DPSM優化能源管理決策

2019 年 02 月 12 日

緩解資料移動/存取瓶頸 HBM大幅加速AI應用

2020 年 01 月 31 日

取代傳統矽基元件 SiC力助車載充電器高效運行

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