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

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

實現高效能電源轉換器 HVIC性價比亮眼

2011 年 10 月 27 日

超低功耗元件技術成熟 能源採集系統實現自我供電

2014 年 03 月 03 日

慎選石英晶體負載電容值 時序晶片確保精確性/可靠度

2015 年 08 月 20 日

廣播擴展功能更強大 藍牙5成信標設計利器

2018 年 12 月 03 日

CATR抓得住毫米波訊號 5G OTA測試/校準真穩當

2019 年 07 月 21 日

車用功率MOSFET遇散熱挑戰 頂部散熱強化熱管理

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