חזור לתיקייה: תרגול

7 - סינטזה של מערכות סינכרוניות

חיפוש בתיקיה
Ctrl K
לחץ כאן או הקש Ctrl K כדי לחפש בכל התיקיה
  • שלבי ביצוע הסינטזה

7 - סינטזה של מערכות סינכרוניות

00440252

מערכות ספרתיות ומבנה המחשב

רשימות תרגול לקריאה בשבת

סינטזה של מערכות סינכרוניות

הופק מתוך תקיית התואר של שקד

uni-folder.vercel.app

שלבי ביצוע הסינטזה

  1. דיאגרמת מצבים
  2. טבלת מצבים (+ צמצום(לא הסמסטר))
  3. הקצאת מצבים (קוד לכל מצב)
  4. טבלת מעברים ופלט (הצבת קודים בטבלת המצבים)
  5. מציאת הפונקציות המתארות את כניסות ה-FFFFFF ואת המוצא ZZZ
  6. שרטוט המעגל
תרגיל

תכנן מערכת סינכרונית בעלת כניסה אחת ויציאה אחת המפיקה z=1z=1z=1 כשאחת הסדרות הבאות ומופיעה: 1100,1010,110011100,1010,110011100,1010,11001.
המערכת חוזרת למצב ההתחלתי אחרי ש-z=1z=1z=1.

​7 - סינטזה של מערכות סינכרוניות 2026-06-22 08.40.44.excalidraw.svg
נעבור לטבלת מצבים:

PSx=0x=1AA,0B,0BD,0C,0CE,0C,0DF,0G,0EA,1G,0FA,0A,1GA,1C,0\begin{array}{c|cc} PS & x=0 & x=1 \\ \hline A & A,0 & B,0 \\ B & D,0 & C,0 \\ C & E,0 & C,0 \\ D & F,0 & G,0 \\ E & A,1 & G,0 \\ F & A,0 & A,1 \\ G & A,1 & C,0 \end{array}PSABCDEFG​x=0A,0D,0E,0F,0A,1A,0A,1​x=1B,0C,0C,0G,0G,0A,1C,0​​

כעת נקודד את היצורים האלו לביטים:

PSx=0x=1NSNSY1Y2Y3=Y1Y2Y3=y1y2y3D1D2D3zD1D2D3z00000000010001010001100111100011001010001010110000110101000000000110100010110111∅∅∅∅∅∅∅∅\begin{array}{|c|cc|cc|} \hline PS & x=0 & & x=1 \\ & NS & & NS \\ & Y_{1}Y_{2}Y_{3}= & & Y_{1}Y_{2}Y_{3}= \\ y_{1}y_{2}y_{3} & D_{1}D_{2}D_{3} & z & D_{1}D_{2}D_{3} & z \\ \hline 000 & 000 & 0 & 001 & 0 \\ \hline 001 & 010 & 0 & 011 & 0 \\ \hline 011 & 110 & 0 & 011 & 0 \\ \hline 010 & 100 & 0 & 101 & 0 \\ \hline 110 & 000 & 1 & 101 & 0 \\ \hline 100 & 000 & 0 & 000 & 1 \\ \hline 101 & 000 & 1 & 011 & 0 \\ \hline 111 & \varnothing\varnothing\varnothing & \varnothing & \varnothing\varnothing\varnothing & \varnothing \\ \hline \end{array}PSy1​y2​y3​000001011010110100101111​x=0NSY1​Y2​Y3​=D1​D2​D3​000010110100000000000∅∅∅​z0000101∅​x=1NSY1​Y2​Y3​=D1​D2​D3​001011011101101000011∅∅∅​z0000010∅​​

למה לא מוותרים על צירופי הברירה? כי אנו נוכל להשתמש בהם לצמצם פונקציות במפת קרנו.
כעת, נבנה את אותה מפת קרנו:
​7 - סינטזה של מערכות סינכרוניות 2026-06-22 08.54.41.excalidraw.svg

כשנשרטט את המעגל נקבל:
​ספרתיות תרגול 8 - תמונה 2.png

תרגיל

שרטט דיאגרמת מצבים של מערכת סינכרונית בעלת כניסה אחת ויציאה אחת.
עבור סיבית כניסה בעלת אינדקס זוגי, הפלט זהה לכניסה.
עבור סיבית כניסה בעלת אינדקס אי זוגי, הפלט יהיה הערך שנכנס שתי כניסות קודם.
הניחו כי מתחילים מאינדקס מספר אחד וכי כל הכניסות עד כה היו 000.

השאלה מכווינה אותנו למכונת MilyMilyMily שכן באחד המצבים, הפלט צריך להיות זהה על קלט.

מצב זוגי + 0 ממקודם ⟸ מקבלים 000 עוברים למצב אי זוגי של 000. מקבלים 111 עוברים למצב אי זוגי של 000.
מצב זוגי + 1 ממקודם ⟸ מקבלים 000 עוברים למצב אי זוגי של 111. מקבלים 111 עוברים למצב אי זוגי של 111.
מצב אי זוגי + 0 ממקודם ⟸ מקבלים 000 עוברים למצב זוגי של 000. מקבלים 111 עוברים למצב זוגי של 111.
מצב אי זוגי + 1 ממקודם ⟸ מקבלים 000 עוברים למצב זוגי של 000. מקבלים 111 עוברים למצב זוגי של 111.
הפלט הוא 000 או 111 באי זוגי לפי המצב, לא משנה מה אות הקבלה ובמצבים הזוגיים הפלט הוא הכניסה.

​7 - סינטזה של מערכות סינכרוניות 2026-06-22 09.12.40.excalidraw.svg
זה האוטומט שלנו :)
עכשיו נדרש לעשות את כל הדברים המעצבנים.

PS01AB,0C,0BA,0A,1CD,0D,1DB,1C,1\begin{array}{|c|cc|} \hline PS & 0 & 1 \\ \hline A & B,0 & C,0 \\ B & A,0 & A,1 \\ C & D,0 & D,1 \\ D & B,1 & C,1 \\ \hline \end{array}PSABCD​0B,0A,0D,0B,1​1C,0A,1D,1C,1​​

כך נמשיך לקידוד ואז מפת קרנו ולבסוף שרטוט המעגל.

תרגיל

רוצים לממש מערכת שמוציאה z=1z=1z=1 אם ורק אם המספר שהתקבל עד כה מתחלק ב-323232.
למערכת כניסה אחת ויציאה אחת והיא מוזנת תחילה מה-MSBMSBMSB.
א. מהו המספר המינימלי של DFFDFFDFF הנדרש למימוש המערכת?
ב. מהו סוג המערכת? האם ניתן להפוך אותה למערכת מן הסוג השני? אם כן, כמה DFFDFFDFF דורשים לצורך המימוש?

הטריק המתמטי פה הוא להסתכל על 555 הביטים הראשונים ואם הם כולם אפס, אז זה בהכרח מתחלק ב-323232. למה? כמו שאם נרצה לדעת מה מתחלק ב-101010 נבדוק את ספרת האחדות - זה ההקבלה של זה בבינארי.
מכיוון שאנו מקבלים את המספר תחילה מה-MSBMSBMSB, אזי נבדוק אם 555 הביטים האחרונים שקיבלנו הם 000 ואם כן ניצא 111.

מימוש מילי:
​ספרתיות תרגול אוטומטים - 4.png
מימוש מוור:
​ספרתיות תרגול אוטומטים - 5.png