Verification Process for Digital IC Design