This lecture covers the upper transistor switching in a NAND gate and effective current model for that.