Redirecting to Hardware verification language