MOSFET Models for SPICE Simulation