The latest crop of FPGA devices is enormous when compared to ASICs. VerifyingASICs required detailed plans, multiple tools, and special languages. The same isnot necessarily true for FPGAs. This article from Aldec outlines how to verifylarge FPGAs using VHDL and System Verilog.
Learn more about T&VS Verification Futures