MOSFET Models for SPICE Simulation Including BSIM3v3 and BSIM4