FPGA的驗證（Verification）

邏輯驗證 數字IT的流程規範如下圖所示，在這裏我們關心兩個問題，一個是「Is what i specified what i wanted」，即設計驗證(確認)，另一個關心的問題就是「is what i implemented what i specified」,即實現驗證 一般來講，驗證的工作量較大，驗證工程師的數量一般是RTL設計師的兩倍。因此，現在我們也在研究如何減少驗證工作量，下面提供三種

>>阅读原文<<