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

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

Logic Gate Design發展平台(1)AHDL集中撰寫描述段落

2005 年 10 月 21 日

單週期控制設計奏效 PFC晶片有效縮減電路板空間

2005 年 11 月 14 日

挾技術優越性 DSP車用音訊系統設計搶眼

2007 年 10 月 02 日

備受各國重視 700MHz促進無線通訊/廣電整合

2009 年 06 月 30 日

全被動/半被動模式皆可運作 NFC感測標籤應用大無限

2014 年 06 月 05 日

ISO 26262標準把關  車用IC安全不馬虎

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