Redirecting to Logic synthesis