Yang SongHao Yu 0001Sai Manoj Pudukotai DinakarraoGuoyong ShiSRAM dynamic stability verification by reachability analysis with consideration of threshold voltage variation.43-492013ISPDhttps://doi.org/10.1145/2451916.2451927conf/ispd/2013db/conf/ispd/ispd2013.html#SongYDS13