To analyze the saturation performance of IEEE 802.11 DCF, several discrete-time Markov chain models for a station and sets of channel equations have been introduced. We take into account a frame retry limit, freezing of backoff counter, and the dependence of backoff procedure on the previous channel status all together. Our method is simple even though it is accurate under the assumption of no consecutive transmissions over the shared channel.