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

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

大尺寸應用前景看俏 各式觸控技術蓄勢待發

2010 年 07 月 05 日

DRX節電機制助力 LTE終端裝置節能有一套

2011 年 09 月 15 日

OpenCL開發環境助臂力 FPGA減輕資料中心設計負擔

2015 年 08 月 03 日

滿足效能/外形尺寸需求 扇出型晶圓級封裝技術前景佳

2017 年 05 月 22 日

天線雜訊影響無線產品效能 精準量測鎖定干擾成因(上)

2023 年 02 月 19 日

SmartStart助攻 Z-Wave部署智慧終端更省力

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