現代IC設計中，隨著設計規模的擴大和復雜度的增長，驗證成為最嚴峻的挑戰之一。在現代ASIC設計中，很難用單一的驗證方法來對復雜芯片進行有效的驗證，為了將設計錯誤減少到可接受的最小量，需要將一系列的驗證方法和工具結合起來。 在64位全定制嵌入式CPU設計過程中，使用了多種驗證技術和方法，并將FPGA驗證作為ASIC驗證的重要補充，加強了設計正確的可靠性。 論文首先介紹了64位CPU的結構，結合選用的Xilinx的Virtex<'lM>-4系列XC4VLX60器件，制定了FPGA驗證策略。根據64位CPU設計的特點，分析和研究了FPGA驗證平臺建立中所遇到的問題：RTL代碼的分割和轉換，FPGA實現中的問題和最后的調試。通過選取合適的器件和工具，根據所定制的驗證策略實現了基于FPGA的64位CPU驗證環境，并利用所建立的驗證環境對CPU進行驗證，包括用ChipScope進行信號追蹤、基于串口的調試機制及用Perl實現驗證的自動化處理。 最后對目前論文工作進行了總結，得出了一些FPGA驗證工作的初步認識。并提出了下一步工作的方向。
