מידע כללי
ייצוגים של מערכות VLSI. מתודולוגיות של תכן. כלי תכן לסוגיהם. מודלים מבניים והתנהגותיים. שפות ומבני נתונים לתיאור חמרה. אימות סטטי ודינמי. סימולטורים לרמות ייצוג שונות. שיטות לאימות פורמלי, שימוש ב-BDD. סינתזה לוגית אוטומטית. ניתוח סטטי של השהיות ומסלולים. סינתזה להשגת יעדי תזמון. תוצאות למידה: בתום הקורס הסטודנט ידע 1. לתאר את תהליך הסינתזה של מערכת VLSI ואת האלגוריתמים בהם משתמשים במגוון סוגים של כלים לתכן אוטומטי בעזרת מחשב. 2. להשתמש בייצוגי מערכת, אלגוריתמים ומבני נתונים במטלות תכנות. 3. ירכוש תובנות ויפתח יכולת להבין ספרות מקצועית בתחום.
פקולטה: הנדסת חשמל ומחשבים
|תואר ראשון
|תארים מתקדמים
מקצועות קדם
(44252 - מערכות ספרתיות ומבנה המחשב ו- 44268 - מבוא למבני נתונים ואלגוריתמים) או (44252 - מערכות ספרתיות ומבנה המחשב ו- 234247 - אלגוריתמים 1) או 234247 - אלגוריתמים 1
מקצועות ללא זיכוי נוסף
48880
ספרי המקצוע
- Algorithms for VLSI design automation - Gerez, Sabih H.
- Introduction to algorithms
- Introduction to algorithms - Cormen, Thomas H.
- Logic synthesis and verification algorithms - Hachtel, Gary D.
- Logic synthesis and verification algorithms - Hachtel, Gary D.
- Logic Synthesis and Verification Algorithms - Hachtel, Gary D.
- Synthesis and optimization of digital circuits - De Micheli, Giovanni
מידע סמסטריאלי
שעות שבועיות
3 נקודות אקדמיות • 2 שעות הרצאה • 1 שעות תרגול
אחראים
דר. זהבי איתן
הערות
-
מתרגל ובודק תרגילים: מור דהאן
-
בדיקת תרגילים רטובים: יואב כהן
מבחנים
מועד א: 09-05-2024 09:00 - 12:00- אולמן 605. 606. 607.
- הנ.מזון 100. 300.
- אולמן 601.
קבוצות רישום
|
|
שעות שבועיות
3 נקודות אקדמיות • 2 שעות הרצאה • 1 שעות תרגול
אחראים
פרופ. קולודני אבינועם
הערות
-
מתרגל ובודק תרגילים: מור דהאן
מבחנים
מועד א: 16-02-2023 מועד ב: 16-03-2023קבוצות רישום
|
|
שעות שבועיות
3 נקודות אקדמיות • 2 שעות הרצאה • 1 שעות תרגול
אחראים
דר. יביץ לאוניד
הערות
-
מתרגל ובודק תרגילים: מור דהאן
מבחנים
מועד א: 09-02-2022 09:00 - 12:00- אולמן 500. 501. 502.
- דייויס 641.
- אולמן 205.
קבוצות רישום
|
|
|
|