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

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

具價格低/可重複燒錄特性 HT48E50試作電子遊戲機

2007 年 05 月 31 日

降壓轉換提供定電流輸出 高亮度LED電路設計有譜

2008 年 03 月 05 日

傳輸量/顯示功能倍增 DisplayPort1.2瞄準CE

2011 年 01 月 03 日

監視VCSEL光功率 全新鏡片陣列應運而生

2011 年 01 月 17 日

與WLAN技術緊密結合 MEMS模組增強室內定位精準度

2013 年 06 月 03 日

借力超接合面MOSFET 電機驅動應用功率轉換效能增

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