ΗΜΥ211 Εργαστήριο Ψηφιακών Συστημάτων Behavioral & Mixed VHDL Architectures Finite State Machines in VHDL Διδάσκων: Γιώργος Ζάγγουλος Πανεπιστήμιο Κύπρου Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών
ΣΗΜΑΝΤΙΚΟ: 1. Στο επόμενο εργαστήριο θα αξιολογηθείτε για το υπόλοιπο 7,5%. Η ύλη του quiz είναι η κατανόηση της τελικής εργασίας και τα ακολουθιακά κυκλώματα. 2. Χρησιμοποιήστε το dffe flip-flop το οποίο διαθέτει και είσοδο enable στους καταχωρητές της τελικής εργασίας και στην άσκηση 7. 3. Πλησιάζει η παράδοση των Εργασιών για Βελτίωση Βαθμού!!!! Ενημερώστε τον διδάσκοντα για την εργασία σας! Γ.Ζ. - 2
Ατζέντα 1. Στόχοι 12 ου Εργαστηρίου 2. Περιγραφή Συμπεριφοράς Behavioral Architecture 3. Υβριδική Περιγραφή Mixed Architecture 4. Μηχανές Πεπερασμένων Καταστάσεων Moore & Mealy 5. Ανάλυση 7 ης εργαστηριακής άσκησης 6. Σχεδιασμός 7 ης άσκησης στο εργαστήριο Γ.Ζ. - 3
Στόχοι Εργαστηρίου Με την ολοκλήρωση αυτού του εργαστηρίου, θα πρέπει να είστε σε θέση: 1. Να υλοποιείτε κυκλώματα με behavioral and mixed architectures σεvhdl. 2. Να γνωρίζετε τις διαφορές μεταξύ Μηχανών Πεπερασμένων Καταστάσεων τύπου Moore & Mealy. 3. Nα σχεδιάζετε κυκλώματα που περιγράφουν Μηχανές Πεπερασμένων Καταστάσεων στο Quartus. 4. Να δημιουργείτε κατάλληλα αρχεία προσομοίωσης για έλεγχο γενικά των ακολουθιακών κυκλωμάτων. Γ.Ζ. - 4
Τρόποι Περιγραφής στην VHDL Δομής (Structural) Το ψηφιακό σύστημα περιγράφεται ως συνδέσεις μεταξύ διακριτών στοιχείων Ροής Δεδομένων (Dataflow) Το ψηφιακό σύστημα περιγράφεται ως ταυτόχρονες αναθέσεις τιμών σε σήματα Συμπεριφορά (Behavioral) Το ψηφιακό σύστημα περιγράφεται ως σειρά από εντολές Υβριδικός (Mixed) Χρήση πολλαπλών τρόπων περιγραφής για ένα σύστημα Γ.Ζ. - 5
Behavioral VHDL Μια αρχιτεκτονική τύπου behavioralπεριγράφει την υλοποίηση της οντότητας ως μια σειρά από εντολές Οι εντολές αυτές υποχρεωτικά περιγράφονται μέσα σε process(διαδικασία) Hπεριγραφή behavioralμπορεί να χρησιμοποιηθεί για να υλοποιήσει τόσο συνδυαστικά όσο και ακολουθιακά κυκλώματα Τα processes είναι τρομερά χρήσιμα για την υλοποίηση FSM(Μηχανές Πεπερασμένων Καταστάσεων) Γ.Ζ. - 6
Behavioral Architecture of Decoder2-4 architecture DEC2x4_BEHAVORIAL of DEC2x4 is begin process (A,B,EN) variable Abar,Bbar : BIT; begin Abar := not A; Bbar := not B; if (EN= 1 ) then Z(0) <= not (Abar and Bbar); Z(1) <= not (Abar and B); Z(2) <= not (A and Bbar); Z(3) <= not (A and B); else Z<= 1111 ; end if; end process; end DEC2x4_BEHAVORIAL; Γ.Ζ. - 7
Behavioral Architecture of Decoder2-4 architecture DEC2x4_BEHAVORIAL of DEC2x4 is begin process (A,B,EN) variable Abar,Bbar : BIT; begin Abar := not A; Bbar := not B; if (EN= 1 ) then Z(0) <= not (Abar and Bbar); Z(1) <= not (Abar and B); Z(2) <= not (A and Bbar); Z(3) <= not (A and B); else Z<= 1111 ; end if; end process; end DEC2x4_BEHAVORIAL; Μια processέχει και αυτή τμήμα δηλώσεων. Εδώ δηλώνουμε variables και όχι signals!!!!! Τα signalsείναι πραγματικές συνδέσεις στο κύκλωμα μας, ενώ τα variables είναι εσωτερικές μεταβλητές μιας «αφηρημένης» περιγραφής (δλδ. ενός process) Οι εντολές που βρίσκονται εντός του process, αν και περιγράφονται σειριακά, εκτελούνται χωρίς καθυστέρηση. Οι εντολές ενός process εκτελούνται κάθε φορά που έχουμε αλλαγή στα σήματα που αναφέρονται στις παρενθέσεις δίπλα από to process. Όταν τελειώσει η εκτέλεση, το process μπαίνει σε αναμονή μέχρι την επόμενη αλλαγή σε κάποιο σήμα στην λίστα. Γ.Ζ. - 8
Mixed Architecture of a Full Adder architecture FA_Mixed of FULL_ADDER is component XOR2 port (IN1,IN2: in BIT; \OUT\: out BIT); end component; signal S1:BIT; begin X1: XOR2 port map (A,B,S1); --structural Σειριακή Ανάθεση process (A,B,EN) variable T1,T2,T3:BIT; begin T1:= A and B; T2:= B and Cin; T3:= A and Cin; Cout<= T1 or T2 or T3; end process; Sum <= S1 xor Cin; --dataflow end FA_Mixed; Παράλληλη Ανάθεση --behavioral Structure Dataflow Behavioral Γ.Ζ. - 9
Σημαντικό για την VHDL Structure Dataflow Behavioral Όλες οι εντολές τηςvhdl (port map, ανάθεση, process) στο παράδειγμα εκτελούνται παράλληλα. Δεν έχει σημασία η σειρά στον κώδικα μας. Αν και η εντολή process εκτελείταιπαράλληλα, το περιεχόμενο της είναι σειριακό. Η behavioralπεριγραφή είναι πιο κοντά στην λεκτική περιγραφή που θα δίναμε εμείς για το κύκλωμα, ενώ οι structure και dataflow αντιστοιχούν σε περιγραφή του πραγματικού κυκλώματος. Γ.Ζ. - 10
Μηχανές Πεπερασμένων Καταστάσεων FSM τύπου Moore FSM τύπου Mealy Οι μηχανές πεπερασμένων καταστάσεων περιγράφουν συστήματα που έχουν προκαθορισμένη συμπεριφοράπου εξαρτάται από την παρούσα κατάστασητου συστήματος και τις τιμές στις εισόδους του. Ο έλεγχος και η μετάβαση σε επόμενη κατάσταση γίνεται σε διακριτά χρονικά διαστήματα που δίνονται από ένα ρολόι => Τα FSM είναι Ακολουθιακά Κυκλώματα Υπάρχουν δύο δημοφιλείς τύποι FSM : Moore & Mealy Η διαφορά είναι στο «τι καθορίζει τις τιμές στις εξόδους» Output for Moore => State, Output for Mealy => State, Inputs gz1 Γ.Ζ. - 11
Slide 11 gz1 george zaggoulos; 19/11/2018
Παράδειγμα Μηχανών Moore & Mealy FSM τύπου Moore FSM τύπου Mealy ΠΡΟΒΛΗΜΑ: Θέλω ένα κύκλωμα ελέγχου φωτισμού. Μόλις εκκινήσω το σύστημα θέλω τα φώτα να ανάβουν και να μπορώ να τα αναβοσβήνω με την χρήση κατάλληλων κομβίων σε διάφορα σημεία στο χώρο. Μπορώ να υλοποιήσω το σύστημα μας με όποιο από τους δύο τρόπους περιγραφής FSM θέλω. To αποτέλεσμα είναι το ίδιο, αλλά αλλάζει ο τρόπος που σχεδιάζω το κύκλωμα. Γ.Ζ. - 12
Υλοποίηση FSM τύπουmoore Χρειαζόμαστε F-F για να κρατούμε το State του συστήματος. Υλοποιούμε δυο συνδυαστικά κυκλώματα: Λογική που αποκωδικοποιεί το επόμενο State χρησιμοποιώντας το παρόν State και τις Εισόδους Λογική που αποκωδικοποιεί τις τιμές στις Εξόδους χρησιμοποιώντας το παρόν State Ανεξάρτητη λογική για τις Εξόδους και την Επόμενη Κατάσταση Γ.Ζ. - 13
Υλοποίηση FSM τύπουmealy Χρειαζόμαστε F-F για να κρατούμε το State του συστήματος. Υλοποιούμε ένα συνδυαστικό κύκλωμα: Λογική που αποκωδικοποιεί το επόμενο State και τις τιμές στις Εξόδους χρησιμοποιώντας το παρόν State και τις Εισόδους Ένα συνδυαστικό κύκλωμα με αυξημένες λειτουργίες Γ.Ζ. - 14
Παραδείγματα Υλοποίησης σε VHDL Ας πάμε τώρα να δούμε τα παραδείγματα που βρίσκονται στην ιστοσελίδα και τα οποία μπορείτε να χρησιμοποιήσετε για τις δικές σας υλοποιήσεις. Γ.Ζ. - 15
Εργαστηριακή Άσκηση 7 Σχεδιάστε ένα σύγχρονο μετρητή ο οποίος θα δίνει στην έξοδο τις τιμές 0, 2, 4, 6, 8, 10 με τον αριθμό 10 να παραμένει στην έξοδο για διπλάσιο χρονικό διάστημα σε σχέση με όλους τους άλλους. Το κύκλωμα πρέπει να δέχεται σήμα clock από την έξοδο του συμβόλου clk_divμε συχνότητα 1Ηz. Πρέπει επίσης να δέχεται και επαναφορά στην αρχική κατάσταση 0 μέσω του σήματος Reset. Αναλύστε το πρόβλημα και υπολογίστε το FSM συμπληρώνοντας πίνακα αληθείας. Τέλος βρείτε τις 7 εξισώσεις για το πιο πάνω σύστημα (3 για την επόμενη κατάσταση και 4 για την έξοδο). Υλοποιήστε το πιο πάνω κύκλωμα σε.bdf και σε behavioral VHDL. Συγκρίνετε την απόδοση των δυο υλοποιήσεων! Γ.Ζ. - 16
Μαθησιακά Αποτελέσματα Με την ολοκλήρωση αυτού του εργαστηρίου θα πρέπει να μπορείτε να: Υλοποιείτε κυκλώματα που περιέχουν FSM. Ορίζετε διαφορετικούς σχεδιασμούς ως Top-Level Entity, να δημιουργείτε σύμβολα από δικούς σας σχεδιασμούς και να είστε σε θέση να ρυθμίζετε σωστά τις σχετικές παραμέτρους στο Quartus II. Σχεδιάζετε κυκλώματα και να χρησιμοποιείτε behavioral και mixed VHDL architectures. Γνωρίζετε τις διαφορές μεταξύ μηχανών Moore και Mealy και να μπορείτε να τις σχεδιάσετε βάσει προκαθορισμένων προδιαγραφών. Γ.Ζ. - 17