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

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

確保通過EMC認證 新型測試儀器擔重任

2011 年 02 月 28 日

具備高度光譜可調性 擬燭光OLED夜燈嶄露鋒芒

2013 年 07 月 01 日

實現遊戲互動/無接觸操作 眼動追蹤成傳統HMI好幫手

2015 年 12 月 07 日

In-Sight視覺系統上陣 醫用塑膠瓶瑕疵無所遁形

2015 年 12 月 05 日

跨入AR/VR元宇宙 即時光線追蹤升級視覺體驗

2022 年 04 月 25 日

低損耗高精度 GaN助力人形機器人突破控制瓶頸

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