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.
Μια μέθοδος και μια δοκιμή μνήμης αποκαλύπτεται. Ένας προσομοιωτής χρησιμοποιείται για να ελέγξει ότι η ακολουθία χρόνος-διαταγμένων εντολών συμμορφώνεται με ένα σύνολο λειτουργούντων περιορισμών για τη μνήμη. Ένας συσκευαστής μπορεί έκτοτε να χρησιμοποιηθεί για να βελτιστοποιήσει το χρόνο τρεξίματος της ελεγχμένης δοκιμής.