驗證的方法篇之八：趨勢展望

本文轉自：http://www.eetop.cn/blog/html/28/1561828-445860.html 目前主要的驗證方式包括動態仿真、形式驗證和硬件加速，那麼如何選擇它們，已經是否可以構建一個可複用的驗證平臺實現這些不同驗證方法的跨越是接下來我們需要關心的。隨着設計的尺寸和複雜度在不斷提高，即便有IP複用的方式來縮短設計時間，更多模塊之間的互動可能性也要求更充分地去驗證這些狀態空間。

>>阅读原文<<