Formal Modeling and Verification of NAND Flash Memory Supporting Advanced Operations.

Shivani Tripathy, Debiprasanna Sahoo, Manoranjan Satpathy, Srinivas Pinisetty

Browse the full ICCD paper archive.