Loop flattening & spherical sampling: Highly efficient model reduction techniques for SRAM yield analysis