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

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

EDA環境銜接量測軟體 電子產品開發週期大幅縮短

2013 年 06 月 24 日

低功耗無線和感測技術更完備 行動醫療創新應用遍地開花

2015 年 06 月 25 日

晶片級變壓器隔離技術護體 數位電源運作更可靠

2015 年 01 月 08 日

借力BiCMOS製程 超音波接收器實現低雜訊/功耗

2015 年 12 月 03 日

彈性部署/降低成本/減碳 微電網優化資料中心供電(上)

2021 年 01 月 11 日

落實規畫/安裝/驗證三階段 分布式天線優化室內通訊品質

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