More and more the system verification makes use of hardware emulation techniques that allow a speed up in simulation performance up to thousand times. Typically, a design is composed by several parts, most of them are available as RTL code, other, mainly memories, only like behavioral models. In this scenario coemulation is necessary to verify the heterogeneous system descriptions, but this way most of the advantage of hardware emulation is lost. This paper presents a solution for modeling the analog array of a non volatile memory based on a VHDL synthesizable description. The presented approach relies on static RAMs and ROMs which models for emulation are assumed to be available. The adoption of a synthesizable model for the analog block makes possible the mapping of the entire design on the emulator thus exploiting its performance at full speed for efficient simulation sessions.