现代IC设计中，随着设计规模的扩大和复杂度的增长，验证成为最严峻的挑战之一。在现代ASIC设计中，很难用单一的验证方法来对复杂芯片进行有效的验证，为了将设计错误减少到可接受的最小量，需要将一系列的验证方法和工具结合起来。在64位全定制嵌入式CPU设计过程中，使用了多种验证技术和方法，并将FPGA验证作为ASIC验证的重要补充，加强了设计正确的可靠性。论文首先介绍了64位CPU的结构，结合选用的Xilinx的Virtex^TM-4系列XC4VLX60器件，制定了FPGA验证策略。根据64位CPU设计的特点，分析和研究了FPGA验证平台建立中所遇到的问题：RTL代码的分割和转换，FPGA实现中的问题和最后的调试。通过选取合适的器件和工具，根据所定制的验证策略实现了基于FPGA的64位CPU验证环境，并利用所建立的验证环境对CPU进行验证，包括用ChipScope进行信号追踪、基于串口的调试机制及用Perl实现验证的自动化处理。最后对目前论文工作进行了总结，得出了一些FPGA验证工作的初步认识。并提出了下一步工作的方向。