שלבי ביצוע הסינטזה
- דיאגרמת מצבים
- טבלת מצבים (+ צמצום(לא הסמסטר))
- הקצאת מצבים (קוד לכל מצב)
- טבלת מעברים ופלט (הצבת קודים בטבלת המצבים)
- מציאת הפונקציות המתארות את כניסות ה- ואת המוצא
- שרטוט המעגל
תכנן מערכת סינכרונית בעלת כניסה אחת ויציאה אחת המפיקה כשאחת הסדרות הבאות ומופיעה: .
המערכת חוזרת למצב ההתחלתי אחרי ש-.
נעבור לטבלת מצבים:
כעת נקודד את היצורים האלו לביטים:
למה לא מוותרים על צירופי הברירה? כי אנו נוכל להשתמש בהם לצמצם פונקציות במפת קרנו.
כעת, נבנה את אותה מפת קרנו:
כשנשרטט את המעגל נקבל:

שרטט דיאגרמת מצבים של מערכת סינכרונית בעלת כניסה אחת ויציאה אחת.
עבור סיבית כניסה בעלת אינדקס זוגי, הפלט זהה לכניסה.
עבור סיבית כניסה בעלת אינדקס אי זוגי, הפלט יהיה הערך שנכנס שתי כניסות קודם.
הניחו כי מתחילים מאינדקס מספר אחד וכי כל הכניסות עד כה היו .
השאלה מכווינה אותנו למכונת שכן באחד המצבים, הפלט צריך להיות זהה על קלט.
מצב זוגי + 0 ממקודם ⟸ מקבלים עוברים למצב אי זוגי של . מקבלים עוברים למצב אי זוגי של .
מצב זוגי + 1 ממקודם ⟸ מקבלים עוברים למצב אי זוגי של . מקבלים עוברים למצב אי זוגי של .
מצב אי זוגי + 0 ממקודם ⟸ מקבלים עוברים למצב זוגי של . מקבלים עוברים למצב זוגי של .
מצב אי זוגי + 1 ממקודם ⟸ מקבלים עוברים למצב זוגי של . מקבלים עוברים למצב זוגי של .
הפלט הוא או באי זוגי לפי המצב, לא משנה מה אות הקבלה ובמצבים הזוגיים הפלט הוא הכניסה.
זה האוטומט שלנו :)
עכשיו נדרש לעשות את כל הדברים המעצבנים.
כך נמשיך לקידוד ואז מפת קרנו ולבסוף שרטוט המעגל.
רוצים לממש מערכת שמוציאה אם ורק אם המספר שהתקבל עד כה מתחלק ב-.
למערכת כניסה אחת ויציאה אחת והיא מוזנת תחילה מה-.
א. מהו המספר המינימלי של הנדרש למימוש המערכת?
ב. מהו סוג המערכת? האם ניתן להפוך אותה למערכת מן הסוג השני? אם כן, כמה דורשים לצורך המימוש?
הטריק המתמטי פה הוא להסתכל על הביטים הראשונים ואם הם כולם אפס, אז זה בהכרח מתחלק ב-. למה? כמו שאם נרצה לדעת מה מתחלק ב- נבדוק את ספרת האחדות - זה ההקבלה של זה בבינארי.
מכיוון שאנו מקבלים את המספר תחילה מה-, אזי נבדוק אם הביטים האחרונים שקיבלנו הם ואם כן ניצא .
מימוש מילי:

מימוש מוור:
