an efcient fully nonlinear variability aware non monte carlo yield estimation procedure with applications to sram cells and ring oscillators 993