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

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

可編程MEMS振盪器提升行動裝置設計彈性

2009 年 11 月 30 日

瞄準高解析度螢幕需求 新數位影像介面鬥法

2012 年 05 月 31 日

使用兩點增益演算法校正 DAC積分非線性誤差銳減

2012 年 05 月 17 日

雙通道同步降壓PWM控制器發功 數位電源管理系統效率升級

2015 年 01 月 17 日

無線技術創新大舉出籠 5G空中介面全面進化

2017 年 03 月 09 日

AI結合光學/運算技術 OCR文字辨識準確無礙

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