Verilog behavioral models are provided by Macronix for each memory product. The high level language model contains device functionality descriptions and datasheet timing constraints. This allows users to emulate the Macronix device in their system during early development. Verilog models can be simulated using industry-standard digital circuit simulators (e.g. NC-Verilog, VCS) and allow digital circuit simulation and timing verification in the user's application system.