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

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

逆變器改搭cSoC 太陽能系統轉換效率勁揚

2012 年 08 月 06 日

解決VFD接地故障 新一代敏感繼電器扮要角

2018 年 01 月 08 日

混合式工作時代降落 穿戴視訊裝置提升前線效率

2022 年 08 月 04 日

打破孤島困境 TSN帶來數位轉型新契機

2022 年 08 月 11 日

取得電路布局/避免侵權 半導體逆向功程知己知彼

2022 年 08 月 28 日

整合嵌入式系統/神經網絡/邊緣運算 Easy Chat+為障礙者發聲(3)

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