MOSFET Models for SPICE Simulation: Including BSIM3v3 and BSIM4