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

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

遵循ZigBee Light Link標準 無線照明控制簡單又精準

2014 年 01 月 11 日

高速介面要求日益嚴苛  連接器設計製造難度攀升

2016 年 11 月 24 日

助力裝置製造/程式應用開發 藍牙5.3加速無線聯網互通

2021 年 11 月 04 日

兼顧系統可靠性/效能 溫度感測器尺寸與配置神助攻

2021 年 11 月 21 日

車輛電氣化進程飛快 FPGA強力支援汽車智慧化

2023 年 01 月 19 日

體積小/高度低/使用壽命長 觸控開關滿足消費性/工業需求

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