哪一種驗證方法最好？形式驗證、硬件加速還是動態仿真？

本文轉自：http://www.eetop.cn/blog/html/28/1561828-513396.html 關於最佳的驗證方法，最近總能在各種文章中看到。這裏希望以一些新的視角來看待這些問題。所以根據一些EDA公司代表對相關問題的回答，總結出本文。   受邀回答問題的代表有：Steve Bailey，Mentor Graphics公司新興技術總監；Dave Kelf，OneSpin解決方案

>>阅读原文<<