BSIM4 and MOSFET modeling for IC simulation : theory and engineering of MOSFET modeling for IC simulation