Συγχρονα Ακολουθιακα Κυκλωματα Flip-Flops Καταχωρητες

Slides:



Advertisements
Παρόμοιες παρουσιάσεις
Αλγόριθμοι σχεδίασης βασικών 2D σχημάτων (ευθεία)
Advertisements

Συνδυαστικα κυκλωματα με MSI και LSI
Ασύγχρονοι Απαριθμητές
Συνδυαστικά Κυκλώματα
HY 120 ΨΗΦΙΑΚΗ ΣΧΕΔΙΑΣΗ Ασυγχρονα ακολουθιακα κυκλωματα 2o μερος.
Συνδιαστικά Λογικά Κυκλώματα
ΗΥ220 Εργαστήριο Ψηφιακών Κυκλωμάτων
Ημιαγωγοί – Τρανζίστορ – Πύλες - Εξαρτήματα
ΗΜΥ 100 Εισαγωγή στην Τεχνολογία
ΗΥ120 "ΨΗΦΙΑΚΗ ΣΧΕΔΙΑΣΗ" ΙCs.
συγχρονων ακολουθιακων κυκλωματων
ΑΚΟΛΟΥΘΙΑΚΕΣ ΜΗΧΑΝΕΣ Βασικό διάγραμμα ακολουθιακών μηχανών Είσοδοι NS
Παράσταση αριθμών «κινητής υποδιαστολής» floating point
Δρ. Παναγιώτης Συμεωνίδης
Βάσεις Δεδομένων Ευαγγελία Πιτουρά 1 Συναρτησιακές Εξαρτήσεις.
ΗΥ 120 Αλγοριθμικες μηχανες καταστασεως
Άλγεβρα Boole και Λογικές Πύλες
ΕΝΟΤΗΤΑ 7Η ΑΚΟΛΟΥΘΙΑΚΑ ΚΥΚΛΩΜΑΤΑ ΤΗΣ ΤΥΠΙΚΗΣ ΛΟΓΙΚΗΣ
Ακολουθιακά Ψηφιακά Κυκλώματα
3. Απλοποίηση Συναρτήσεων Boole
HY 120 ΨΗΦΙΑΚΗ ΣΧΕΔΙΑΣΗ Ασυγχρονα ακολουθιακα κυκλωματα.
4. Συνδυαστική Λογική 4.1 Εισαγωγή
ΗΥ120 "ΨΗΦΙΑΚΗ ΣΧΕΔΙΑΣΗ" ΙCs.
Ηλεκτρονική Ενότητα 5: DC λειτουργία – Πόλωση του διπολικού τρανζίστορ
συγχρονων ακολουθιακων κυκλωματων
Συγχρονα Ακολουθιακα Κυκλωματα Flip-Flops Καταχωρητες
ΗΥ120 ΨΗΦΙΑΚΗ ΣΧΕΔΙΑΣΗ Συναρτησεις Boole.
Συνδυαστικά Κυκλώματα
ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ
5. Σύγχρονα Ακολουθιακά Κυκλώματα
ΜΑΘΗΜΑ ΝΟΣΗΛΕΥΤΙΚΗ ΜΕΤΑΓΓΙΣΗ ΑΙΜΑΤΟΣ - ΑΙΜΟΔΟΣΙΑ
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών – Τμήμα Πληροφορικής και Τηλεπικοινωνιών 1 Κεφάλαιο 3 Η Σημασιολογία των Γλωσσών Προγραμματισμού Προπτυχιακό.
Δομές Δεδομένων - Ισοζυγισμένα Δυαδικά Δένδρα (balanced binary trees)
ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΚΥΚΛΩΜΑΤΩΝ ΠΟΛΛΩΝ ΕΞΟΔΩΝ
Οι λογικές πράξεις και οι λογικές πύλες
Λογικές πύλες Λογικές συναρτήσεις
Συνδυαστικά Κυκλώματα (Combinational Circuits)
Kαταχωρητές και Μετρητές (Registers και Counters)
ΧΡΟΝΟΙ ΕΓΚΑΘΙΔΡΥΣΗΣ (SETUP) ΚΑΙ ΚΡΑΤΙΣΗΣ (HOLD) Για τη σωστή λειτουργία των flip/flops πρέπει να ικανοποιούνται οι set-up και hold time απαιτήσεις Set-up.
{ Ψηφιακή Σχεδίαση εργαστήριο Γιάννης Νικολουδάκης.
{ Ψηφιακή Σχεδίαση εργαστήριο Γιάννης Νικολουδάκης.
ΨΗΦΙΑΚΑ ΣΥΣΤΗΜΑΤΑ 1 Διάλεξη 12: Διάλεξη 12: Καταχωρητές - Μετρητές Δρ Κώστας Χαϊκάλης.
{ Ψηφιακή Σχεδίαση εργαστήριο Γιάννης Νικολουδάκης.
ΑΞΙΩΜΑΤΑ ΤΗΣ ΑΛΓΕΒΡΑΣ BOOLE (αξιώματα Huntington) 1. Κλειστότητα α. ως προς την πράξη + (OR) β. ως προς την πράξη  (AND) 2. Ουδέτερα.
Τέταρτο μάθημα Ψηφιακά Ηλεκτρονικά.
Έβδομο μάθημα Ψηφιακά Ηλεκτρονικά.
Τρίτο μάθημα Ψηφιακά Ηλεκτρονικά.
Τ.Ε.Ι. Κρήτης Σχολή Τεχνολογικών Εφαρμογών Τμ. Μηχανικών Πληροφορικής
Ένατο μάθημα Ψηφιακά Ηλεκτρονικά.
Δυαδική λογική ΚΑΙ (AND) H (ΟR) ΟΧΙ (NOT)
Σχεδίαση CMOS Ψηφιακών Ολοκληρωμένων Κυκλωμάτων
Ψηφιακή Σχεδίαση Εργαστήριο Τετάρτη 9/12/2015.
ΑΚΟΛΟΥΘΙΑΚΑ ΣΤΟΙΧΕΙΑ.
Διάλεξη 11: Ανάλυση ακολουθιακών κυκλωμάτων Δρ Κώστας Χαϊκάλης
Διάλεξη 9: Συνδυαστική λογική - Ασκήσεις Δρ Κώστας Χαϊκάλης
SR latch R Q S R Q Q’ Q’ S.
Πίνακες διέγερσης Q(t) Q(t+1) S R X X 0
Χειμερινό εξάμηνο 2017 Πέμπτη διάλεξη
Χειμερινό εξάμηνο 2017 Τέταρτη διάλεξη
Λογικές πύλες και υλοποίηση άλγεβρας Boole ΑΡΒΑΝΙΤΗΣ ΚΩΝΣΤΑΝΤΙΝΟΣ(ΣΥΝΕΡΓΑΤΕΣ):ΔΗΜΗΤΡΙΟΣ ΔΑΒΟΣ- ΜΑΡΙΑ ΕΙΡΗΝΗ KAΛΙΑΤΣΗ-ΦΡΑΤΖΕΣΚΟΣ ΒΟΛΤΕΡΙΝΟΣ… ΕΠΠΑΙΚ ΑΡΓΟΥΣ.
Τ.Ε.Ι. Κρήτης Σχολή Τεχνολογικών Εφαρμογών Τμ. Μηχανικών Πληροφορικής
Χειμερινό εξάμηνο 2017 Έκτη – έβδομη διάλεξη
ΗΜΥ-210: Σχεδιασμός Ψηφιακών Συστημάτων Χειμερινό Εξάμηνο 2007
Ένα ακολουθιακό κύκλωμα καθορίζεται από τη χρονική ακολουθία των ΕΙΣΟΔΩΝ, των ΕΞΟΔΩΝ και των ΕΣΩΤΕΡΙΚΩΝ ΚΑΤΑΣΤΑΣΕΩΝ ΣΥΓΧΡΟΝΑ: Οι αλλαγές της κατάστασης.
ΗΜΥ-210: Λογικός Σχεδιασμός Εαρινό Εξάμηνο 2005
ΗΜΥ-210: Λογικός Σχεδιασμός Εαρινό Εξάμηνο 2005
ΗΜΥ-210: Λογικός Σχεδιασμός Εαρινό Εξάμηνο 2005
ΒΟΗΘΗΤΙΚΑ ΣΤΟΙΧΕΙΑ – Λειτουργία του JK Flip-Flop
Υλοποιήσεις λογικών συναρτήσεων
Μεταγράφημα παρουσίασης:

Συγχρονα Ακολουθιακα Κυκλωματα Flip-Flops Καταχωρητες HY 120 "ΨΗΦΙΑΚΗ ΣΧΕΔΙΑΣΗ" Συγχρονα Ακολουθιακα Κυκλωματα Flip-Flops Καταχωρητες

Ακολουθιακα κυκλωματα Συνδυαστικα κυκλωματα Ακολουθιακα κυκλωματα: x1 x2 … xn Συνδυαστικο κυκλωμα z1 z2 … zm zi=fi(x1,x2,…,xn) i = 1,2,…,m x n m z zi=gi(x1,…,xn, y1,…yr) Συνδυαστικο κυκλωμα y Y Yi=hi(x1,…,xn, y1,…yr) r z = g(x,y) Y= h(x,y) r Μεταβλητες παρουσας καταστασης Μνημη Μεταβλητες επομενης καταστασης y(tk) τιμη του y(t) την στιγμη t=tk. Αν tk=k Δt τοτε y(tk)=y(kΔt)=y(k)

Πινακες και διαγραμματα καταστασεων Οι εξισωσεις του προηγουμενου slide περιγραφουν πληρως το ακολουθιακο κυκλωμα αλλα δεν βοηθουν στην κατανοηση της λειτουργιας του. Το διαγραμμα καταστασεων είναι μια γραφικη παρασταση της λειτουργιας του ακολουθιακου κυκλωματος, στο οποιο οι καταστασεις του κυκλωματος παριστανονται με κυκλους και οι μεταβασεις από κατασταση σε κατασταση με βελη. Κάθε βελος σηματοδοτειται με την εισοδο x που την προκαλει και την εξοδο z που την συνοδευει Εισοδος / Εξοδος x /z Y Επομενη y Παρουσα

Πινακες και διαγραμματα καταστασεων Ο πινακας καταστασεων είναι ενας άλλος τροπος περιγραφης του ακολουθιακου κυκλωματος ισοδυναμος με το διαγραμμα καταστασεων x Εισοδος Παραδειγμα: Ακολουθιακο κυκλωμα με 2 μεταβλητες παρουσας καταστασης y1, y2 Τοτε y=[y1 y2], οποτε εχουμε 4 καταστασεις: [0 0]=Α, [0 1]=Β, [1 0]=C και [1 1]=D. Εν γενει με r μεταβλητες παρουσας καταστασης ο αριθμος των καταστασεων Ν είναι 2r-1  N  2r y x Παρουσα y Y/z Εξοδος Επομενη κατασταση

Παραδειγμα Ακολουθιακου Κυκλωματος x z Εστω y = [y1 y2]. Συμβολιζουμε τις 4 καταστασεις ως εξης: Α=[ 0 0], Β=[0 1], C=[1 0] και D=[1 1]. y2 y1 Y1 Y2 Μνημη Εστω επισης ότι o πινακας και το διαγραμμα καταστασεων εχουν ως εξης: Eστω ότι στην εισοδο x εφαρμοζεται η ακολουθια δυαδικων συμβολων: x =0110101100. Αν το κυκλωμα είναι αρχικα στην κατασταση Α που θα βρεθει στο τελος της ακολουθιας εισοδου?? Παρουσα κατασταση Α D B A D B B A C C Εισοδος 0 1 1 0 1 0 1 1 0 0 Επομενη κατασταση D B A D B B A C C C Εξοδος 0 1 0 0 1 1 0 1 1 1 Χρονικο διαστημα 1 2 3 4 5 6 7 8 9 10 x y 0 1 A D/0 C/1 B B/1 A/0 C C/1 D/0 D A/0 B/1 A D B C 1/1 1/0 0/0 0/1

Μοντελο MEALY Το διαγραμμα καταστασεων του προηγουμενου κυκλωματος ακολουθει το μοντελο Mealy . To μοντελο Mealy λεγεται και μοντελο μεταβασης γιατι η εξοδος του κυκλωματος εξαρταται τοσο από την παρουσα κατασταση οσο και από την εισοδο του κυκλωματος ή (ισοδυναμα) την επομενη κατασταση στην οποια μεταβαινει. Παραδειγμα Μοντελου Mealy: x y 0 1 A B/1 C/0 B B/0 A/1 C A/0 C/0 A 0/0 1/1 1/0 0/1 C B 1/0 0/0

Μοντελο Moore Ενας άλλος τυπος διαγραμματος ο οποιος είναι καταλληλος για ακολουθιακα κυκλωματα των οποιων η εξοδος εξαρταται μονο από την παρουσα κατασταση και μονο είναι το διαγραμμα που ακολουθει το μοντελο Moore. Εισοδος x εξοδος z=g(y) y 0 1 W Υ Χ 0 X Χ Υ 1 Y Χ W 0 1 W/0 X/1 1 1 Εισοδος Y/0 Παρουσα κατασταση / Εξοδος Παρουσα κατασταση W Y X X Y W X Εισοδος 0 0 0 1 1 1 Επομενη κατασταση Y X X Y W X Εξοδος 0 0 1 1 0 0

Ελεγχος ενός κυκλωματος συναγερμου Set Αισθητηρας Στοιχειο On ¤ Off Συναγερμος Επαναφορα Reset Μνημης

Ένα απλο στοιχειο μνημης A B 1 1 Οι δυο δυνατες καταστασεις του κυκλωματος μνημης

Ένα στοιχειο μνημης με πυλες NOR Set-Reset Flip-flop ή RS F-F Q

To RS Flip-Flop με πυλες NOR Qa Qb Qa 0/1 1/0 (no change) κυκλωμα 1 1 Qb 1 1 Πινακας αληθειας 1 1 S t t t t t t t t t t 1 2 3 4 5 6 7 8 9 10 1 R 1 S 1 Qa ? 1 Qb ? Διαγραμμα χρονισμου Χρονος

RS F-F με ρολοϊ Κυκλωμα Xρονος Διαγραμμα χρονισμου Γραφικο συμβολο Clk ¢ Clk S R Q ( t + 1 ) Q x x Q( t ) (no change) 1 Q( t ) (no change) Clk 1 1 1 1 1 Q 1 1 1 x S S ¢ Κυκλωμα (b) Truth table 1 Clk 1 R 1 S 1 Q ? 1 Q ? Xρονος Διαγραμμα χρονισμου S Q Clk R Q Γραφικο συμβολο

RS F-F με ρολοϊ υλοποιημενο με πυλες NAND Q Clk Q R

D Flip-Flop με ρολοϊ Clk D 1 x Q t + ( ) Πινακας αληθειας Κυκλωμα S R Clk D (Data) Clk D 1 x Q t + ( ) Πινακας αληθειας Κυκλωμα D Q Clk Q Γραφικο συμβολο t t t t 1 2 3 4 Clk D Q Time Διαγραμμα χρονισμου

Χρονοι προετοιμασιας (setup time) και κρατηματος (Hold time) su t h Hold time Clk D Q

JK Flip-flop Q J K Q(t+1) 0 0 0 0 0 0 1 0 0 1 0 1 0 1 1 1 1 0 0 1 1 0 1 0 1 1 0 1 1 1 1 0 K CLK J Q Q' J CLK K Q Q'

T Flip-Flop Q T Q(t+1) 0 0 0 0 1 1 1 0 1 1 1 0 T CLK Q Q' T CLK Q Q'

Master-Slave D Flip-Flop Qm Qs D Q D Q Q D D Q Clock Clk Q Clk Q Q Q Clock D Q m Q = Q s

1 D Q Master Slave Clock Qm Qs Clk

Master-Slave RS flip-flop Y Y' S R CLK Q Q' Q Q' S CL R Master S CL R Slave Q Q' J K M S Q Q'

Ακμο-πυροδοτητο D flip-flop Positive-edge-triggered D f-f (D=0) 1 P3 P1 2 1 5 1 Q Clock 1 P2 6 Q 3 1 D Q (b) Graphical symbol Clock 4 1 P4 D (a) Circuit

Ακμο-πυροδοτητο D flip-flop Positive-edge-triggered D f-f (D=1) 2 1 5 Q 1 Clock 1 P2 6 Q 3 D Q (b) Graphical symbol Clock 1 4 P4 D (a) Circuit

Συγκριση τριων τυπων D flip-flop Q Q a D f-f με ρολοϊ Clock Clk Q Q a D Q Q b Positive-edge-triggered D f-f Q Q b D Q Q c Negative-edge-triggered D f-f Q Q c Clock D Q a Q b Q c

Master-slave D Flip-flop με Clear και Preset Q Clock Q Clear Preset D Q Q Clear

Positive-edge-triggered D Flip-flop με Clear και Preset Q Preset Clear D Q Clock Q D Clear

Συγχρονο reset για ένα D flip-flop

To T flip-flop D Q T Clock T Q(t+1) 0 Q(t) 1 Q'(t) T Q Q Clock T Q

To JK flip-flop J K Clock ( ) ( ) ( ) D Q Q Q Q J K Q t + 1 Q t J Q 1 Q ( t ) J Q 1 1 1 K Q 1 1 Q ( t )

Αναλυση Συγχρονων Ακολουθιακων Κυκλωματων Τα συγχρονα Ακολουθιακα Κυκλωματα περιλαμβανουν FF με ρολοϊ. Παραδειγμα: Εξισωσεις καταστασεων: Α(t+1)=DA(t)= =A(t)x(t)+B(t)x(t) B(t+1)=DB(t) =x(t)A'(t) Απλουστερα: A(t+1)=Ax+Bx Β(t+1)=A'x Eπισης: y(t+1)=x'(A+B) x A A' B B' D > Q Q' D > Q Q' CLK y

Παραδειγμα Αναλυσης συγχρονου ακολουθιακου κυκλωματος Πινακας καταστασεων Παρουσα Εισοδος Επομενη Εξοδος Α Β x A(t+1) B(t+1) y 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 1 1 1 0 1 0 0 0 0 1 1 0 1 1 0 0 1 1 0 0 0 1 1 1 1 1 0 0 A(t+1)=Ax+Bx B(t+1)=A'x y=Ax'+Bx

Παραδειγμα Αναλυσης συγχρονου ακολουθιακου κυκλωματος (2) Παραδειγμα Αναλυσης συγχρονου ακολουθιακου κυκλωματος (2) Β' μορφη του πινακα καταστασεων: Παρουσα Επομενη Εξοδος Κατασταση x=0 x=1 x=0 x=1 A B AB AB y y 0 0 0 0 0 1 0 0 0 1 0 0 1 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 1 0 1 0 x(t)/y(t) 0/0 1/0 0/1 AB 10 AB 00 1/0 1/0 0/1 1/0 AB 01 AB 11 1/0 Διαγραμμα Mealy Λειτουργια κυκλωματος: Το πρωτο 0 μετα από μια ακολουθια 1s κανει την εξοδο 1.

Συναρτησεις εισοδων flip-flop Το μερος του συνδυαστικου κυκλωματος που παραγει τις εξοδους περιγραφεται με τις εξισωσεις εξοδου Το μερος του κυκλωματος που παραγει τις εισοδους των flip-flops περιγραφεται με τις συναρτησεις εισοδου των ff. Δυο γραμματα αρκουν για τον καθορισμο μιας εισοδου: το ονομα του ff και το ονομα της εισοδου. Στο προηγουμενο παραδειγμα ειχαμε : DA=Ax+Bx και DB=A'x Μαζι με την εξισωση εξοδου y=(A+B)x' δινουν μια πληρη περιγραφη του κυκλωματος. Οι εξισωσεις εισοδου περιγραφουν μερος του συνδυαστικου κυκλωματος και προσδιοριζουν και τον τυπο του Flip=Flop

Χαρακτηριστικοι Πινακες Flip-flop J K Q(t+1) S R Q(t+1) D Q(t+1) T Q(t+1) 0 0 Q(t) 0 0 Q(t) 0 0 0 Q(t) 0 1 0 0 1 0 1 1 1 Q'(t) 1 0 1 1 0 1 1 1 Q'(t) 1 1 ???

ZHTHMA 1o (10%): ZHTHMA 1o (10%): Η δυϊκή (dual) fd μιας συνάρτησης f(x1,x2,…,xn) ευρίσκεται αν εναλλάξουμε τις λογικές πράξεις AND  OR και τις σταθερές 0  1 στην έκφραση της συνάρτησης. Μια συνάρτηση λέγεται αυτο-δυϊκή (self dual) αν f=fd. Θεωρείστε την αυτο-δυϊκή συνάρτηση f = f(x1,x2,…,xn) = x1x2 + x1f1 + x2f2 όπου οι f1 και f2 είναι συναρτήσεις των x3,…,xn αλλά ανεξάρτητες των x1 και x2. Να βρείτε την σχέση των f1 και f2. Λυση: f=fd => x1x2 + x1f1 + x2f2 = (x1 +x2 )( x1 +f1d) (x2 +f2d) = (x1+x2f1d)(x2+f2d)= = x1x2+x2f1d+x1f2d+x2f1df2d= = x1x2+x2f1d+x1f2d Για x1=1 και x2=0 εχουμε f1=f2d Για x1=0 και x2=1 εχουμε f2=f1d

ZHTHMA 2o (10%): ZHTHMA 2o (10%): Α) Να δείξετε ότι δεν υπάρχει άλγεβρα Boole με μόνα στοιχεία τα {0,1,a}. Β) Να βρείτε τις τιμές των δυαδικών μεταβλητών w,x,y και z επιλυοντες το ακόλουθο σύστημα εξισώσεων Boole: w+wx=0, wx=wy, x+wy+yz=yz. Λυση: Α) πρεπει να περιεχει και το στοιχειο a'. B) w+wx=0 => (w+w)(w+x)=0 => w+x=0 => w=1, x=0 wx=wy => 1x=1y => x=y=0 x+wy+yz=yz => 0+11+0z=1z => z=1

ΖΗΤΗΜΑ 3ο (5%): ΖΗΤΗΜΑ 3ο (5%): Αν z = xy = xy + xy, ποια από τις ακόλουθες σχέσεις είναι αληθής? (a) x = yz, (b) y = xz, (c) xyz=1. Λυση: (α) y z=yxy=yyx=1x=0x'+1x=x (b) όπως στο (α) (c) xyz= xyxy=(xy)(xy)=ww=1

ΖΗΤΗΜΑ 4ο (20%): Αποδείξτε αν ισχύουν ή όχι οι ακόλουθες σχέσεις : (Α) αν ΑΒ=0 τότε Α=Β, (Β) Αν ΑC = ΒC, τότε Α=Β, (C) AB=AB, (D)    (AB) = AB = AB (E) A(B+C) = (AB)+(AC), (F) Αν ABC = D, τότε AB = CD και A = BCD. Λυση: (Α) ορισμος (Β) ΑC = ΒC => ΑCC' = ΒCC' => Α1 = Β1=> Α'=Β' (C) Από τον ορισμο (D) ομοιως (Ε) δεν ισχυει, αποδειξη με πραξεις ή πινακα αληθειας (F) ABC = D => ABCC = DC => AB0 = DC => => AB = DC => ABB = DCB => A0 = DCB=> => A = DCB

ΖΗΤΗΜΑ 5ο (25%): ΖΗΤΗΜΑ 5ο (25%): Να υλοποιήσετε την ακόλουθη συνάρτηση με πολυπλεκτη f(A,B,C,D,E) = A + CD +BD+BD+BCE Να χρησιμοποιήσετε ένα πολυπλεκτη 8 σε 1 και το πολύ μια ακόμα πύλη δυο εισόδων, της δικής σας επιλογής. Διαθέτετε το 0, το 1 και τις μεταβλητές αλλά όχι τα συμπληρώματα τους. Λυση: BCD AE 000 001 010 011 100 101 110 111 00 0 1 2 3 4 5 6 7 01 8 9 10 11 12 13 14 15 10 16 17 18 19 20 21 22 23 11 24 25 26 27 28 29 30 31 A 1 A+E 1 1 1 1 A A 8x1 A+E A B C D

ΖΗΤΗΜΑ 6ο (10%): ΖΗΤΗΜΑ 6ο (10%): Χρησιμοποιώντας μόνο ένα πολυπλεκτη 2 σε 1 να υλοποιήσετε τις συναρτήσεις δυο μεταβλητών ΟR, AND, NOT, ΧΟR, XNOR και NAND Λυση: x+y y xy 1 x' y 1 1 1 1 x x x xy y y' xy y' y 1 1 x x