Theoretical analysis of bus-invert coding for reducing switching activity was previously investigated. In this paper we conduct a theoretical analysis of this method for coupling reduction. Closed-form formulas are derived to compute the number of couplings per bus transfer for a non-partitioned versus a partitioned bus. Our contribution complements the work done previously and helps establish a sound theoretical foundation for bus-invert coding.