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

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

寬頻通訊新寵兒(二):EPON

2004 年 10 月 15 日

降低設計門檻 MCU實現類比電源供應器

2007 年 07 月 26 日

材料與製程挑戰有解 可撓式AMOLED商用可期

2013 年 02 月 04 日

軟性電子前景可期 新興材料群雄並起

2017 年 10 月 30 日

優化熱量管理/電感量測效率 VCSEL光脈衝測試精準到位

2020 年 09 月 03 日

AI影像辨識/預測助攻生物保育 動物分析追蹤系統大進化(1)

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