A robustness optimization of SRAM dynamic stability by sensitivity-based reachability analysis | IEEE Conference Publication | IEEE Xplore