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

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

光譜調變技術啟動補償機制 LED照明顏色更均勻

2013 年 12 月 09 日

連結雲端運算服務 LTE開創車載娛樂系統新應用

2014 年 01 月 11 日

PMIC內建動態電源路徑管理功能 行動裝置延長電池壽命

2015 年 03 月 09 日

混合驅動為趨勢 48V實現汽車電氣化創新

2018 年 11 月 15 日

優化系統量測校正/簡化設計 穿戴裝置血氧量測更精準

2021 年 11 月 01 日

Silent Switcher/LDO穩壓器聯手贊聲 超音波電源軌改善圖像品質

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