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

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

挾成本效益優勢 ZigBee進軍醫療電子領域

2008 年 05 月 13 日

高光學效率/低功耗特性助勢 DLP加速無邊框顯示器發展

2015 年 11 月 02 日

掌握MOSFET選擇要點 半橋諧振LLC轉換器運作保平安

2016 年 06 月 06 日

強化數據移動時間/方式  RISC-V躋身運算新利器

2018 年 09 月 13 日

感測器連線更靈活/高效 新型ADC為MCU運算分憂

2021 年 09 月 06 日

視障輔具避障引導重建生活 智慧手杖/眼鏡指引安全方向(4)

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