Qualitative analysis for the model of HIV infection in vivo presented by Perelson and Nelson are developed. The local stability analysis is done for the interior equilibrium, and it is shown that, for some paramter value, the interior equilibrium can be unstable and a Hopf bifurcation can occur. It is shown that the boundary equilibrium is globally asymptotically stable. Last, it is shown that this system is permanent.