מקצוע מידע על מקצוע : תכן לוגי ממוחשב של שבבים - 046880 (Current)

046880 - תכן לוגי ממוחשב של שבבים
נקודות
זיכוי
3.0
 
ניתן
בסמסטר
א
 
עבודת
בית
פרויקט
או סמינר
מעבדה תרגול הרצאה  
8     1 2 שעות
שבועיות

קביעת הציון עפ"י מעקב במשך הסמסטר ובחינה סופית.


  044252 מערכות ספרתיות ומבנה המחשב   (   מקצועות קדם
) 044268 מבוא למבני נתונים ואלגוריתמים ו -    
  044252 מערכות ספרתיות ומבנה המחשב   ( או
) 234247 אלגוריתמים 1 ו -    
  234247 אלגוריתמים 1   ( או
) 234262 תכן לוגי ו -    
 
  048880 תכן בעזרת מחשב של וי.ל.ס.י.       מקצועות זהים


ייצוגים של מערכות vlsi. מתודולוגיות של תכן. כלי תכן לסוגיהם. מודלים מבניים והתנהגותיים. שפות ומבני נתונים לתיאור חמרה. אימות סטטי ודינמי. סימולטורים לרמות ייצוג שונות. שיטות לאימות פורמלי, שימוש ב-bdd. סינתזה לוגית אוטומטית. ניתוח סטטי של השהיות ומסלולים. סינתזה להשגת יעדי תזמון.

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


הערות
מתרגל ובודק תרגילים: מור דהאן




מועדי בחינות 01/2022 , 2202/2023 חורף תשפ"ג
שעת בחינה יום תאריך מועד
  ה 16.02.2023 א
  ה 16.03.2023 ב

מערכת שעות לסמסטר 01/2022 , 2202/2023 חורף תשפ"ג
חדר בניין מועד יום מרצה תרגיל
הרצאה
מס. קבוצת
רישום
343 פישבך 15:30-17:30 א פרופסור קולודני אבינועם הרצאה 10 11
343 פישבך 17:30-18:30 א פרופ' דהאן מור מרדכי תרגול 11


ספרי לימוד
שנת הוצאה מוציא לאור מחברים ספר
1994 mcgraw-hill g. demicheli synthesis and optimization of digital circuits
1996 mcgraw-hill m. sarrafzaden and c.k. wong an introduction to vlsi physical design
1996 kluwer academic publishers g.d. hachtel and f. somenzi logic synthesis and verification algorithms

נערך בתאריך 03/10/2022 בשעה 16:58:26