מבוא: סקירת תהליך תכנון רכיבים. סקירת מגמות עכשוויות ועתידיות בהתפתחות טכנולוגיית ה-VLSI: ITRS, העלייה בחשיבות ההספק, בעיות בטכנולוגיות DSM. מושג הסיבוכיות. סיבוכיות של בעיות אופייניות בתכן מעגלים משולבים (אימות לוגי, מיקום, חיווט); וריפיקציה פורמלית: יתרונות וחסרונות יחסית לוריפיקציה פונקציונלית. שקילות לוגית של מערכות. אלגברה בוליאנית (חזרה): משפטי שנון, cofactors, פונקציות יוניטריות (מונוטוניות עולות או יורדות). BDD (Binary Decision Diagrams). מוטיבציה. הגדרה, בנייה ומינימיזציה של BDDs; אלגוריתמים לעריכת מעגלים משולבים: בעיות מיקום וחיווט. עצי שטיינר, אלגוריתם Lee. Kd-Tree ו-Range search; שיטות אופטימיזציה : סימולציות: Simulated Annealing, Exhaustive Search, Branch & Bound. תכנות דינמי. אלגוריתמי קירוב. היוריסטיקות; ריבוי מעבדים על שבב יחיד ורשת על גבי שבב: מוטיבציה. מערכות על גבי שבב עבור יישום מסויים (ASSoC) ושבב מרובה מעבדים(CMP); חיווט: נקודה לנקודה, עורק ורשת על גבי שבב; ניתוב: דינאמי / סטטי, DOR, O1Turn. ניתוב חור-תולעת; גישה הסתברותית לתכנון.תכנון מוכוון למקרה הגרוע ולמקרה הממוצע. תחרותיות של אלגוריתמים. הדגמה באמצעות הקצאת קיבולים ברשת על גבי שבב; תכנון מעבדים דלי הספק. סיבות לצריכת הספק סטטי והספק דינאמי. Gated Clock. הדגמה באמצעות חיסכון בהספק במנגנונים לחיזוי קפיצות.
דרישות הקדם והדרישות המקבילות בקורס תכנון באמצעות מחשב של מעגלי VLSI הינן:
דרישות קדם: הסתברות וסטטיסטיקה (40009), תכן לוגי מתקדם (40054), אלקטרוניקה ספרתית (40031)
דרישות מקבילות: אין
לחצו למעבר אל תוכנית לימודי הנדסת אלקטרוניקה - התמחות VLSI
לחצו למעבר אל תוכנית לימודי הנדסת אלקטרוניקה - התמחות בתקשורת
