Mixed Signal Functional Verification Methodology for Embedded Non-Volatile Memory Using ESP Simulation