Invia SMS: Modeling and simulation of transistor and circuit variability and reliability