Yang Song, Hao Yu, Sai Manoj Pudukotai Dinakarrao. Reachability-Based Robustness Verification and Optimization of SRAM Dynamic Stability Under Process Variations. IEEE Trans. on CAD of Integrated Circuits and Systems, 33(4):585-598, 2014. [doi]
Abstract is missing.