1. No category

‫קורס וריפיקציה ב ‪ SystemVerilog‬ו ‪UVM‬‬
‫מטרת הקורס‬
‫קורס זה מיועד להכשיר אנשי פיתוח לבצע וריפיקציה של חומרה בשיטות מודרניות הכוללות שפת‬
‫תכנות ‪ SystemVerilog‬ומתודולוגית ‪ .UVM‬הקורס עוסק בנושאים בסיסיים ומתקדמים בתכנות‬
‫בעזרת ‪ ,SystemVerilog‬הבנה עמוקה של יסודות הוריפיקציה המודרנית‪ ,‬תכנות מונחה עצמים‬
‫(‪ )OOP‬ומתודולוגית ‪ .UVM‬בנוסף‪ ,‬הקורס מכיל תרגולים מעשיים‪ ,‬שימוש בכלי פיתוח המקובלים‬
‫בתעשייה‪ ,‬וכן פרוייקט גמר הנעשה בשיטות המקובלות בתעשייה כולל הצגת הפרוייקט ותהליכי ‪.DR‬‬
‫קהל היעד‬
‫בוגרי לימודי אלקטרוניקה ומחשבים שמחפשים להשטלב במקצוע של מהנדס ווריפיקציה‪.‬‬
‫דרכי ההוראה בקורס‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫כ‪ 01 -‬הרצאות פרונטאליות‬
‫חוברת קורס ‪ +‬חומרי עזר מודפסים‬
‫שימוש בתוכנות פיתוח מתקדמות הנהוגות בחברות המובילות בתעשייה‬
‫תרגולים מעשיים ומעבדות מודרכות כוללים פיתוח סביבת וריפיקציה וכתיבת קוד ב‪-‬‬
‫‪SystemVerilog‬‬
‫לימוד לעומק של פרוייקט מהתעשייה‬
‫ביצוע פרוייקט גמר מעשי על כל שלבי הפיתוח והצגתו‬
‫מתכונת הקורס‪:‬‬
‫מיקום‪ :‬מכללת מגמות‪ ,‬פארק אזורים‪ ,‬פתח תקווה‬
‫מפגשים‪ :‬הקורס יכלול ‪ 08‬מפגשים שבועיים של ‪ 4‬שעות כל אחד‬
‫מחיר‪( ₪ 8,011 :‬ניתן לשלם עד ‪ 6‬תשלומים בכרטיס אשראי ללא ריבית)‬
‫סילבוס לקורס ווריפיקציה ב ‪SystemVerilog‬‬
‫שיעור ‪ :1‬מבוא למתודולוגיה מודרנית‬
‫‪ ‬מבוא לתחום וריפקציה ומושגיי יסוד בוריפיקציה‬
‫מודרנית‬
‫עקרונות של וריפיקציה מודרנית‬
‫השוואה של גישה מודרנית לגישה מסורתית‬
‫‪Coverage Driven Verification‬‬
‫מבוא לפיתוח תוכנה‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫שיעור ‪1LAB :3‬‬
‫‪ ‬כלים וסביבת עבודה‬
‫‪n‬מושגים‬
‫‪:2‬‬
‫שיעור‬
‫‪SystemVerilog‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫אילוצים של תהליך הרנדומיזציה‬
‫מכונת פתרון אילוצים (‪)Solver‬‬
‫סוגים מתקדמים של אילוצים‪ :‬אילוצי התפלגות‪,‬‬
‫אילוצים מותנים‪ ,‬אילוצי סדר‪ ,‬אילוצי מארך‬
‫אילוצים והגנה על נתוני אילוצים בירושה‬
‫אילוצים מדורגים‬
‫‪ Polymorphism‬של אילוצים‬
‫עקביות ו‪seeding-‬‬
‫יתרונות של ‪ SV‬למטרת וריפיקציה מודרנית‬
‫סוגי נתונים בסיסיים מיוחדים ל‪SV-‬‬
‫סוגי נתונים מתקדמים ב‪SV-‬‬
‫מבנים לוגיים ולולאות‬
‫פונקציות וטאסקים‬
‫שיעור ‪ :4‬תכנות מונחה עצמים ( ‪Object‬‬
‫‪)Oriented Programming‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫שיעור ‪ :5‬רנדומיזציה (הגרלת נתונים) ב‪SV-‬‬
‫בסיסיים‬
‫מונחים הבסיסים ב‪OOP-‬‬
‫מחלקות ואובייקטים‬
‫קונסטרקטורים‬
‫הצבת מצביעים מול העתקת אובייקטים‬
‫ירושה של מחלקות‪ ,‬מתודות‪ ,‬נתונים‬
‫הגנה על הנתונים בירושה‬
‫‪Polymorphism‬‬
‫שיעור ‪2LAB :6‬‬
‫‪‬‬
‫רנדומיזציה‬
‫שיעור ‪ :7‬תהליכים מקביליים‪ ,‬ממשקים‪ ,‬בלוקים שיעור ‪1UVM :8‬‬
‫‪‬‬
‫מיוחדים‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫עוצמה של תהליכים מקביליים‬
‫יצרה וניהול של תהליכים מקביליים‬
‫אמצעי תקשורת בין תהליכים מקביליים ב‪ :SV-‬ארוע‪,‬‬
‫רמזור‪ ,‬שליחת הודעה‬
‫זמנים ושעונים ב‪SV-‬‬
‫ממשקים בין מודולים של המערכת‬
‫סינכרוניזציה ו‪( ports-‬יציאות) בממשקים‬
‫בלוקים מיוחדים ב‪SV-‬‬
‫שיעור ‪3LAB :9‬‬
‫‪‬‬
‫סביבת וריפיקציה ראשונה‬
‫שיעור ‪3UVM:11‬‬
‫שיעור ‪2UVM :11‬‬
‫‪‬‬
‫שיעור ‪4LAB :12‬‬
‫‪‬‬
‫סביבת וריפיקציה המשך‬
‫מפגש ‪ :13‬כיסוי מרחב הבדיקות תוך כדי תהליך מפגש ‪SV Assertions :14‬‬
‫‪ ‬מבוא לנושא ‪Assertions‬‬
‫הוריפיקציה‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫סוגי הכיסוי‪ :‬כסוי הקוד וכיסוי פונקציונאלי‬
‫מוסגים בסיים בתחום כיסוי מרחב הבדיקות‬
‫קבוצות כיסוי‪ ,‬נקודות כיסוי‪ ,‬כיסוי הדדי‬
‫ב‪-‬‬
‫‪ ‬ספרייה מובנת ב‪SV-‬‬
‫‪ ‬הגדרת ‪ Assertions‬על ידי המשתמש‬
‫‪ ‬בינים אוטומאטיים ומוגדרים על ידי המשתמש‬
‫‪ ‬דגימות‬
‫‪ ‬אנליזה של לאקונות בכיסוי הבדיקות‬
‫‪ GUI ‬לאנליזה‬
‫שיעור ‪ :16-17‬הגדרה‪ ,‬הצגה והרצות של‬
‫שיעור ‪5LAB :15‬‬
‫‪ ‬הגדרת כיסוי ו ‪Coverage Driven Verification‬‬
‫פרוייקט דוגמא‬
‫שיעור ‪ :18-22‬הגדרת פרויקט גמר ופגישות על התקדמות הפרוייקט‬
‫לפרטים נוספים אנא צור‪/‬י קשר עם נתנאל בטלפון ‪ 10-6060106‬או ‪154-4066084‬‬
‫או באימייל ‪ [email protected]‬או דרך האתר ‪www.chipdesigncollege.com‬‬
‫נשמח לראותך בין תלמידנו‬
‫צוות הייטק אקספרטס (צ'יפ דזיין קולג') מבית מייפל טכנולוגיות בע"מ‬