引 言 　　目前ASIC设计的规模在不断扩大、复杂度在不断增加，与此同时，日益激烈的竞争使得今天的电子产品市场对产品进入市场的时间极为敏感。如何提高验证的效率已成为一个巨大的挑战。当前对ASIC设计者开放的3个主要验证选择是仿真(emulation)、模拟(simulation)和FPGA原型(prototypes)开发。随着FPGA的门数越来越高，功能越来越强大，使其成为了ASIC验证的强有力工具。 　　Virtex一5 LX系列是Xilinx公司推出的新一代65nm工艺FPGA。它与上一