MENTOR GRAPHICS QUICKFAULT II
4. Πρoσθήκη των σφαλμάτων (Adding the Faults)
1. Κλικ στο σχηματικό παράθυρο. Το περιθώριο θα τονιστεί μπλε. Από το Edit μενού, επιλέξτε Edit>Select>All>Nets. Όλα τα nets πρέπει να επιλεχθούν όπως φαίνεται στη Figure 9. Μπορείτε να δείτε τον συνολικό αριθμό των nets επιλέγοντας SELECT COUNTS από τη setup παλέττα. Θα εμφανίσει τον αριθμό των επιλεγμένων nets στο κάτω μέρος του session παραθύρου. Δηλαδή πρέπει να δείτε τη σειρά, 156 Faults added; 16 FDB already in database.
Figure 9.
Figure 10
5. Προετοιμασία της εξομοίωσης (Setting up the Simulation)
1. Επιλέξτε στο σχέδιο όλες τις κύριες (primary) εισόδους. Όλες οι πόρτες πρέπει να είναι πιο έντονα φωτισμένες (highlighted), όπως φαίνεται στη Fig 11.
Figure 11
Figure 12
3. Υπάρχουν δύο τρόποι για να δώσετε δοκιμαστική διέγερση. Ο πρώτος τρόπος είναι να το δώσετε manually. Ο δεύτερος είναι να το φορτώσετε από ένα αρχείο. Σκόπιμα γι’ αυτό το tutorial θα φορτώσουμε τη διέγερση από ένα προκαθορισμένο force αρχείο. Δια μέσου δύο παραδειγμάτων θα δημιουργήσουμε τη διέγερση χρησιμοποιώντας CLK και RESET.
Επιλέξτε UNSELECT ALL από τη μενού παλέτα.
4. Επιλέξτε forces@/CLK στο trace παράθυρο.
5. Επιλέξτε Stimulus από την Waveform editor παλέτα.
6. Κλικ στο ADD CLOCK και θα εμφανιστεί ένα πλαίσιο διαλόγου όπως αυτό στην Figure 13. Πληκτρολογήστε 100 για CLOCK PERIOD και 5000 για STOP TIME και μετά κλικ ΟΚ.
Figure 13
7. Επιλέξτε UNSELECT ALL από τη μενού παλέτα.
8. Επιλέξτε forces@/RESET από το trace παράθυρο.
9. Από την Stimulus παλέττα, επιλέξτε ADD FORCE. Για value και time, εισάγετε τις τιμές που φαίνονται στη Figure 14.
Figure 14
Τα αποτελέσματα που θα εμαφανιστούν στο trace παράθυρο, φαίνονται στη Fig 15.
Figure 15
10. Αμέσως μετά, θα φορτώσουμε το υπόλοιπο από τη διέγερση από ένα FORSE αρχείο. Επιλέξτε SETUP>FORCE>FROM FILE. Οδηγηθείτε στο αρχείο ud_counter.force. Θα εμφανιστεί ένα πλαίσιο διαλόγου όπως αυτό της Figure 16.
Figure 16
Τα αποτελέσματα που βλέπετε στο Trace παράθυρο πρέπει να είναι ίδια με αυτά στη Figure 17.
Figure 17
6. Προετοιμασία του Ελέγχου (Setting up the Test)
1. Από την μενού παλέτα, επιλέξτε το SETUP μενού.
2. Επιλέξτε όλα τα σημεία εισόδου - εξόδου από το σχηματικό παράθυρο.
3. Από την setup μενού παλέτα, επιλέξτε SETUP PO TESTS. Θα εμφανιστεί ένα πλαίσιο διαλόγου όπως αυτό της figure 18. Βεβαιωθείτε ότι τα Turn Detected, Selected nets and Full είναι on. Στο πλαίσιο After a delay of εισάγετε 90.
Figure 18
4. Κλικ στο Setup Cycles και μετά Add New Cycles. Θα εμφανιστεί ένα πλαίσιο Add Cycle Dialog, όπως φαίνεται στη Figure 19. Δώστε το cycle name ως cycle1 και την κυκλική περίοδο ( cycle period) ως 100.
Figure 19
5. Κλικ πάλι στο Setup Cycles και κλικ στο Enable test1. Ένα πλαίσιο διαλόγου θα εξαφανιστεί όπως φαίνεται παρακάτω στη Figure 20. Κλικ στο ΟΚ. Αφού γίνει αυτό, πρέπει το cycle1 100 να εμφανιστεί στο πλαίσιο cycle name της Figure 18.
Figure 20
Κλικ στο ΟΚ και θα ‘κλείσει’ το πλαίσιο διαλόγου SETUP PO TEST.
Επιστροφή στα
περιεχόμενα του Quickfault II
8.
Έκθεση και Αποθήκευση των
αποτελεσμάτων