מכוסה - מקוון בענן

תָכְנִית:

שֵׁם

מכוסה - מנתח כיסוי קוד Verilog

תחביר

מכוסה [אפשרויות_גלובליות] ציון [אפשרויות]
מכוסה [אפשרויות_גלובליות] למזג [אפשרויות] מסד נתונים_קיים מסד נתונים_למיזוג+
מכוסה [אפשרויות_גלובליות] לדווח [אפשרויות] database_file
מכוסה [אפשרויות_גלובליות] לדרג [אפשרויות] מסד נתונים_לדרג מסד נתונים_לדרג+
מכוסה [אפשרויות_גלובליות] להוציא [אפשרויות] אי הכללה_מזהה+ database_file

תיאור

מכוסה הוא כלי לניתוח כיסוי קוד Verilog שיכול להיות שימושי לקביעה כיצד
ובכן, חבילת בדיקות אבחון מכסה את התכנון הנבדק. קריאות מכוסות ב-
קובצי עיצוב של Verilog וקובץ dump בפורמט VCD, LXT2 או FST מתוך ריצת אבחון ו
יוצר קובץ מסד נתונים הנקרא קובץ Coverage Description Database (CDD), תוך שימוש ב-
פקודה ציון. ניתן להשתמש בפקודת הציון של Covered לחילופין כדי ליצור קובץ CDD
ומודול Verilog לשימוש ב-Covered כמודול VPI בספסל בדיקה שיכול להשיג
מידע כיסוי במקביל לסימולציה (ראה משתמש סמוי AS A IPV מודול).
ניתן למזג קובץ CDD שנוצר עם קבצי CDD אחרים מאותו עיצוב ליצירה
כיסוי מצטבר, באמצעות פקודת המיזוג. לאחר יצירת קובץ CDD, המשתמש יכול
השתמש מכוסה כדי ליצור דוחות כיסוי שונים הניתנים לקריאה על ידי אדם בפורמט ASCII או שימוש
ה-GUI של Covered כדי להסתכל באופן אינטראקטיבי על תוצאות הכיסוי, באמצעות פקודת הדוח. אם
נמצאו נקודות כיסוי לא מכוסות שהמשתמש רוצה להוציא מהכיסוי, זה יכול
יטופל עם פקודת שורת הפקודה exclude או בתוך ה-GUI. כאשר מרובים
קבצי CDD נוצרים מאותו עיצוב, המשתמש עשוי לקבל דירוג כיסוי של
אותם קבצי CDD כדי לקבוע סדר אידיאלי לבדיקת רגרסיה כמו גם להבין
אילו קבצי CDD יכולים להיות מוחרגים מרגרסיה עקב חוסר היכולת שלהם להכות חדש
נקודות כיסוי. בנוסף, כחלק מפקודת הציון של Covered, מצב המירוץ
האפשרויות נמצאות בקבצי העיצוב וניתן להתעלם מהן, לסמן אותן כאזהרות
או מסומן כשגיאות. על ידי ציון תנאי הגזע כשגיאות, ניתן להשתמש גם ב-Covered
בתור בודק מצב גזע.

גלובלי אפשרויות

אפשרויות אלו ממוקמות מיד אחרי מילת המפתח מכוסה בשורת הפקודה. הֵם
יכול לשמש עבור כל פקודה (למעט -v ו -h) ויש להם את אותה השפעה ב
כל מקרה.

-B לְעַרְפֵּל. מטשטש את כל השמות הרגישים לעיצוב לפני הפלט
פורמט קריא למשתמש. אפשרות זו שימושית בעת שיתוף פלט עם
מפתחים של Covered למטרות ניפוי באגים.

-D לנפות. הצג מידע מועיל לבעיות איתור באגים בכלי. הערה: זה
האפשרות זמינה כעת רק כאשר מכוסה בנוי עם --enable-debug
אפשרות תצורה.

-h עֶזרָה. הצג מידע שימוש זה.

-P [שם הקובץ]
מצב יצירת פרופילים. מפעיל פרופיל קוד מקור פנימי שיפיק א
דוח פרופילים של פקודת ההפעלה לאחת מהמצוין שם הקובץ או, אם לא
שם הקובץ קיים, לקובץ שנקרא מכוסה.פרופ. אפשרות זו זמינה רק
אם --enable-profiling אפשרות התצורה צוינה כאשר Covered היה
בנוי.

-Q מצב שקט. גורם לדיכוי כל הפלט.

-T מצב תמצית. גורם לדיכוי כל הפלט למעט אזהרה
הודעות ומידע הכותרת המכוסה.

-v גִרְסָה. הצג את הגרסה המכוסה הנוכחית.

פקודות

ציון מנתח קבצי Verilog וקבצי dump VCD/LXT2/FST ליצירת קובץ מסד נתונים המשמש
מיזוג ודיווח.

למזג ממזג שני קבצי מסד נתונים או יותר לאחד.

לדווח יוצר דוחות כיסוי הניתנים לקריאה על ידי אדם מקובץ מסד הנתונים או מתחיל את הסיקור
דווח על GUI.

לדרג יוצר דוח המציין סדר אידיאלי להפעלת רגרסיות ומציין
קובצי CDD שאינם מוסיפים מידע כיסוי חדש (ולכן ניתן לא לכלול אותם
מרגרסיות, אם תרצה).

להוציא
מאפשר נקודת כיסוי אחת או יותר (מזוהה עם מזהי אי הכללה בדוח
נוצר עם אפשרות -x) כדי להפעיל את מאפיין ההחרגה שלהם (כולל אל
אל תכלול או אל תכלול כדי לכלול) ואם מאפיין ההחרגה מוגדר לא לכלול,
אפשר לאפשר אופציונלי סיבה להחרגה להיות משויכת אליה ומאוחסנת בה
קובץ ה-CDD שצוין.

SCORE פקודה

האפשרויות הבאות תקפות עבור פקודת הניקוד:

-A ינשוף גורם לשימוש בהצהרות OVL לכיסוי הצהרות. יש לתת את הדגל הזה
לפקודה ציון אם יש צורך במדדי כיסוי הצהרות בדוח
פקודה.

-cdd מסד נתונים
זהה לאפשרות -o. שימושי כאשר קובץ CDD שמקבל ניקוד הוא קלט לניקוד
פקודה.

-קלי [שם הקובץ]
גורם לאיפוי הבאגים של שורת הפקודה לשמש במהלך ניקוד קובץ dumpfile VCD/LXT2/FST.
If שם הקובץ צוין, קובץ זה מכיל מידע שנשמר בשיחה קודמת
לשמור היסט ב-CLI וגורם להשמעה חוזרת של ההיסטוריה הכלולה בקובץ הזה
לפני שורת הפקודה CLI. אם שם הקובץ לא צוין, ההנחיה של CLI תהיה
להיות זמין מיד בתחילת הסימולציה. אפשרות זו זמינה רק
כאשר מכוסה מוגדר עם -אפשר ניפוי באגים אוֹפְּצִיָה.

-שמרני
אם אפשרות זו צוינה, כל בלוקים לוגיים המכילים קוד שעלול לגרום
יש פערי כיסוי המובילים לתוצאות כיסוי שעלולות להיות לא מדויקות
הוסר משיקול הכיסוי. עיין במדריך למשתמש למידע נוסף על מה
סוג הקוד יכול להוביל לאי דיוקים בכיסוי.

-dumpvars [שם הקובץ]
אם אפשרות זו צוינה ללא האפשרויות -vcd או -lxt, העיצוב מנותח,
נוצר קובץ CDD ונקרא קובץ מודול Verilog ברמה העליונה שם הקובץ (אם זה
הערך מצוין) או "covered_dump.v" (אם שם הקובץ לא צוין) נוצר.
קובץ זה משמש בהידור של הסימולטור ליצירת קובץ dump. כלומר
מותאם להשגת כיסוי עבור קובץ ה-CDD שצוין. אם ה-vcd או
-אפשרויות lxt מצוינות, לאפשרות זו אין השפעה. עיין במדריך למשתמש עבור
מידע נוסף על אופן השימוש באפשרות זו.

-D הגדרת_שם
מגדיר את השם שצוין ל-1.

-D define_name=value
מגדיר את השם שצוין לערך שצוין.

-e block_name
שם של מודול, משימה, פונקציה או בלוק התחלה/סיום בשם שלא להבקיע. גורם לכל
תת בלוקים בעץ Verilog מתחת לבלוק זה גם לא יקבלו ניקוד.

-עא לא כולל את כל החסימות תמיד מלהיחשב לכיסוי.

-ec לא כולל את כל המשימות המתמשכות מלהיחשב לכיסוי.

-יי לא כולל את כל החסימות הראשוניות להיחשב לכיסוי.

-ef לא כולל את כל הבלוקים הסופיים להיחשב לכיסוי.

-אפ [שם]
לא כולל את כל הקוד שנמצא בין הפרגמות '// כיסוי כבוי' ו-'// כיסוי על'
מוטמע בתוך העיצוב. אם שם מצוין, מילת המפתח בפרגמה תהיה
ישתנה לשם זה במקום ברירת המחדל של "כיסוי", המאפשר למשתמש לעשות זאת
לשנות את מראה הפרגמה אם היא מתנגשת עם כלים אחרים.

-F module_name=[in_expr,]out_expr
מציין למנתח היכן למצוא את ה-FSM שנמצא במודול מודול_שם אשר
יש ביטוי מצב קלט שנקרא in_expr וביטוי מצב פלט נקרא
out_expr. אם in_expr לא מצוין, out_expr משמש גם כקלט וגם
ביטוי מצב פלט.

-f שם הקובץ
שם הקובץ המכיל ארגומנטים נוספים לניתוח.

-fst שם הקובץ
שם של קובץ dumpfile FST לעיצוב ציון. אם -vcd, -lxt או אפשרות זו אינה
בשימוש, Covered ייצור רק קובץ CDD ראשוני מהעיצוב ולא יעשה זאת
לנסות להבקיע את העיצוב.

-g [module_name=](1|2|3)
מאפשר למשתמש להגביל את המנתח לדור מסוים של Verilog
תקן עבור מודול ספציפי או העיצוב כולו, כאשר 1=Verilog-1995,
2=Verilog-2001, 3=SystemVerilog. אם module_name= מצוין, המנתח משתמש ב-
תקן Verilog שצוין עבור אותו מודול בלבד, מה שמאפשר לשאר העיצוב
להשתמש בתקן העולמי. כברירת מחדל, התקן העולמי מוגדר לעדכני ביותר
גרסה (3). ניתן לציין אפשרות זו יותר מפעם אחת עבור שיחה נתונה אל
פקודה ציון; עם זאת, אם האפשרות -g מציינת יותר מהערך הגלובלי (כלומר,
בלי ה מודול= קידומת), ישמש רק ערך האפשרות האחרונה.

-h מציג מידע עזרה זה.

-I בספרייה
ספרייה לאיתור קבצי Verilog הכלולים.

-i instance_name
התייחסות היררכית של Verilog למודול שנמצא בראש העץ
הבקיע. אפשרות זו נחוצה אם המודול לאימות הכיסוי אינו ברמה העליונה
מודול בעיצוב. אם לא צוין, -t משתמשים בערך.

-lxt שם הקובץ
שם של קובץ dump LXT2 לעיצוב ציון. אם -vcd, -fst או אפשרות זו אינה
בשימוש, Covered ייצור רק קובץ CDD ראשוני מהעיצוב ולא יעשה זאת
לנסות להבקיע את העיצוב.

-m הודעה
מאפשר למשתמש לציין מידע על קובץ CDD זה. מידע זה יכול
להיות כל דבר (הודעות עם רווח לבן צריכות להיות מוקפות במירכאות כפולות
סימנים), אך עשוי לכלול משהו על טיעוני הסימולציה בקלות רבה יותר
קשר את קובץ ה-CDD לסימולציה שלו למטרות יצירה מחדש של קובץ ה-CDD.

-o מסד נתונים
שם מסד הנתונים שאליו יש לכתוב מידע כיסוי. אם לא צוין, הפלט
שם הקובץ של מסד הנתונים יהיה "cov.cdd".

-p שם הקובץ
עוקף את שם הקובץ המוגדר כברירת מחדל המשמש לאחסון פלט קדם-מעבד ביניים.

-P parameter_scope=value
מבצע defparam על הפרמטר שצוין עם ערך.

-rS כאשר בדיקות תנאי הגזע מופרות, חסימות ההיגיון הפוגעות מוסרות
משיקולי כיסוי וכל הפלט מדוכא לגבי המירוץ
הפרת תנאי. עיין בתיעוד המשתמש למידע נוסף על גזע
בדיקת מצב שימוש.

-rW כאשר בדיקות תנאי הגזע מופרות, חסימות ההיגיון הפוגעות מוסרות
משיקול כיסוי והפרת תנאי הגזע הוא פלט. זה
התנהגות ברירת המחדל לטיפול במצב מרוץ. עיין בתיעוד המשתמש למידע נוסף
מידע על השימוש בבדיקת מצב המירוץ.

-מִחָדָשׁ כאשר בדיקות תנאי הגזע מופרות, הסיבה היא פלט וסיום ניקוד
מיד. עיין בתיעוד למשתמש למידע נוסף על מצב המירוץ
בדיקת שימוש.

-rI[=מודול שם]
If מודול שם לא צוין, בדיקת מצב המירוץ מדלגת לחלוטין עבור
העיצוב כולו. אם מודול שם צוין, דילוג על בדיקת מצב המירוץ
עבור המודול שצוין. עיין בתיעוד המשתמש למידע נוסף על גזע
בדיקת מצב שימוש.

-rP[=שם])
משתמש בפרגמות משובצות להתעלמות מקוד מסוים מבדיקת מצב הגזע
שיקול (אם שם מצוין שהיא משמשת כמילת מפתח פרגמה). ראה משתמש
תיעוד למידע נוסף על השימוש בבדיקת מצב הגזע.

-S מוציא סטטיסטיקות סימולציה לאחר סיום הסימולציה. המידע הזה הוא
כרגע שימושי רק למפתחי Covered.

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

-top_ts ציר זמן
אפשרות זו תקפה רק כאשר צוינו אפשרויות -vpi או -dumpvars.
אפשרות זו מאפשרת למשתמש לציין טווח זמן עבור מודול Verilog שנוצר
נוצר עם האפשרות -vpi/-dumpvars. אם אפשרות זו לא צוינה, לא
ייווצר סולם זמן עבור המודול שנוצר. הערך של ציר זמן is
מצוין כדלקמן:

(1|10|100)(s|ms|us|ns|ps|fs)/(1|10|100)(s|ms|us|ns|ps|fs)

אם יש צורך ברווח לבן בין הערכים השונים, מקם את כל התוכן של
ציר זמן במירכאות כפולות.

-טס מספר
כאשר ניקוד מתרחש, אפשרות זו מאפשרת למשתמש לראות כמה רחוק יש לסימולטור
התקדם על ידי הפלט של שלב הזמן הנוכחי לפלט סטנדרטי. הערך של
מספר מציין כמה שלבי זמן מותר לדמות לפני הפלט
שלב הזמן הנוכחי (מביא פחות קריאות לזרם פלט).

-T (מינימום|טיפוס|מקסימום)
מציין באיזה ערך להשתמש כאשר נתקלים בביטוי השהיה בטופס:
min:typ:max. אם אפשרות זו לא צוינה, 'typ' select משמש כברירת מחדל.

-v שם הקובץ
שם קובץ Verilog הספציפי לניקוד.

-vcd שם הקובץ
שם קובץ ה-dumpfile VCD לעיצוב ציון. אם -lxt, -fst או אפשרות זו אינה
בשימוש, Covered ייצור רק קובץ CDD ראשוני מהעיצוב ולא יעשה זאת
לנסות להבקיע את העיצוב.

-vpi [שם הקובץ]
אם אפשרות זו צוינה ללא האפשרויות -vcd, -lxt או -fst, העיצוב הוא
מנותח, נוצר קובץ CDD ונקרא קובץ מודול Verilog ברמה העליונה שם הקובץ
(אם ערך זה צוין) או "covered_vpi.v" (אם שם הקובץ לא מצוין) הוא
נוצר יחד עם קובץ טבלת PLI שנקרא שם הקובץ.ta b או "covered_vpi.v.ta b".
שני הקבצים הללו משמשים בהידור של הסימולטור לשימוש ב-Covered as
מודול VPI. אם האפשרויות -vcd, -lxt או -fst מצוינות, אפשרות זו
אין השפעה.

-תעלם
דכא את הפלט של אזהרות במהלך ניתוח קוד וסימולציה.

-y בספרייה
ספרייה לאיתור קבצי Verilog שלא פורטו.

+libext+.סיומת[+.סיומת]*+
הרחבות של קבצי Verilog כדי לאפשר ניקוד.

מיזוג פקודה

האפשרויות הבאות תקפות עבור פקודת המיזוג:

-d שם הקובץ
ספרייה לחיפוש קבצי CDD לכלול. אפשרות זו משמשת יחד
עם -קסט אפשרות שמציינת את סיומת הקובץ לשימוש לקביעת
אילו קבצים בספריה הם קבצי CDD.

-R (ראשון|אחרון|את כל|חדש|זקן)
מציין כיצד לטפל בפתרון סיבת ההחרגה. אם שני קבצי CDD או יותר
לאיחוד יש סיבות אי-הכללה שצוינו לאותה נקודת כיסוי, ה
יש לפתור את סיבת ההחרגה (אלא אם מדובר באותו ערך מחרוזת). אם
אפשרות זו לא צוינה ונמצאת התנגשות, Covered יעשה זאת באופן אינטראקטיבי
בקש קלט עבור כל אי הכללה לגבי אופן הטיפול בה. אם אפשרות זו היא
שצוין, הוא אומר ל-Covered כיצד לטפל בכל התנגשויות הסיבות להחרגה. ה
הערכים הם כדלקמן:.br

ראשון - נעשה שימוש בקובץ CDD שהכיל את סיבת ההחרגה הראשונה.

אחרון - נעשה שימוש בקובץ CDD שהכיל את סיבת ההחרגה האחרונה.

את כל - נעשה שימוש בכל סיבות ההחרגה (משורשרות).

חדש - השתמש בסיבת ההחרגה החדשה ביותר שצוינה.

זקן - השתמש בסיבת ההחרגה העתיקה ביותר שצוינה.

-קסט הארכה
משמש בשילוב עם -d אוֹפְּצִיָה. אם לא -קסט האפשרויות מצוינות ב-
שורת הפקודה, ערך ברירת המחדל של '.cdd' משמש. שימו לב שנקודה (.) צריכה
להיות מוגדר.

-f שם הקובץ
שם הקובץ המכיל ארגומנטים נוספים לניתוח.

-h מציג מידע עזרה זה.

-m הודעה
מאפשר למשתמש לציין מידע על קובץ CDD זה. מידע זה יכול
להיות כל דבר (הודעות עם רווח לבן צריכות להיות מוקפות במירכאות כפולות
סימנים).

-o שם הקובץ
קובץ שאליו יש פלט מסד נתונים חדש. אם הטיעון הזה לא מצוין, ה-
מסד נתונים_קיים משמש כשם מסד הנתונים הפלט.

דווח פקודה

האפשרויות הבאות תקפות עם פקודת הדוח:

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

-c If -v מצוין, מציג מדדים מכוסים בלבד. ברירת המחדל היא להציג חשוף
מידע בלבד.

-d (s|d|v)
רמת הפירוט שיש לספק בדוח הכיסוי מידע (s = סיכום, d =
מפורט, v = מילולית). ברירת המחדל היא סיכום.

-e מוציא את כל נקודות הכיסוי שלא נכללו לקובץ הדוח יחד עם כל נקודות שצוינו
סיבות הרחקה אם -d d or -d v האפשרויות מצוינות.

-f שם הקובץ
שם הקובץ המכיל ארגומנטים נוספים לניתוח.

-h מציג מידע עזרה זה.

-i מספק מידע כיסוי עבור מקרים במקום מודול.

-m [l][t][c][f][r][a][m]
סוגי מדדים לדיווח. l=קו, t=החלפה, c=לוגיקה משולבת, f=מצב FSM
ומעבר מצב, r=תנאי גזע, a=טענה, m=זיכרון. ברירת המחדל היא ltcf.

-o שם הקובץ
קובץ שאליו יש פלט מידע דוח. ברירת המחדל היא פלט סטנדרטי.

-s מדכא פלט של מודולים/מופעים שאינם מכילים מידע כיסוי
לדוח. משמש כדי לסייע בביטול מידע שעלול להיות חסר משמעות מה-
לדווח.

-v הוצא משימוש. הוחלף ב-'-dd' או '-d v'.

-נוף מפעיל את ממשק ה-GUI לדיווח כיסוי אינטראקטיבי.

-w (מספר)
מציין את רוחב השורה המרבי (בתווים) שניתן להשתמש בו לפלט Verilog
מֵידָע. אם אפשרות זו לא צוינה, כל קוד Verilog בדוח יעשה זאת
לשמור על אותו עיצוב כפי שצוין בקוד Verilog המקורי. אם זה
האפשרות מוגדרת, קוד Verilog יעוצב כך שישתמש בכמה שיותר מהנוכחי
קו ככל האפשר, גלישת טקסט כאשר השורה מגיעה לרוחב השורה המרבי. ה
ברירת המחדל של רוחב השורה המרבי הוא 115 תווים (ערך זה משמש אם אין מספר
שצוין עם האפשרות -w). אם מצוין מספר עם האפשרות -w, זה
הערך משמש לרוחב הקו המרבי.

-x מוציא את מזהי ההחרגה של כל נקודות הכיסוי שנחשפו והבלתי נכללות בתוך
סוגריים לפני הפלט המילולי המשויך של נקודת הכיסוי. ה
ניתן להשתמש במזהי אי הכללה כדי לא לכלול/להכליל נקודות כיסוי דרך האי הכללה
פקודה.

RANK פקודה

האפשרויות הבאות תקפות עם הפקודה rank:

-d שם הקובץ
ספרייה לחיפוש קבצי CDD לכלול. אפשרות זו משמשת יחד
עם -קסט אפשרות שמציינת את סיומת הקובץ לשימוש לקביעת
אילו קבצים בספריה הם קבצי CDD.

-עוֹמֶק מספר
מציין את המספר המינימלי של קבצי CDD הדרושים כדי להגיע לכל נקודת כיסוי. ה
ערך של מספר צריך להיות גדול מאפס. ברירת המחדל היא 1.

-קסט הארכה
משמש בשילוב עם -d אוֹפְּצִיָה. אם לא -קסט האפשרויות מצוינות ב-
שורת הפקודה, ערך ברירת המחדל של '.cdd' משמש. שימו לב שנקודה (.) צריכה
להיות מוגדר.

-f שם הקובץ
שם הקובץ המכיל ארגומנטים נוספים לניתוח.

-h מציג מידע עזרה עבור פקודת הדירוג.

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

-o שם הקובץ
שם הקובץ שאליו יש פלט מידע דירוג. ברירת המחדל היא פלט סטנדרטי.

-נדרש-cdd שם הקובץ
שם ה-CDD שצריך להיחשב כ-CDD הנדרש לדירוג (כלומר, הוא לא יכול להיות
לא נכלל מכל סיבה שהיא).

-רשימת חובה שם הקובץ
שם של קובץ המכיל רשימה של CDDs שיש לראות בהם CDDs נדרשים
לדרג. יש להפריד בין שמות הקבצים באמצעות רווח לבן או תווים בשורה חדשה
בתוך הקובץ.

-v גורם להצגת פלט מילולי כאשר מופעלת פקודת הדירוג. זה פלט
מידע אבחוני על כל אחד מהשלבים השונים של אלגוריתם הדירוג
כולל זמן ריצה, מספר קבצי CDD הכלולים/לא נכללים ומספר הכיסוי
נקודות שנפגעו על ידי CDDs מדורגים במהלך כל שלב. המידע הזה נועד להיות
שימושי למי שמתעניין באלגוריתם הדירוג ובביצועיו.

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

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

-משקל-fsm מספר
מציין שקלול יחסי עבור כיסוי מצב ה-FSM והמעבר של המדינה שהיה רגיל אליו
לדרג נקודות סיקור לא ייחודיות. הערך של מספר הוא יחסית לערכים
משמש ב -החלפת משקל, -משקל-זיכרון, -משקל-מסרק, -משקל-להגדיר ו
-קו משקל דרג אפשרויות פקודה.

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

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

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

בלעדי פקודה

האפשרויות הבאות תקפות עם הפקודה exclude:

-f שם הקובץ
מציין את השם של קובץ המכיל אפשרויות נוספות לפקודה אל תכלול.
אפשרות זו עשויה להיות מוגדרת פעמים רבות ככל הנדרש עבור שיחה בודדת אל
אל תכלול פקודה.

-h יוצר מידע שימוש עבור הפקודה אל תכלול.

-m מאפשר לשייך הודעת אי-הכללה לנקודות כיסוי כלשהן
מהמצב הכלול למצב הבלתי נכלל. לכל נקודת סיקור שנפגשת
דרישה זו, המשתמש יתבקש להזין סיבה. הסיבה עשויה להיות
כל אורך וכל מספר קווים; עם זאת, כל תווי העיצוב (כלומר,
שורות חדשות, טאבים, רווחים נוספים וכו') יוסרו ויוחלפו בסינגל
רווח כאשר הוא יוצג מאוחר יותר. כדי לסיים את הקלט של הודעה, הקש על חזרה,
הזן תו נקודה בודדת (.) ולחץ שוב על return. התקופה האחרונה
תו לא יהיה חלק מהודעת ההחרגה.

-p גורם לכל נקודות הכיסוי שצוינו להדפיס את סטטוס ההחרגה הנוכחי שלהן ו
סיבת החרגה (אם קיימת עבור נקודת הכיסוי שלא נכללה) לתקן
תְפוּקָה. אם אפשרות זו מצוינת, ה- -m האפשרות תתעלם.

משתמש סמוי AS A IPV מודול

בנוסף לשימוש בפקודת הניקוד של Covered כדי לנתח קובץ VCD, LXT2 או FST להפשטה
מידע כיסוי, Covered עשוי לשמש גם כמודול VPI בתוך סימולטור
לחלץ את המידע הזה. היתרונות בשימוש ב-Covered כ-VPI על פני קורא dumpfile
כלול את הבאים. ראשית, קבצי VCD יכולים להיות גדולים במיוחד, במיוחד לאורך זמן
סימולציות, תוך שימוש בשטח דיסק יקר. שנית, אם אתה משתמש בסימולטור זה
זורק קבצים בפורמט שונה מאשר VCD, LXT2 או FST ואתה רוצה להמיר את ה-dump האלה
סוגי קבצים לאחת מהגירסאות הללו, העלות של שטח דיסק וזמן יכול להפוך את היצירה
dumpfiles כי מכוסה דורש לא רצוי. בנוסף, למרות השימוש ב-Covered כ-VPI
מודול יאט את מהירות הסימולציה שלך, סביר להניח שכל הזמן שהושקע
הדמיית העיצוב שלך וציון העיצוב בשלב אחד יהיו קצרים יותר מאשר לעשות זאת
שני שלבים. כתוצאה מכך, כלי התצורה של Covered יכול ליצור ספריות מוכנות ל-VPI עבור
הסימולטורים החינמיים והמסחריים הבאים (Icarus Verilog, CVER ו-VCS).

כדי לבנות אוטומטית את קבצי הספרייה המוכנים ל-VPI בעת יצירת Covered ממקור,
פשוט ציין אחד או יותר מהאפשרויות הבאות בעת הפעלת כלי השירות "הגדר" ב-
ספריית בסיס מכוסה: --with-iv= , --with-vcs=
path>, --with-cver= . לאחר הגדרת Covered, פשוט הקלד
'make' ו-'make install'. פעולה זו תתקין את קבצי הספרייה המוכנים ל-VPI ב-
התקנה ספריית libexec (כברירת מחדל נתיב זה יהיה /usr/local/libexec).

לפני שאתה מוכן להדר את העיצוב, עליך ליצור תחילה קובץ CDD, ברמה עליונה
קובץ Verilog, וקובץ טבלת PLI (הקובץ האחרון נחוץ רק עבור מהדר VCS).
זה נעשה על ידי ציון ה -vpi (שם הקובץ) אפשרות לפקודת הניקוד של Covered. אם לא
שם הקובץ מצוין אחרי -vpi, הקבצים Covered_vpi.v ו- Covered_vpi.ta b יהיו
נוצר יחד עם קובץ הכיסוי שנוצר. שימו לב ששלב זה רק צריך להיות
בוצע פעם אחת אלא אם קבצי העיצוב משתנים. כעת אתה מוכן להדר את ה
מַדמֶה.

אם אתה מרכיב סימולציה של Icarus Verilog, פשוט הוסף '-m
/usr/local/libexec/covered.vpi covered_vpi.v' לשורת הפקודה 'iverilog'. פַּעַם
ההידור הושלם, הפעל את קובץ ההפעלה שנוצר כרגיל.

אם אתה מרכיב הדמיית CVER, פשוט הוסף
'+loadvpi=/usr/local/libexec/covered.cver.so:vpi_compat_bootstrap Covered_vpi.v' ל-
שורת הפקודה 'cver'.

אם אתה מרכיב הדמיית VCS, פשוט הוסף '+vpi -load
/usr/local/libexec/covered.vcs.so:covered_register covered_vpi.v' ל-'vcs'
שורת הפקודה. לאחר השלמת ההידור, הפעל את קובץ ההפעלה שנוצר כמוך
בדרך כלל היה.

אם אתה מרכיב הדמיית NC-Verilog, עבור לפקודת irun של NC-Verilog כדי לטעון
האובייקט המשותף המכוסה: '-loadvpi /usr/local/libexec/covered.ncv.so:covered_register'
ואפשר את כל הגישה עם '-access +rwc'. אתה יכול לקודד את הקריאה $covered_sim לתוך
ה-RTL שלך או שאתה יכול להפעיל אותו באופן דינמי באמצעות ה-CLI, על ידי הוספת ה-input input.tcl
לעבור ל-irun. היכן שהקובץ input.tcl נראה כמו הבא ו-tb.dut הוא ה-
מופע כיסוי:
התקשר -systf {$covered_sim} {"scored.cdd"} tb.dut
לָרוּץ

ישנם שני פלוסארגים שניתן להעביר לקובץ ההפעלה שנוצר כאשר הוא מופעל כך
מכוסה ינתח. ה-'+covered_cdd= האפשרות ' תגרום ל-Covered להפיק את ה-
ניקוד תוכן עיצוב לקובץ CDD שצוין על ידי . זה מאפשר ריצות מרובות
של הסימולטור ליצור מספר קבצי CDD שונים ללא צורך בהידור מחדש
מתרחש. האפשרות '+covered_debug' תגרום ל-Covered לזרוק הרבה פלט מוגזם
לגבי מצב זמן הריצה הפנימי שלו במהלך סימולציה. פלט זה ייווצר רק
if Covered הוגדר עם האפשרות --enable-debug. אפשרות Plusarg זו לא צריכה
לשמש משתמשים רגילים מכיוון שהוא נועד בעיקר לסייע למפתחי Covered in
ניפוי באגים.

מחברים

טרבור וויליאמס[מוגן בדוא"ל]>

השתמש מקוון מכוסה באמצעות שירותי onworks.net