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

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

高齡獨居問題日益嚴重 無線感測網路把關照護工作

2008 年 06 月 25 日

突破安全/電磁干擾問題 車載無線充電器設計達陣

2015 年 12 月 21 日

高彈性/相容性加持 ISA100.11a串聯智慧工廠

2019 年 04 月 08 日

無線充電發展尚未定案 快充/公共布建是普及重點

2018 年 01 月 15 日

公共運輸減碳刻不容緩 重型車輛電動化多路齊發

2022 年 08 月 08 日

NVIDIA Rubin CPX重新定義長文本模型處理極限

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