This article from Chip Design describes why the applications of all the verification engines such as formal, simulation, hardware emulation/acceleration are required to tackle the challenges of verifying and validating the hardware design and enables early software development.