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

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

數位電視呼聲高漲 單晶片整合考驗重重

2008 年 07 月 30 日

光纖絕緣特性助威 風力發電系統安全性升級

2012 年 07 月 26 日

濕式蝕刻技術助力 TSV顯露製程成本再下降

2016 年 07 月 16 日

高速LED閃光驅動有斬獲 機器視覺動態感測力升級

2018 年 10 月 04 日

克服汽車照明電子設計挑戰 LED驅動器重要性與日俱增

2019 年 05 月 02 日

簡單/雙向/彈性溝通 I²C協定串接晶片間通訊

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