Modeling and verification of industrial flash memories. - Sandip Ray; Jayanta Bhadra; Thomas Portlock; Ronald Syzdek (ISQED, 2010)