ARM already had tons of DV engineers. No company would license the RTL or any IP unless it has already been run through millions of simulations in DV.