אימות שבבים – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
שורה 11:
 
==אופן הביצוע==
כיום, ישנם שבבים מאוד מורכבים, ולכן מחלקים את השבב הנבדק ל-"בלוקים" - קטעי קוד, כאשר כל בלוק אחראימבצע לפונקציונליותפונקציונליות מסוימת של השבב. סביבתעבור אימותכל בלוק נבנית לכלסביבת בלוקבדיקה בנפרדנפרדת. לאחר שכל בלוק נמצא נקי מבאגיםתקין, מבצעים אתבדיקות אותואינטגרציה התהליךשל ברמתכל השבבהבלוקים כולוביחד, על-מנת לוודא שכל המכלולים עובדים כמו שצריך.
 
תהליך הוריפיקציה מורכבהוא מכמהתהליך שלביםאיטרטיבי המורכב ממספר שלבים:
# הבנת תכן הרכיב על כל תכונותיו ויכולותיו (לא נכנסים למימוש).
# הגדרת המקרים שאותם הוריפיקציהצריך מכסהלמדל (coverage).
# כתיבת תוכנית (verification plan)עבודה שמגדירה מה ייבדק., ואיך (Verification Plan)
# הגדרת המקרים שאותם הוריפיקציה מכסה (coverage).
# קידוד הסביבהסביבת הווריפיקציה.
# הרצת הבדיקות.
# ניתוח "נפילות" של טסטים וניתוח חורים שלא כוסו
# מציאת הבעיות ו-debug.
# עדכון קוד הדזיין וסביבת הווריפיקציה בהתאם
 
לאחר מכן, נמשך התהליך של הרצה-ניתוח-תיקון עד שכל המקרים שאמורים להתמדל נוצרו.
 
== שפות וריפיקציה ==