Software complexity and what is necessary to achieve SoC verification