It is well known that the mathematical models provide very important information for the research of human immunodeciency virus type. However, the infection rate of almost all mathematical models is linear. The linearity shows the simple interaction between the T-cells and the viral particles. In this paper, a differential equation model of HIV infection of $CD4^+$ T-cells with Crowley-Martin function response is studied. We prove that if the basic reproduction number $R_0$ < 1, the HIV infection is cleared from the T-cell population and the disease dies out; if $R_0$ > 1, the HIV infection persists in the host. We find that the chronic disease steady state is globally asymptotically stable if $R_0$ > 1. Numerical simulations are presented to illustrate the results.