Mosfet models for SPICE simulation, including BSIM3v3 and BSIM4.