‫– ‪For more please visit‬‬ ‫‪www.nsof.

info‬‬
‫אלגברה בוליאנית‬ ‫בסיסים וקודים‬
‫‪:Look Ahead Carry Generator‬‬ ‫נוסחאות פישוט‪:‬‬ ‫מעבר מבסיס ‪ r‬לבסיס ‪:10‬‬
‫בעזרת הפונקציות הבאות ניתן לחזות מה יהיה ה‪ Carry -‬וע"י כך לחסוך‬
‫רמות במימוש‪.‬‬
‫מעבר מבסיס ‪ 10‬לבסיס ‪:r‬‬
‫לדוגמא‪:‬‬

‫חיבור בבסיס אחר מ‪( 2 -‬בסיס ‪ )r‬ע"י ‪:FA‬‬

‫הופכים את הספרה ‪ r-1‬לבינארי – ובודקים כמה סיביות‬ ‫‪.1‬‬ ‫דה‪-‬מורגן‪:‬‬
‫צריך ע"מ לייצג אותה בבינארי‪.‬‬
‫מחברים שתי ספרות ‪ r-1‬ומקבלים תוצאה בעשרוני‪.‬‬ ‫‪.2‬‬ ‫מעבר מבסיס ‪ t‬לבסיס ‪:r‬‬
‫הופכים את התוצאה לבסיס ‪.r‬‬ ‫‪.3‬‬ ‫כאשר ‪ t‬ו‪ r -‬הם חזקות של אותו מספר‪ .‬למשל – ‪2,4,8,16‬‬ ‫‪.1‬‬
‫מייצגים את ספרת האחדות של התוצאה מסעיף ‪ ,3‬ע"י‬ ‫‪.4‬‬ ‫או ‪:3,9,27‬‬
‫מספר בבינארי עם מס' הסיביות הדרוש לספרה (מסעיף ‪.)1‬‬
‫מייצגים את ספרת העשרות ע"י סיבית ‪ 1‬בבינארי‪.‬‬ ‫‪.5‬‬
‫שמים את ספרת העשרות בבינארי משמאל למספר‬ ‫‪.6‬‬
‫‪.‬‬ ‫כל ספרה מיוצגת ע"י ‪ 3‬בבינארי‪:‬‬
‫בבינארי שקיבלנו בסעיף ‪.4‬‬
‫מחברים שתי ספרות ‪ r-1‬בבינארי‪.‬‬ ‫‪.7‬‬ ‫בכל מקרה אחר – עוברים דרך בסיס ‪.10‬‬ ‫‪.2‬‬
‫מהתוצאה מחסרים את המספר מסעיף ‪.6‬‬ ‫‪.8‬‬ ‫קוד ‪( BCD‬זהה לקוד ממושקל ‪:)8421‬‬
‫זהו המספר בבינארי שיש להוסיף לתוצאת החיבור של ה‪-‬‬ ‫‪.9‬‬
‫‪.FA‬‬ ‫קודים ממושקלים‪:‬‬
‫ממשים ‪ Correction Unit‬שמחברת לכל סיבית שהגיעה מה‪-‬‬ ‫‪.10‬‬ ‫קוד חוקי = אם ניתן להציג את כל הספרות בעזרתו‪.‬‬
‫‪ FA‬את המספר מסעיף ‪ 9‬רק אם ה‪ Carry -‬מה‪ FA -‬הוא ‪ 1‬או אם‬
‫הסיביות שהגיעו מה‪ FA -‬מייצגות ביחד את המספר ‪ 10‬בבסיס ‪.r‬‬

‫בוררים‪ ,‬מפענחים מקודדים ומשווים‬ ‫יכול להיות יותר מייצוג ‪ 1‬לכל מספר‪.‬‬
‫קוד ‪:Excess-3‬‬
‫מוסיפים ‪ 3‬לספרה העשרונית‪ ,‬וממירים לבינארי‪.‬‬

‫קוד משלים עצמי‪:‬‬

‫אם הייצוג של ‪ N-9‬יכול להתקבל מהייצוג של ‪ N‬ע"י הפיכת הסיביות‪.‬‬

‫הערה‪ BCD :‬אינו קוד משלים עצמי‪.‬‬

‫קוד ממושקל משלים עצמי‪:‬‬

‫אם סכום המשקולות = ‪.9‬‬
‫מערכת פעולה שלמה (קבוצות אוניברסאליות)‬
‫קבוצת פעולות בעזרתה ניתן להציג כל פונקציה בוליאנית‪ .‬כלומר‪ ,‬פונקציה‬ ‫מרחק בין מילות קוד (מרחק ‪:)Hamming‬‬
‫‪X‬‬ ‫אחת שבעזרתה ניתן לייצג אחת מהקבוצות הבאות‪:‬‬ ‫מספר הסיביות השונות בין ‪ 2‬מילות קוד‪.‬‬
‫‪Y‬‬ ‫‪ -‬מרחק = ‪.2‬‬
‫בעזרת ‪ NOT‬ו‪ AND (NAND) -‬או ‪ NOT‬ו‪ OR (NOR) -‬ניתן לייצג כל פונקציה‬ ‫מרחק מינימלי – המרחק הקטן ביותר בין מילים בקוד‪ .‬אם המרחק‬
‫בוליאנית‪.‬‬ ‫שגיאות‪.‬‬ ‫המינימלי ‪ ,K‬ניתן לגלות עד ‪ K-1‬שגיאות‪ ,‬ולתקן עד‬
‫במקום לפתור תרגיל נתון ניתן להמירו למערכת שקולה ע"י דה‪-‬מורגן ‪-‬‬ ‫קוד ‪:Gray‬‬
‫הערה‪ :‬אם בכניסה )‪ E (Enable‬מגיע ‪ 0‬אז כל היציאות יהיו ‪.0‬‬ ‫ולפתור אותה‪.‬‬ ‫קוד ציקלי‪ ,‬כל מספר נבדל מאלו שמעליו ומתחתיו בסיבית אחת בלבד‬
‫(מרחק בין מילות קוד = ‪.)1‬‬
‫‪A3 A2 A1 A0‬‬
‫‪( Comperator‬משווה)‪:‬‬ ‫צורות קנוניות‬ ‫מעבר מקוד ‪ Gray‬לבינארי (סיבית ראשונה נשארת)‪:‬‬
‫‪:Minterm & Maxterm‬‬ ‫הולכים סיבית‪ ,‬סיבית – משמאל לימין‪.‬‬ ‫‪.1‬‬
‫‪L – A<B‬‬ ‫סופרים כמה אחדים יש משמאל לסיבית עליה נמצאים (לא‬ ‫‪.2‬‬
‫‪4 bit‬‬ ‫‪E – A=B‬‬ ‫כולל)‪.‬‬
‫‪Comperator‬‬ ‫‪G – A>B‬‬ ‫לדוגמא ‪ -‬נוסחה ל‪:G -‬‬ ‫אם מספר האחדים זוגי ‪ -‬לא משנים את הסיבית‪.‬‬ ‫‪.3‬‬
‫אם מספר האחדים אי‪-‬זוגי – הופכים את הסיבית‪.‬‬ ‫‪.4‬‬
‫‪B3 B2 B1 B0‬‬ ‫ייצוגים קנוננים‪:‬‬ ‫מעבר מבינארי לקוד ‪( Gray‬סיבית ראשונה נשארית)‪:‬‬
‫‪ – SOP‬סכום מכפלות קנוני – סכום המינטרמים בהם הפונקציה מקבלת "‬ ‫‪.1‬הולכים סיבית‪ ,‬סיבית – משמאל לימין‪.‬‬
‫‪ ."1‬למשל‪:‬‬ ‫‪.2‬מבצעים ‪ XOR‬בין הסיבית שעליה נמצאים לסיבית משמאלה‪.‬‬
‫‪ – POS‬מכפלת סכומים קנונית – מכפלת מקסטרמים בהם הפונקציה‬ ‫‪.3‬אם מספר האחדים אי‪-‬זוגי – הופכים את הסיבית‪.‬‬
‫מקבלת את הערך "‪ ."0‬למשל‪:‬‬
‫זוגיות‪:‬‬
‫‪ – Even Parity‬מוספים ‪ 1‬כדי שמספר האחדים יהיה זוגי‪.‬‬
‫‪ – Odd Parity‬מוסיפים ‪ 0‬עדי שמספר האחדים יהיה אי‪-‬זוגי‪.‬‬
‫בין הסעיפים(‪ :)1-4‬שער ‪.OR‬‬ ‫מפות קרנו‪:‬‬
‫עבור )‪:POS (D = LSB‬‬
‫‪Static Hazard‬‬ ‫ייצוג מספרים‬
‫הגדרה – אם המוצא אמור היה להשאר קבוע‪ ,‬כאשר רק אחת הכניסות‬ ‫‪( _ _._ _ :Fixed Point‬טווח מוגבל)‪.‬‬
‫משתנה‪ ,‬אך הוא נתן תוצאה אחרת‪ .‬תופעה זו מתקיימת בגלל שחלק‬
‫מהמשתנים עוברים דרך יותר שערים בדרך למוצא‪.‬‬ ‫‪:Floating Point‬‬
‫‪ :Hazard 1‬המוצא אמור היה להשאר ‪ 1‬והפך ל‪( 0 -‬קורה במימוש ‪.)SOP‬‬ ‫עבור המספר ‪53.491‬‬
‫‪ :Hazard 0‬המוצא אמור היה להשאר ‪ 0‬והפך ל‪( 1 -‬קורה במימוש ‪.)POS‬‬ ‫‪ – r = 10‬בסיס ‪.10‬‬
‫‪ -‬מותר רביעיה (כאילו באלכסון‪)...‬‬ ‫מנטיסה – המספר עצמו‪.5.3491 :‬‬
‫שיטת מינימיזציה – ‪Quine Mclluskey‬‬ ‫אקספוננט – ‪.E – 01‬‬
‫מציאת הגורמים ‪ /‬מינטרמים‪.‬‬ ‫‪.1‬‬
‫הכנסת לטבלה‪:‬‬ ‫‪.2‬‬
‫ליטרלים = משתנים‪.‬‬ ‫הצגת סימן‬
‫אימפליקנט ראשי (גורם ראשי) = גורם שאינו מוכל בגורם גדול יותר‪.‬‬ ‫‪:Sign / Magnitude‬‬
‫הערה‪ :‬מותר לקחת רק קבוצות של חזקות של ‪ .2‬אסור לקחת קבוצה של ‪3‬‬ ‫הספרה השמאלית מייצגת סימן‪.‬‬
‫תאים‪.‬‬ ‫‪ = 0‬חיובי‪ = r-1 .‬שלילי‪.‬‬
‫מצבים לא מוגדרים (‪:)don’t care‬‬
‫‪.‬‬ ‫מסומנים ע"י‪ ,X, d :‬או‬
‫יש ‪ 2‬ייצוגים ל‪.0 -‬‬
‫הערה‪ :‬משווים מספרים בקבוצות סמוכות‪ ,‬כאשר כל הסיביות זהות‬ ‫ניתן להוסיפם לגורם אך לא לקחת אותם כגורם נפרד‪.‬‬ ‫בשיטה זו – עושים בנפרד פעולות על הסימן‪.‬‬
‫(כולל קו מול קו) פרט לאחת‪ .‬השוני בה מתבטא ע"י ‪ 0‬או ‪( 1‬ולא ע"י‬
‫קו)‪.‬‬
‫החלפת עמודות ‪ /‬שורות במפות קרנו‪:‬‬ ‫מס' מקס' ומינ' בבינארי‪:‬‬
‫אם נחליף לפחות משתנה אחד בהופכי שלו‬ ‫‪-‬‬ ‫משלים ל‪:r-1 -‬‬
‫בעזרת טבלת גורמים ראשוניים מצמצמים את מה שמיותר‪:‬‬ ‫‪.3‬‬
‫(למשל ‪ A‬ב‪ ,)A' -‬נשנה את סדר כל ארבעת השורות או העמודות‬
‫ביחד‪.‬‬
‫אם נחליף משתנה במשתנה שלידו (למשל‬ ‫‪-‬‬
‫‪ A‬עם ‪ )B‬אז נחליף רק ‪ 2‬שורות ‪ /‬עמודות‪.‬‬ ‫יש ‪ 2‬ייצוגים ל‪.0 -‬‬
‫‪:Shift Register with Parallel Load‬‬ ‫מס' מקס' ומינ' בבינארי‪:‬‬
‫מעבר מ‪ AND -‬ו‪ OR -‬ל‪NAND -‬‬ ‫דוגמא לחיבור‪:‬‬
‫מגיעים ל‪ SOP -‬מינימלי‪.‬‬ ‫‪.1‬‬ ‫אם יש גלישה – מוסיפים אותה ל‪.LSB -‬‬
‫מבצעים פיקטור בהתאם להגדרת ‪( Fan In‬מס' כניסות‬ ‫‪.2‬‬
‫‪+ +‬‬ ‫‪+‬‬ ‫לשער)‪.‬‬
‫ממשים ע"י שערי ‪ AND‬ו‪ OR -‬כך שבכל רמה מופיע שער‬ ‫‪.3‬‬
‫אחר (‪.)...AND-OR-AND-OR‬‬
‫‪+‬‬ ‫מיספור הרמות מהיציאה ועד לכניסה‪.‬‬ ‫‪.4‬‬
‫החלפת כל שער בשער ‪.NAND‬‬ ‫‪.5‬‬
‫את כל הכניסות לרמות האי‪-‬זוגיות מקבלות ‪( NOT‬כניסות‬ ‫‪.6‬‬
‫ברמות הזוגיות נשארות אותו הדבר)‪.‬‬ ‫משלים ל‪:r -‬‬
‫הערה‪ :‬ניתן גם להגיע לפונקציה של מכפלות עם ‪ NOT‬בלבד (ע"י דה‪-‬מורגן (‬
‫ואז לממש ישירות ע"י ‪.NAND‬‬

‫מסכמים ומחסרים‬ ‫‪ -‬את ה‪ 1 -‬תמיד מוסיפים ל‪( LSB -‬לא קשור לנק' עשרונית – תמיד לסיבית‬
‫‪:Full Adder‬‬ ‫הימנית ביותר‪ ,‬ולא משנה אם עוברים מ‪ "-" -‬ל‪ "+" -‬או ההפך)‪.‬‬
‫‪ -‬בחיבור‪ :‬אם יש גלישה – מזניחים אותה‪ ,‬אלא אם חיברנו ‪ 2‬מספרים‬
‫מחבר ‪ /‬מחסר‪:‬‬
‫שלילים (אם התשובה אמורה לצאת במינוס – לא מזניחים את ה‪.)1 -‬‬
‫'‪ a / s: 1‬עבור חיבור‪ 0 ,‬עבור חיסור‪.‬‬
‫‪X‬‬ ‫‪Y‬‬ ‫‪A‬‬ ‫‪B‬‬ ‫הערה‪ :‬אם המספר מוצג ביותר סיביות ממה שצריך – פשוט משכפלים את‬
‫’‪a / s‬‬
‫סיבית הסימן‪.‬‬
‫‪CB out‬‬ ‫‪Cin‬‬
‫‪B in‬‬
‫‪FA‬‬
‫‪out‬‬ ‫‪2-bit FA‬‬ ‫‪ – 1‬לא מספר ראשוני‪ – 0 .‬מספר ראשוני‪.‬‬

‫‪S‬‬ ‫‪S‬‬
 ‫– ‪For more please visit‬‬ ‫‪www.nsof.info‬‬
‫רישום משוואות העירור והתפוקה‪.‬‬ ‫‪.7‬‬ ‫מערכות עקיבה סינכרוניות‬ ‫רכיבי זיכרון‬
‫מערכות מורכבות‬ ‫מכונת מצבים סופית (‪:)Finite State Machine‬‬ ‫‪:Rom – Read Only Memory‬‬
‫מבנה כללי‪:‬‬ ‫אוסף סופי של מצבים‪ .‬בד"כ אחד מהם מוגדר כמצב ההתחלתי‪.‬‬ ‫‪.1‬‬ ‫‪ROM‬‬ ‫דוגמא –‬
‫רשת צירופית‬ ‫מונה‬ ‫מחלק תדר‬ ‫תאי זיכרון (אך לכן עושים‬ ‫אם יש ‪ n‬מצבים צריך‬ ‫‪.2‬‬ ‫‪ - n‬כניסות למפענח‪.‬‬
‫מינימיזציה שתידון בהמשך)‪.‬‬ ‫‪ -‬יציאות מהמפענח‪.‬‬
‫מספר סופי של כניסות בינאריות‪ ,‬ומספר סופי של יציאות בינאריות‪.‬‬ ‫‪.3‬‬
‫מונה‪:‬‬ ‫‪ - m‬פונקציות יציאה (שערי ‪.)OR‬‬
‫‪0‬‬ ‫אוסף חוקי מעבר המתארים לכל מצב נוכחי ולכל ערכי כניסה את‬ ‫‪.4‬‬
‫תכנון מונה מתבצע ע"פ סד"פ ‪ 1‬סינתזה של מערכות עקיבה סינכרוניות‪,‬מפענח‬ ‫המצב הבא‪.‬‬
‫‪2‬‬ ‫כאשר הכניסות‪.‬‬
‫פונקציה המתארת את היציאות‪:‬‬ ‫‪.5‬‬
‫‪Decoder‬‬ ‫מכונת ‪ :Moore‬היציאות הן פונקציה של‬ ‫‪.1‬‬
‫מחלק תדק ומונה בינארי ‪:Ripple Counter /‬‬
‫המצב הנוכחי בלבד‪.‬‬
‫דוגמא‪:‬‬
‫מכונת ‪ :Mealy‬היציאות הן פונקציה של‬ ‫‪.2‬‬
‫שניות הכולל ‪.Clear‬‬
‫של ‪. . . 2.‬‬
‫בשעון ‪2‬‬
‫שימוש ‪1‬‬
‫‪0‬‬ ‫מונה בינארי של ‪ 256‬שניות ע"י‬ ‫המצב הנוכחי והכניסות הנוכחיות‪.‬‬
‫מחזור השעון הוא ‪ 2‬שניות‪ ,‬ולכן המונה צריך לספור ‪ 128‬מחזורי שעון‪:‬‬ ‫מכונת ‪ Moore‬היא מצב פרטי של מכונת‬ ‫‪.3‬‬
‫‪.‬‬
‫‪ -‬נשתמש ב‪ T-FF -‬בעל כניסת ‪.Clear‬‬
‫‪.Mealy‬‬ ‫רכיבים מתכנתים‬
‫מערכת סופית‪ :‬לא ניתן לממש באמצעות ‪ FSM‬כל פעולה רצויה‬ ‫‪.6‬‬ ‫‪:PLA – Programmable Login Array‬‬
‫‪ -‬ביצוע ‪ Clear‬מכניס ‪ 0‬לכל ה‪.T-FF -‬‬ ‫על הקלט‪ ,‬מפני שיש לנו מספר סופי של מצבים‪ .‬לכן‪ ,‬על הקלט להיות‬
‫‪ -‬ה‪ T-FF -‬מתעדכן בעליית השעון!‬ ‫דוגמא ‪:PLA 3x4x2‬‬
‫סופי או מחזורי בעל חוקיות מסוימת שתאפשר יצירת מספר סופי של‬
‫"‪1‬‬ ‫מצבים‪.‬‬
‫מכונה סופית המקבלת קלט מחזורי חייבת להוציא פלט מחזורי‪.‬‬ ‫טבלת תכנון ‪:PLA‬‬
‫‪T0‬‬ ‫‪T1‬‬ ‫‪T2‬‬ ‫‪T3‬‬ ‫‪T4‬‬ ‫‪T5‬‬
‫‪:Flip Flops‬‬
‫‪klc‬‬ ‫טבלת אפיון – משמשת לניתוח מערכות (אנליזה)‪.‬‬
‫‪Q 0‬‬ ‫‪Q 1‬‬ ‫‪Q 2‬‬ ‫‪Q 3‬‬ ‫‪Q 4‬‬ ‫‪Q 5‬‬ ‫טבלת עירור – משמשת לתכנון מערכות (סינתזה)‪.‬‬
‫‪C‬‬ ‫השרטוט הנ"ל הוא ‪bit Ripple Counter -6‬אבל בגלל שה‪ clk -‬הוא ‪ 2‬שניות אז‬
‫זהו למעשה ‪( bit Ripple Counter -7‬סופר מ‪ 0 -‬עד ‪ 127‬בבינארי וחוזר ל‪.)0 -‬‬ ‫‪Y(t)=R’Y(t-1)+S :SR-FF‬‬
‫מימוש ב‪:PLA -‬‬
‫‪b‬‬ ‫‪a‬‬ ‫‪c‬‬
‫‪ Qi‬מדמה שעון בעל זמן מחזור כפול מ‪:Qi-1 -‬‬
‫‪lc‬‬
‫‪b’a‬‬
‫‪Q 0‬‬
‫‪c’a‬‬
‫‪Q 1‬‬
‫‪c’b‬‬
‫‪ba‬‬ ‫מינימיזציה של מכונות‬ ‫‪Y(t)=JY’(t-1)+K’Y(t-1) :JK-FF‬‬
‫בני הפרדה‪:‬‬
‫‪ 2‬מצבים ‪ A, B‬הם בני הפרדה ( ‪ )Distinguishable‬אם קיימת סדרת כניסה‬
‫אחת לפחות (סדרת הפרדה) המספקת יציאות שונות מהמצבים ‪.A, B‬‬
‫‪2F‬‬ ‫‪1F‬‬ ‫‪:PLA – Programmable Login Array‬‬
‫סדרת הפרדה מקסימלית של מכונה עם ‪ n‬מצבים היא באורך ‪.n-1‬‬

‫‪ K‬בני הפרדה‪:‬‬ ‫‪D-FF: Y(t+1)=D‬‬

‫‪ 2‬מצבים ‪ A, B‬הם ‪ K‬בני הפרדה אם קיימת עוברם סדרת הפרדה באורך ‪K‬‬

‫שקולים‪:‬‬
‫‪ 2‬מצבים ‪ A, B‬הם שקולים אם כל סדרת כניסה אפשרית מפיקה אותה‬
‫סדרת יציאה בין אם המצב ההתחלתי הוא ‪ A‬או ‪.B‬‬
‫כלומר‪ A ,‬ו‪ B -‬שקולים אמ"מ הם אינם בני הפרדה‪.‬‬
‫)‪T-FF: Y(t)=TY(t-1‬‬
‫‪ K‬שקולים‪:‬‬
‫‪ A‬ו‪ B -‬הם ‪ K‬שקולים אמ"מ הם אינם ‪ K‬בני הפרדה‪.‬‬

‫האלגוריתם של ‪ Moore‬למינימיזציה‪:‬‬
‫מטבלת המצבים רואים את ההפרדה הראשונה בקלות ומשם מתחילים‪:‬‬
‫)‪(ABCD FG)(E‬‬ ‫מערכות עקיבה‬
‫‪x=0‬‬ ‫‪x=1‬‬
‫מימוש ‪ FF‬מסוג אחד בעזרת ‪ FF‬מסוג אחר‪:‬‬ ‫‪SR-Latch:‬‬
‫‪S‬‬ ‫‪Q‬‬ ‫‪ECBGED CAGADG‬‬
‫‪S( A FQ) ( B C D G ) ( E ) . . .‬‬ ‫דוגמא‪ :‬בניית ‪ JK‬בעזרת ‪.SR‬‬
‫ע"פ טבלת העירור של )‪ FF (SR‬שבעזרתו בונים את ה‪ FF-‬החדש (‪ )JK‬רושמים טבלה בצורה הבאה‪:‬‬
‫=‬ ‫מכאן ממשיכים הלאה באותו האופן‪:‬‬
‫גם ל‪ X=0 -‬וגם ל‪-‬‬
‫הביטוי ‪’Q‬‬
‫מפתחים את ‪R‬‬ ‫‪-‬‬
‫‪R‬‬ ‫‪ X=1‬תמיד ובודקים אילו מהאותיות שקיבלנו שייכות ‪’Q‬‬
‫לאותה קבוצה‬
‫הערה‪ :‬אם ‪ S=R=1‬ומשנים אותם ביחד ל‪ S=R=0 -‬המצב אינו ידוע ‪/‬‬
‫(למשל ‪ )ABCDFG‬ואילו שייכות לקבוצה השניה ( ‪.)E‬‬
‫מוגדר‪ .‬לכן יש מוסכמה – אין לשנות בו זמנית את ‪ S, R‬ב‪SR-Latch -‬‬
‫בוחרים להשתמש בחלוקה אפשרית אחת‬ ‫‪-‬‬
‫והמצב ‪ S=R=1‬אינו מוגדר‪.‬‬
‫(למשל ‪x=0 - .(ECBGED‬‬
‫רושמים מחדש את החלוקה כך שהמצבים‬ ‫‪-‬‬
‫שהופיע כשייכים לקבוצה אחרת יהיו בנפרד‪.‬‬ ‫אנליזה (ניתוח) של מערכות עקיבה סינכרוניות‬ ‫‪:Gated SR-Latch‬‬
‫ממשיכים באותו אופן עד אשר מקבלים את‬ ‫‪-‬‬ ‫הכניסה) – ז"א מה‬ ‫רושמים את משוואות העירור (משוואות‬ ‫‪.1‬‬
‫אותו הביטוי פעמים‪.‬‬ ‫‪S‬‬ ‫במערכת‪S.‬‬
‫שנכנס ל‪ FF -‬השונים ‪Q‬‬
‫אין חשיבות לסדר בתוך הקבוצה‪ ,‬אלא רק‬ ‫‪-‬‬ ‫‪G‬‬
‫ע"י המשוואות האופייניות של ה‪ FF -‬מוצאים את משוואות‬ ‫‪.2‬‬
‫לשייכות לקבוצה עצמה‪.‬‬ ‫’‪R Q‬‬ ‫המצב הבא‪.‬‬
‫‪R‬‬
‫מוצאים את משוואת התפוקה (מוצא המערכת)‪.‬‬ ‫‪.3‬‬
‫רישום טבלת המצבים החדשה‪:‬‬ ‫טבלת מעברים‪:‬‬ ‫‪.4‬‬ ‫‪:D-latch / Transparent Latch‬‬
‫‪G‬‬ ‫‪S‬‬ ‫‪Q‬‬
‫‪D‬‬
‫‪R‬‬ ‫’‪Q‬‬

‫‪:Edge Triggered D Flip-Flop‬‬

‫‪Master‬‬ ‫‪Slave‬‬ ‫‪ – PS‬המצב הנוכחי (‪.)Present State‬‬
‫‪Data‬‬ ‫‪D‬‬ ‫‪Q‬‬ ‫איזומורפיות‬
‫‪D‬‬ ‫‪Q‬‬‫‪D‬‬ ‫מכונות ‪Q‬‬ ‫‪ – NS‬המצב הבא ( ‪.)Next State‬‬
‫=‬ ‫‪ – X‬הוא הכניסה למערכת‪.‬‬
‫איזומורפיות‪:‬‬ ‫מכונות שקולות ‪/‬‬ ‫‪ – Z‬נקבע לפי ה‪.PS -‬‬
‫‪clk‬‬ ‫עבור אותו קלט מקבלים’‪Q‬את ‪G‬‬
‫אותו‬ ‫אמ"מ ‪G‬‬
‫איזומרפיות ‪ /‬שקולות ’‪Q‬‬
‫מכונות הן ’‪clk Q‬‬
‫טבלת מצבים‪:‬‬ ‫‪.5‬‬
‫הפלט‪ ,‬בשתי המכונות‪.‬‬ ‫לכל מצב של המערכת נותנים שם (אות)‪.‬‬ ‫מה שנכנס לכניסה ‪" D‬ייזכר" ע"י הרכיב‬ ‫‪-‬‬
‫ברגע שהשעור יעבור מצב‪.‬‬
‫ניתן להשוות בין ‪ 2‬מכונות רק במצב סטנדרטי ‪ /‬קנוני‪.‬‬ ‫שינוי מצב מתאפשר רק כאשר כניסת‬ ‫‪-‬‬
‫השעון משתנה מ‪ 0 -‬ל‪.1 -‬‬
‫צורה סטנדרטית ‪ /‬קנונית‪:‬‬ ‫יש רכיבים שבהם שינוי מצב מתאפשר רק‬ ‫‪-‬‬
‫שמות המצבים יקבעו לפי סדר הופעתם משמאל לימין‬ ‫כאשר כניסת השעון משתנה מ‪ 1 -‬ל‪.0 -‬‬
‫ומלמעלה למטה‪.‬‬ ‫דיאגרמת מצבים‪:‬‬ ‫‪.6‬‬ ‫כל עוד כניסת השעון נשארת קבועה –‬ ‫‪-‬‬
‫‪X/Z‬‬ ‫הרכיב "זוכר" את המצב הקיים‪.‬‬
‫‪0/0‬‬
‫‪0/0‬‬ ‫תנאי לפעולה תקינה – זמן ההתפשטות‬ ‫‪-‬‬
‫‪1/1‬‬ ‫‪0/1‬‬ ‫בשער ‪ NOT‬קצר מזמן ההתפשטות ב‪ .Master -‬כלומר‪ ,‬ה‪Slave -‬‬
‫‪B‬‬
‫ינעל לפני שיציאת ה‪ Master -‬משתנה‪.‬‬
‫‪A‬‬ ‫‪1/0‬‬ ‫‪0/0‬‬ ‫‪D‬‬
‫מאפייני תזמון של ‪:FF‬‬
‫‪C‬‬ ‫‪ :TPC-Q‬זמן התפשטות‪ .‬מרגע השפה‬ ‫‪-‬‬
‫‪1/0‬‬ ‫‪1/0‬‬ ‫מוצאים מה עושה המערכת ע"י הצבת מספר סדרות‬ ‫‪.7‬‬ ‫הפעילה של השעון (שינוי מצב בשעון) ועד שמוצא הרכיב מתייצב עם‬
‫מכונה קשורה היטב‪:‬‬ ‫כניסה‪.‬‬ ‫התוכן החדש‪.‬‬
‫מכונה שבה לכל זוג מצבים ‪ A, B‬קיימת סדרת כניסה המעבירה ממצב ‪A‬‬ ‫‪ :TCC-Q‬הזמן מרגע השפה הפעילה של‬ ‫‪-‬‬
‫למצב ‪.B‬‬ ‫סינתזה (תכנון) של מערכות עקיבה סינכרוניות‬ ‫השעון‪ ,‬בו עדיין מובטח שמוצא הרכיב יציב בערכו הקודם‪.‬‬
‫הגדרת מצבים‪.‬‬ ‫‪.1‬‬ ‫‪TPC-Q > TCC-Q‬‬
‫אחרי שעבר זמן זה‬ ‫עד זמן זה בטוח לא‬ ‫דיאגרמת מצבים‪.‬‬ ‫‪.2‬‬
‫בטוח שהתוכן התייצב‪.‬‬ ‫קרה דבר לתוכן‪.‬‬ ‫טבלת מצבים‪.‬‬ ‫‪.3‬‬
‫טבלת מעברים‪.‬‬ ‫‪.4‬‬ ‫)‪ .TS – (Setup Time‬הכניסה ‪ D‬חייבת‬ ‫‪-‬‬
‫טבלת עירור למימוש בעזרת ‪ FF‬מסוים (לפי טב'‬ ‫‪.5‬‬ ‫להיות יציבה לפחות ‪ TS‬לפני השפה הפעילה של השעון‪.‬‬
‫המעברים הנ"ל)‪.‬‬ ‫)‪ .TH – (Hold Time‬הכניסה ‪ D‬חייבת‬ ‫‪-‬‬
‫להשאר בערכה החוקי לפחות ‪ TH‬אחרי השפה הפעילה‪.‬‬
‫הערות‪:‬‬
‫‪ TS‬ו‪ TH -‬הן דרישות שהיצרן מגדיר‪.‬‬ ‫‪-‬‬
‫‪ TS‬ו‪ TH -‬קטנים בהשוואה להשהיות‬ ‫‪-‬‬
‫אחרות‪.‬‬
‫בד"כ נדרוש‪.TCC-Q > TH :‬‬ ‫‪-‬‬
‫מפות קרנו ל‪ FF -‬ולמוצא ‪.Z‬‬ ‫‪.6‬‬