«Εγχειρίδιο Προγράμματος Atalanta 2.0»

ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΑΤΡΩΝ ΠΟΛΥΤΕΧΝΙΚΗ ΣΧΟΛΗ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ Η/Υ ΚΑΙ ΠΛΗΡΟΦΟΡΙΚΗΣ «Εγχειρίδιο Προγράμματος Atalanta 2.0» Μαργαρίτα Κουτσουπιά Μηχ. Η/Υ και Πληροφορικής ΠΑΤΡΑ 2009

Το Atalanta αποτελεί μία Αυτόματη Γεννήτρια Διανυσμάτων Δοκιμής (Automatic Test Pattern Generator ATP ) και Εξομοιωτή Σφαλμάτων (Fault Simulator) για σφάλματα μόνιμης τιμής (stuck-at faults) σε συνδυαστικά κυκλώματα. Μπορεί κανείς να χρησιμοποιήσει τη συγκεκριμένη γεννήτρια σε περιβάλλον DOS (Windows) και σε περιβάλλον UNIX με μικρές αλλαγές όσον αφορά στα test benches. Στο παρόν εγχειρίδιο θα δοθούν περισσότερες πληροφορίες για την εκτέλεση σε περιβάλλον Windows ενώ για το περιβάλλον UNIX οι εντολές θα έχουν την ίδια μορφή. Το εκτελέσιμο αρχείο για το περιβάλλον UNIX, βρίσκεται μέσα στον ίδιο φάκελο που βρίσκονται και τα υπόλοιπα αρχεία τα οποία χρησιμοποιούνται παρακάτω. Πρέπει να σημειωθεί ότι στο παρόν εγχειρίδιο, το Atalanta θα χρησιμοποιηθεί μόνο για την εξαγωγή διανυσμάτων δοκιμής (ΑTPG). Η εξομοίωση σφαλμάτων θα γίνεται με τη βοήθεια του HOPE (fault simulator). Εκτέλεση σε περιβάλλον Windows (DOS) Σαν πρώτο βήμα πρέπει κανείς να μεταβεί με το command prompt (κονσόλα εντολών), στο συγκεκριμένο φάκελο που είναι αποθηκευμένα τα αρχεία εκτέλεσης του atalanta καθώς και τα αρχεία βιβλιοθηκών και συναρτήσεων που χρησιμοποιεί. Όταν ο χρήστης βρεθεί στο σωστό path, η βασική μορφή εκτέλεσης της εντολής atalanta είναι η εξής: atalanta [options] circuit_file [>outfile] όπου οι παράμετροι options και circuit_file αποτελούν τις επιλογές που παρέχονται ώστε να εξάγονται τα επιθυμητά αποτελέσματα και το όνομα του κυκλώματος που μπαίνει ως παράμετρος στην εντολή atalanta, αντίστοιχα. Προσδιορισμός Αρχείων Σε οποιαδήποτε εκτέλεση της εντολής atalanta που θέλει κάποιος να του επιστραφούν τα δεδομένα γραμμένα σε κάποιο συγκεκριμένο αρχείο, θα πρέπει σε κάθε περίπτωση να δίνει το όνομα του συγκεκριμένου αρχείου, διαφορετικά το αρχείο δε δημιουργείται. Στη συνέχεια παρατίθεται ένας πίνακας με διάφορα ορίσματα που μπορούν να φανούν χρήσιμα. -f fn Το αρχείο με τα σφάλματα διαβάζεται από το fn. Αν δεν έχει οριστεί, όλα τα s-a-faults τίθενται σε μια προκαθορισμένη κατάσταση (default). -t fn Τα διανύσματα ελέγχου γράφονται ή διαβάζονται από το αρχείο fn. (γράφονται σε TPG λειτουργία και διαβάζονται σε λειτουργία εξομοίωσης simulation) 2

-U fn (-u) Το Atalanta γράφει τη λίστα με τα faults που έχει αποβάλει (aborted) (ή δεν έχουν ανιχνευτεί - undetected) στο fn (default: -u και γράφει σε αρχείο που δε δίνεται στη γραμμή εντολών *.ufaults) -v Το Atalanta εκτυπώνει όλα τα ορισμένα redundant faults και τα aborted faults στο fn. Η επιλογή U πρέπει να οριστεί. -l fn Δημιουργείται logfile αρχείο. (default: δε δημιουργείται κανένα logfile αρχείο) Επιλογές ATPG Οι παρακάτω επιλογές δεν έχουν κάποιο ιδιαίτερο νόημα σε λειτουργία εξομοίωσης (-S) Δε θα αναφερθούμε σε αυτή τη λειτουργία στο παρόν εγχειρίδιο. -A Το Atalanta εξάγει όλα τα δυνατά test patterns για κάθε σφάλμα. Με την επιλογή αυτή, οι είσοδοι που δεν έχουν οριστεί παραμένουν ως έχουν (unknown) και δεν εφαρμόζεται εξομοίωση σφαλμάτων. Χρησιμοποιείται ο εξομοιωτής HOPE. Σημείωση: δε λειτουργεί σωστά. Δεν παράγονται όλα τα δυνατά διανύσματα δοκιμής. -D n Το Atalanta εξάγει n διανύσματα δοκιμής για κάθε σφάλμα.. Με την επιλογή αυτή, οι είσοδοι που δεν έχουν οριστεί παραμένουν ως έχουν (unknown) και δεν εφαρμόζεται εξομοίωση σφαλμάτων. Αν ταυτόχρονα ορίζονται τα A και D, εφαρμόζεται το D. Χρησιμοποιείται ο εξομοιωτής HOPE Σημείωση: δε λειτουργεί σωστά. Δεν εξάγονται όλα τα δυνατά διανύσματα δοκιμής. -b n Ο αριθμός των μέγιστων backtracks για τον αλγόριθμο FAN phase 1. (default b 10) -B n Αν ορίζεται η επιλογή Β n (n > 0), το atalanta εξάγει test patterns σε δύο φάσεις. Στη φάση 1, εφαρμόζεται static unique path sensitization. Αν κάποια παραγωγή διανύσματος δοκιμής για ένα σφάλμα έχει απορριφθεί στη φάση 1, συνεχίζει η εξαγωγή διανύσματος στη φάση 2. Στη φάση 2, χρησιμοποιείται η dynamic unique path sensitization. Αν n=0 τότε η φάση 2 δεν εφαρμόζεται. Αν n>0, χρησιμοποιείται η εξαγωγή διανυσμάτων της φάσης 2, με τον n περιορισμό στα backtracks. (default: -B 0, δηλ. η φάση 2 δεν εφαρμόζεται). -H Χρησιμοποιείται το HOPE για εξομοίωση σφαλμάτων. Με αυτή την επιλογή χρησιμοποιούνται 3 λογικές τιμές (1, 0 και Χ) αντί για δύο λογικές τιμές (1 και 0). Εξαιτίας της άγνωστης λογικής τιμής Χ και του παράλληλου αλγόριθμου εξομοίωσης σφαλμάτων, ο χρόνος εξαγωγής των διανυσμάτων δοκιμής είναι μικρότερος από ότι στη default λειτουργία. (default: χρησιμοποιείται ο FSIM, ένας παράλληλος fault simulator, καθώς και δύο μόνο λογικές τιμές). -L Static learning (default: no learning) -c n To atalanta συμπιέζει τα test patterns χρησιμοποιώντας 2 μεθόδους: reverse order compaction 3

και shuffling compaction. Με τη πρώτη μέθοδο, τα test patterns εφαρμόζονται με την αντίθετη σειρά και γίνεται η εξομοίωση σφαλμάτων (reverse order compaction). Με τη δεύτερη μέθοδο, τα διανύσματα ανακατεύονται τυχαία και γίνεται η εξομοίωση σφαλμάτων (shuffling compaction). Κατά την εξομοίωση σφαλμάτων, όσα διανύσματα δεν ανιχνεύουν κάποιο καινούριο σφάλμα, αποβάλλονται. Η επιλογή c n ορίζει το όριο του shuffling compaction. Αν n>0, το shuffling compaction τερματίζει αν n διαδοχικά «ανακατέματα» δεν πετάνε κάποιο διάνυσμα. Αν n=0, δε χρησιμοποιείται το shuffling compaction και η συμπίεση γίνεται μόνο με τη μέθοδο reverse order fault simulation (default: -c 2). -N Δεν εφαρμόζεται συμπίεση δεδομένων. -r n Συμπεριλαμβάνεται Random Pattern Testing (RPT) πριν την ντετερμινιστική εξαγωγή διανυσμάτων δοκιμής (deterministic test pattern genaration). Το RPT σταματάει αν n διαδοχικά πακέτα των 32 τυχαίων διανυσμάτων δεν ανιχνεύουν κάποιο νέο σφάλμα. Αν n=0, το RPT δεν χρησιμοποιείται. (default: -r 16) -s n Αρχικό seed για τη γεννήτρια τυχαίων αριθμών (random()). Αν n=0, το αρχικό seed είναι η τρέχουσα τιμή της ώρας (current time). (default: -s 0 ) -Z Το Αtalanta παράγει ένα διάνυσμα δοκιμής για κάθε σφάλμα. Σε αυτή την επιλογή, δεν εφαρμόζεται καθόλου εξομοίωση σφαλμάτων καθ όλη τη διαδικασία εξαγωγής διανυσμάτων δοκιμής (συμπεριλαμβανομένου random pattern test generation, deterministic test generation και test compaction). Όλες οι είσοδοι που είναι σε απροσδιόριστη κατάσταση παραμένουν ως έχουν. -0, -1, -X, -R Κατά την εξαγωγή διανυσμάτων δοκιμής, κάποιες είσοδοι δεν έχουν προκαθορισμένη τιμή. Το atalanta παρέχει αρκετές δυνατότητες για να θέσει κανείς αυτές τις εισόδους σε συγκεκριμένη τιμή. (default: -R). Επιπλέον επιλογές που παρέχονται από το πρόγραμμα -h f Πληροφορίες για το πως είναι η μορφή της λίστας σφαλμάτων -h g On-line user s guide -h n Πληροφορίες για τη μορφή του netlist (κύκλωμα) -h t Πληροφορίες για τη μορφή του αρχείου με τα διανύσματα ελέγχου -h a Ολόκληρο το εγχειρίδιο on-line. Στο σημείο αυτό να αναφέρουμε πως τα όρια σε κάποιες από τις παραπάνω επιλογές μπορούν να διευρυνθούν εφ όσον ζητηθεί. 4

Μορφή αρχείων BENCH αρχεία Η μορφή του netlist για το atalanta είναι σε γενικές γραμμές τα ISCAS89 με κάποιες μικρές αλλαγές. Η πρώτη σειρά θα πρέπει να περιέχει # ακολουθούμενη από το όνομα του κυκλώματος. Οι γραμμές που ξεκινούν με # εκτός της πρώτης, αποτελούν γραμμές σχολίων και δε λαμβάνονται υπόψιν κατά την επεξεργασία του αρχείου. Οι γραμμές σχολίων μπορούν να τοποθετηθούν οπουδήποτε μέσα στο αρχείο. Επίσης, δεν έχει σημασία η σειρά με την οποία εμφανίζονται οι πύλες μέσα στο αρχείο. Τα ονόματα των πυλών πρέπει να είναι αλφαριθμητικοί χαρακτήρες (0-9, Α-Ζ, a-z, _, [ ή ] ). Οι πύλες που υποστηρίζονται αναφέρονται στη συνέχεια. -------------------------------------------------------------------------------------------------------- Σύνταξη Τύπος Πύλης -------------------------------------------------------------------------------------------------------- INPUT primary input OUTPUT primary output AND and πύλη NAND nand πύλη OR or πύλη NOR nor πύλη XOR 2-εισόδων XOR πύλη BUFF ή BUF buffer NOT αντιστροφέας -------------------------------------------------------------------------------------------------------- ΠΑΡΑΔΕΙΓΜΑ: ISCAS89 NETLIST (c432o.bench) # c432o INPUT(1gat) INPUT(4gat) INPUT(8gat) INPUT(11gat) INPUT(14gat) INPUT(17gat) INPUT(21gat) INPUT(24gat) INPUT(27gat) INPUT(30gat) INPUT(34gat) INPUT(37gat) INPUT(40gat) INPUT(43gat) 5

INPUT(47gat) INPUT(50gat) INPUT(53gat) INPUT(56gat) INPUT(60gat) INPUT(63gat) INPUT(66gat) INPUT(69gat) INPUT(73gat) INPUT(76gat) INPUT(79gat) INPUT(82gat) INPUT(86gat) INPUT(89gat) INPUT(92gat) INPUT(95gat) INPUT(99gat) INPUT(102gat) INPUT(105gat) INPUT(108gat) INPUT(112gat) INPUT(115gat) OUTPUT(223gat) OUTPUT(329gat) OUTPUT(370gat) OUTPUT(421gat) OUTPUT(430gat) OUTPUT(431gat) OUTPUT(432gat) 118gat = NOT(1gat) 119gat = NOT(4gat) 122gat = NOT(11gat) 123gat = NOT(17gat) 126gat = NOT(24gat) 127gat = NOT(30gat) 130gat = NOT(37gat) 131gat = NOT(43gat) 134gat = NOT(50gat) 135gat = NOT(56gat) 138gat = NOT(63gat) 139gat = NOT(69gat) 142gat = NOT(76gat) 143gat = NOT(82gat) 146gat = NOT(89gat) 147gat = NOT(95gat) 150gat = NOT(102gat) 151gat = NOT(108gat) 154gat = NAND(118gat, 4gat) 157gat = NOR(8gat, 119gat) 158gat = NOR(14gat, 119gat) 159gat = NAND(122gat, 17gat) 162gat = NAND(126gat, 30gat) 165gat = NAND(130gat, 43gat) 168gat = NAND(134gat, 56gat) 171gat = NAND(138gat, 69gat) 174gat = NAND(142gat, 82gat) 177gat = NAND(146gat, 95gat) 180gat = NAND(150gat, 108gat) 183gat = NOR(21gat, 123gat) 184gat = NOR(27gat, 123gat) 185gat = NOR(34gat, 127gat) 6

186gat = NOR(40gat, 127gat) 187gat = NOR(47gat, 131gat) 188gat = NOR(53gat, 131gat) 189gat = NOR(60gat, 135gat) 190gat = NOR(66gat, 135gat) 191gat = NOR(73gat, 139gat) 192gat = NOR(79gat, 139gat) 193gat = NOR(86gat, 143gat) 194gat = NOR(92gat, 143gat) 195gat = NOR(99gat, 147gat) 196gat = NOR(105gat, 147gat) 197gat = NOR(112gat, 151gat) 198gat = NOR(115gat, 151gat) 199gat = AND(154gat,159gat,162gat,165gat,168gat,171gat,174gat,177gat,180gat) 203gat = NOT(199gat) 213gat = NOT(199gat) 223gat = NOT(199gat) 224gat = XOR(203gat, 154gat) 227gat = XOR(203gat, 159gat) 230gat = XOR(203gat, 162gat) 233gat = XOR(203gat, 165gat) 236gat = XOR(203gat, 168gat) 239gat = XOR(203gat, 171gat) 242gat = NAND(1gat, 213gat) 243gat = XOR(203gat, 174gat) 246gat = NAND(213gat, 11gat) 247gat = XOR(203gat, 177gat) 250gat = NAND(213gat, 24gat) 251gat = XOR(203gat, 180gat) 254gat = NAND(213gat, 37gat) 255gat = NAND(213gat, 50gat) 256gat = NAND(213gat, 63gat) 257gat = NAND(213gat, 76gat) 258gat = NAND(213gat, 89gat) 259gat = NAND(213gat, 102gat) 260gat = NAND(224gat, 157gat) 263gat = NAND(224gat, 158gat) 264gat = NAND(227gat, 183gat) 267gat = NAND(230gat, 185gat) 270gat = NAND(233gat, 187gat) 273gat = NAND(236gat, 189gat) 276gat = NAND(239gat, 191gat) 279gat = NAND(243gat, 193gat) 282gat = NAND(247gat, 195gat) 285gat = NAND(251gat, 197gat) 288gat = NAND(227gat, 184gat) 289gat = NAND(230gat, 186gat) 290gat = NAND(233gat, 188gat) 291gat = NAND(236gat, 190gat) 292gat = NAND(239gat, 192gat) 293gat = NAND(243gat, 194gat) 294gat = NAND(247gat, 196gat) 295gat = NAND(251gat, 198gat) 296gat = AND(260gat,264gat,267gat,270gat,273gat,276gat, 279gat,282gat,285gat) 300gat = NOT(263gat) 301gat = NOT(288gat) 302gat = NOT(289gat) 303gat = NOT(290gat) 304gat = NOT(291gat) 305gat = NOT(292gat) 306gat = NOT(293gat) 7

307gat = NOT(294gat) 308gat = NOT(295gat) 309gat = NOT(296gat) 319gat = NOT(296gat) 329gat = NOT(296gat) 330gat = XOR(309gat, 260gat) 331gat = XOR(309gat, 264gat) 332gat = XOR(309gat, 267gat) 333gat = XOR(309gat, 270gat) 334gat = NAND(8gat, 319gat) 335gat = XOR(309gat, 273gat) 336gat = NAND(319gat, 21gat) 337gat = XOR(309gat, 276gat) 338gat = NAND(319gat, 34gat) 339gat = XOR(309gat, 279gat) 340gat = NAND(319gat, 47gat) 341gat = XOR(309gat, 282gat) 342gat = NAND(319gat, 60gat) 343gat = XOR(309gat, 285gat) 344gat = NAND(319gat, 73gat) 345gat = NAND(319gat, 86gat) 346gat = NAND(319gat, 99gat) 347gat = NAND(319gat, 112gat) 348gat = NAND(330gat, 300gat) 349gat = NAND(331gat, 301gat) 350gat = NAND(332gat, 302gat) 351gat = NAND(333gat, 303gat) 352gat = NAND(335gat, 304gat) 353gat = NAND(337gat, 305gat) 354gat = NAND(339gat, 306gat) 355gat = NAND(341gat, 307gat) 356gat = NAND(343gat, 308gat) 357gat = AND(348gat,349gat,350gat,351gat,352gat,353gat354gat, 355gat,356gat) 360gat = NOT(357gat) 370gat = NOT(357gat) 371gat = NAND(14gat, 360gat) 372gat = NAND(360gat, 27gat) 373gat = NAND(360gat, 40gat) 374gat = NAND(360gat, 53gat) 375gat = NAND(360gat, 66gat) 376gat = NAND(360gat, 79gat) 377gat = NAND(360gat, 92gat) 378gat = NAND(360gat, 105gat) 379gat = NAND(360gat, 115gat) 380gat = NAND(4gat, 242gat, 334gat, 371gat) 381gat = NAND(246gat, 336gat, 372gat, 17gat) 386gat = NAND(250gat, 338gat, 373gat, 30gat) 393gat = NAND(254gat, 340gat, 374gat, 43gat) 399gat = NAND(255gat, 342gat, 375gat, 56gat) 404gat = NAND(256gat, 344gat, 376gat, 69gat) 407gat = NAND(257gat, 345gat, 377gat, 82gat) 411gat = NAND(258gat, 346gat, 378gat, 95gat) 414gat = NAND(259gat, 347gat, 379gat, 108gat) 415gat = NOT(380gat) 416gat = AND(381gat, 386gat, 393gat, 399gat, 404gat, 407gat, 411gat, 414gat) 417gat = NOT(393gat) 418gat = NOT(404gat) 419gat = NOT(407gat) 420gat = NOT(411gat) 421gat = NOR(415gat, 416gat) 422gat = NAND(386gat, 417gat) 8

425gat = NAND(386gat, 393gat, 418gat, 399gat) 428gat = NAND(399gat, 393gat, 419gat) 429gat = NAND(386gat, 393gat, 407gat, 420gat) 430gat = NAND(381gat, 386gat, 422gat, 399gat) 431gat = NAND(381gat, 386gat, 425gat, 428gat) 432gat = NAND(381gat, 422gat, 425gat, 429gat) TEST PATTERN αρχεία Η μορφή των αρχείων με τα διανύσματα ελέγχου είναι η παρακάτω: * Name of circuit: c499o.bench * Primary inputs : id0 id1 id2 id3 id4 id5 id6 id7 id8 id9 id10 id11 id12 id13 id14 id15 id16 id17 id18 id19 id20 id21 id22 id23 id24 id25 id26 id27 id28 id29 id30 id31 ic0 ic1 ic2 ic3 ic4 ic5 ic6 ic7 * Primary outputs: od0 od1 od2 od3 od4 od5 od6 od7 od8 od9 od10 od11 od12 od13 od14 od15 od16 od17 od18 od19 od20 od21 od22 od23 od24 od25 od26 od27 od28 od29 od30 od31 * Test patterns and fault free responses: 1: 00000000000000000000000000000000000000000 00000000000000000000000000000000 2: 00110101111011010000100000011001001011011 00110101111011010000100000011001 3: 01110001110000100111001010101001100101100 01110001110000100111001010101001 4: 00110101000000000001001000100000001110001 00110101000000000001001000100000 5: 00001010110100101111010100010011101000100 00001010110100101111010100010011 6: 10100001100010101001011011100110011111110 10100001100010101001011011100110 7: 11111011111110111011000001001010010011001 11111011111100111011000001001010 Αν έχει εκτελεστεί εντολή που παράγει περισσότερα από ένα διανύσματα ελέγχου για κάθε σφάλμα, τότε το συγκεκριμένο αρχείο θα έχει την εξής μορφή (4 διανύσματα για κάθε σφάλμα) : * Test patterns and fault free responses: wh->e31 /1 1: x0xx0000x0xx0000xxx1xxx000000000x0xxxxx0x x0xxx0xxx0xxx0xxxxxxxxxx00000000 2: x0x00000x0x01000xxx1100000000001x0x0xxx0x x0x0xxx0x0x0xxx0xxx11000xxxx0001 3: 10x1000010x01000101110000000000100x0xxx0x 10x1000010x010001011100000000001 4: 001100001000100010111000000000010010xxx01 00110000100010001011100000000001 s7->e31 /1 1: 0000000000000000000000000101000100000000x 00000000000000000000000001010101 2: 0000000000000000000100100001000000000000x 00000000000000000001001000010010 3: 0000000000000000000100010100000000000000x 00000000000000000001000101000100 4: 0000000000000000000000110000000100000000x 00000000000000000000001100000011 e31 /1 1: xxxx0000xxxx0000xxx0xxx0xxx0xxx0xxxxxxx0x xxxx0000xxxx0000xxx0xxx0xxx0xxx0 9

2: x0xx0000x0xx0000xxx0xxx000000011x0xxxxx0x x0xxx0xxx0xxx0xxxxxxxxxx00000011 3: x0x00000x0x00000xxx0100000000111x0x0xxx0x x0x0xxx0x0x0xxx0xxx01000xxxx0111 4: 10x1000000x00000100010000000011100x0xxx0x 10x1000000x000001000100000000111 id31->od31 /1 1: xxxx0000xxxx0000xxx0xxx0xxx0xxx0xxxxxxx0x xxxx0000xxxx0000xxx0xxx0xxx0xxx0 2: x0xx0000x1xx0100xxx0xxx000000000x0xxxxx0x x0xxx0xxx1xxx1xxxxxxxxxx00000000 3: x0x00000x1x00100xxx0100000000100x0x0xxx0x x0x0xxx0x1x0xxx0xxx01000xxxx0100 4: 10x1000001x00100100010000000010000x0xxx0x 10x1000001x001001000100000000100 ABORTED FAULTS αρχεία (*.ufaults) Παράδειγμα για > atalanta -0 -D 5 -u c499o.bench s4->wa /1 s6->wa /1 t2 /0 t1 /0 t0 /0 e2 /0 e3 /0 s4->wb /1 s7->wb /1 s5->wc /1 s6->wc /1 s5->wd /1 s7->wd /1 s0->we /1 s2->we /1 t6 /0 t5 /0 t4 /0 e18 /0 e19 /0 s0->wf /1 s3->wf /1 s1->wg /1 s2->wg /1 s1->wh /1 s3->wh /1 10

FAULT LIST ----------------------------------------------------------------------------------- gate_a->gate_b /1 gate_a->gate_b /0 gate_a /1 gate_b /1 -------------------------------------------------------------------------------------------- Τα gate_a και gate_b είναι τα ονόματα των πυλών. Η πρώτη γραμμή, gate_a->gate_b /1 περιγράφει stuck-at 1 fault στη gate_b που είναι συνδεδεμένη με τη gate_a. Παρόμοια, η δεύτερη γραμμή περιγράφει stuck-at 0 fault στη gate_α που είναι συνδεδεμένη με τη gate_β. Η τρίτη και η τέταρτη γραμμή περιγράφουν stuck-at 1 faults στις εξόδους των πυλών gate_a και gate_b αντίστοιχα. Στη συνέχεια δίνονται κάποια παραδείγματα για την καλύτερη κατανόηση των ανωτέρω. Παραδείγματα > atalanta c499o.bench Εξάγει τα διανύσματα δοκιμής για το κύκλωμα c499o.bench με τις default επιλογές και τα αποθηκεύει σε ένα αρχείο c499o.test (*.test). 11

> atalanta c499o.bench -l c499o.log Εξάγει τα διανύσματα δοκιμής όπως και προηγουμένως αλλά δημιουργεί ταυτόχρονα ένα log αρχείο στο οποίο καταγράφονται όλες οι πληροφορίες για τη διαδικασία εξαγωγής διανυσμάτων. Αναφέρονται τα διανύσματα δοκιμής, η απόκριση του κυκλώματος σε κάθε διάνυσμα, πόσα σφάλματα έχει ανιχνεύσει κάθε διάνυσμα, καθώς και τη λίστα με τα redundant faults. 12

> atalanta D 3 c499o.bench Παράγει 3 διανύσματα δοκιμής για κάθε σφάλμα. Αποθηκεύονται επίσης στο default αρχείο *.test μιας και δεν ορίζεται διαφορετικό output file. Στα στοιχεία που επιστρέφονται μετά την εκτέλεση της εντολής, όπως φαίνεται και στη συνέχεια, υπάρχουν πληροφορίες για τα στοιχεία του κυκλώματος, τις παραμέτρους με τις οποίες λειτουργεί κάθε φορά η διαδικασία εξαγωγής διανυσμάτων δοκιμής, τα αποτελέσματα της διαδικασίας, καθώς δίνονται και 13

πληροφορίες ενημερωτικά στο χρήστη, για τη χρήση της μνήμης που έχει χρησιμοποιηθεί και πόσο χρόνο πήρε η κάθε διαδικασία. (Στο logfile περιλαμβάνονται και αυτές οι πληροφορίες). > atalanta D 3 U c499o.faults c499o.bench Παράγονται ξανά 3 διανύσματα ελέγχου για κάθε σφάλμα και δημιουργείται ένα αρχείο το όνομα του οποίου δίνεται στη γραμμή εντολών (c499o.faults) στο οποίο αποθηκεύονται τα σφάλματα που αποβάλλονται (aborted). Αν δεν υπάρχουν τέτοια σφάλματα (μπορεί κανείς να δει αν υπάρχουν ή όχι στις πληροφορίες που επιστρέφονται με το τέλος εκτέλεσης της εντολής), δε δημιουργείται τέτοιο αρχείο. 14

Τα ίδια αποτελέσματα θα είχε και η εκτέλεση της εντολής atalanta D 3 u c499o.bench μόνο που σε αυτή τη περίπτωση το αρχείο στο οποίο αποθηκεύεται η επιστρεφόμενη πληροφορία δημιουργείται από default, και έχει κατάληξη *.ufaults (όπου * αποτελεί το όνομα του κυκλώματος). > atalanta b 20 c499o.bench Παράγει διανύσματα δοκιμής αλλά για το FAN αλγόριθμο χρησιμοποιεί μέγιστο αριθμό από backtracks ίσο με 20 (αντί για 10 που είναι η default τιμή). > atalanta -r 0 c499o.bench Παράγει τα διανύσματα ελέγχου αλλά δε χρησιμοποιεί καθόλου Random Pattern Testing. Στο πεδίο Test Pattern Generation Mode που εμφανίζεται στη συνέχεια, μπορεί κανείς να παρατηρήσει ότι λείπει ο όρος RPT και υπάρχουν μόνο οι όροι DTPG και TC (Deterministic Test Pattern generation και Test Compaction). 15

16