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

本文我們將舉例簡單介紹如何利用符號式模型檢驗技術產生即時系統之測試案例。結合兩種方式:測試與符號式模型檢驗,截長補短以追求系統的正確性...
2005 年 04 月 04 日