数字IC验证完成后,接下来会进行哪些具体而深入的验证工作?