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

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

具小體積/低成本/高彈性優勢 PoP封裝層疊風潮興

2009 年 02 月 27 日

結合電壓控制與恆定導通時間拓撲 STVCOT提升電源轉換器性能

2013 年 01 月 06 日

低壓電流感測控制器助力 電源回授/保護設計效率增

2013 年 01 月 13 日

減少漏電感阻尼效應 CCM返馳轉換器增進轉換效率

2016 年 02 月 07 日

DOCSIS 4.0上行/下行全面優化 GaN升級纜線數據機放大器

2022 年 01 月 27 日

溫度監控確保系統安全 熱敏電阻主攻精密溫控

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