Mathematical model of HIV/AIDS with two different stages of infection subpopulation has been established. The two stages in infection subpopulation are an HIV-positive with consuming ARV such that this subpopulation can survive longer and an HIV-positive without consuming ARV stage. An HIV-positive without consuming ARV can transform into the compartment of full-blown AIDS,  the compartment of treatment, or the compartment of HIV-positive with or without consuming ARV again when the treatment is failed. The global dynamic of the HIV/AIDS model is determined by the basic reproduction number . The disease-free equilibrium is globally asymptotically stable if . The endemic equilibrium is globally asymptotically stable if . To support the analytical results, numerical simulation is conducted.