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

נושאי הקורס

1. אלגברה בוליאנית ולוגיקה בסיסית
   • הגדרה אקסיומטית לאלגברה בוליאנית.
   • תחשיב פסוקים ופונקציות בוליאניות.
   • צורות קאנוניות ומינימיזציה של פונקציות.
   • מפות קרנו ויישומן.
2. המודל הספרתי
   • שערים לוגיים ותכנון מעגלים צירופיים.
   • סינתזה ותזמון במעגלים.
   • זיהוי וטיפול בסיכונים במערכות צירופיות.
3. ערכים, ייצוגם, ופעולות עליהם
   • הייצוג הפוזיציונלי ושיטות משלים.
   • מעגלים צירופיים לביצוע פעולות חיבור וחיסור.
4. רכיבי זיכרון
   • מעגלים דו-יציבים (Latch ו-Flip-flop).
   • תזמון רכיבי זיכרון וקביעת תדר שעון למעגלים.
5. מערכות עקיבה סינכרוניות
   • מכונות מצבים סופיות מסוג Mealy ו-Moore.
   • אנליזה וסינתזה של מערכות עקיבה.
   • מינימיזציה של מכונות מצבים סופיות.
   • מחזוריות ואלגוריתמים יעילים לעבודה עם מכונות מצבים.