Yes you are correct, the power used to switch a transistor is P = a * V2 * C * f.

The static power dissipation from leakage currents though is Ileak = Isat * (e(qV/kT)-1).

http://www.siliconintelligence.com/people/binu/perception/no...