A method of generating and verifying a memory test is disclosed. A simulator is used to verify that the sequence of time-ordered commands complies with a set of operating constraints for the memory. A packer may thereafter be used to optimize run time of the verified test.

Un método de generar y de verificar una prueba de la memoria se divulga. Un simulador se utiliza para verificar que la secuencia de comandos tiempo-pedidos se conforma con un sistema de los apremios de funcionamiento para la memoria. Un embalador puede ser utilizado después de eso para optimizar el tiempo de pasada de la prueba verificada.