VERIFICATION - בהדגש על שילוב התיאוריה והשימוש המתקדם בעולם האמתי עם הדגשים על העקרונות והמתודולוגיות במטרה להתגבר על החסמים התיאורטיים של השיטות הפורמליות. חומר הקורס כולל מבוא לתכנון שבבים ואימות חומרה, סקירה של אלגוריתמי אימות פורמלי ומנועי חיפוש, שימוש בלוגיקה טמפורלית ושפת אפיון סטנדרטית SVA, שיטות צמצום ורדוקציה של מרחב החיפוש הפורמלי לאימות מערכות חומרה מסובכות, מבחר של אפליקציות פורמליות ושימושיהן בתהליך האימות, כמו שקילות לוגית, כיסוי לוגי, בטיחות ואבטחה של תכנון. מבוא ללמידה ובינה מלאכותית באימות הפורמלי. תוצאות למידה: עם השלמת הקורס בהצלחה, הסטודנטיות והסטודנטים יוכלו להשתמש ברעיונות ובשיטות שנלמדו להתמודד עם בעיות וריפיקציה קשות בתעשייה בעיקר בתחום הפורמלי. תהיה להם הבנה עמוקה ביישומים השונים וגם בכלים מודרניים בהם תעשייה משתמשת ובשיטות אימות מתקדמות. הידע הנרכש יהווה בסיס טוב להמשך מחקר ופיתוח של כלים ושיטות אימות במסגרת לימודי תארים מתקדמים.

פקולטה: הנדסת חשמל ומחשבים
|תואר ראשון |תארים מתקדמים
מקצועות קדם

44252 - מערכות ספרתיות ומבנה המחשב