השגת סגירת אימות עיצוב מהירה יותר

בפרויקטים של תכנון שבבים גדולים, מאמץ האימות הלוגי יכול להיות גדול יותר ממאמץ התכנון, ולוקח עד 70% מזמן הפרויקט בהתבסס על נתונים מה- 2022 וילסון קבוצת המחקר ממצאים. למרבה הצער, שיעור ההצלחה הראשון של הסיליקון ירד מ-31 אחוזים ל-24 אחוזים בלבד ב-8 השנים האחרונות, מה שגרם לסיבוב נוסף לתיקון הפגמים, העלה לחברות הפסדת זמן לשוק ובוודאי לפגיעה בתוכניות ההכנסות שלהן. אימות טוב יותר בהחלט ישפר את הצלחת הסיליקון הראשונה, אבל זה קל יותר לומר מאשר לעשות.

כמה מספרים מפוכחים נוספים ממחקר קבוצת המחקר של וילסון:

• ASIC – 24% הצלחה בפעם הראשונה, 36% מסיימים בזמן
• FPGA - 16% משיגים אפס בריחת באגים, 30% מסיימים בזמן

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

לאחרונה קיבלתי עדכון ממומחה אימות העיצוב דארון מיי ב-Siemens EDA לשמוע על משהו שהוכרז זה עתה, שנקרא Questa Verification IQ. הגישה שלהם עוסקת באימות מונחה נתונים שנוצר סביב שימוש בעקיבות, שיתוף פעולה וניתוח המופעל על ידי AI/ML. ניתוחים מסורתיים סיפקו פרודוקטיביות ותובנה מוגבלת רק בתיאור ואבחון התנהגות לוגית, בעוד שניתוחים מונעים בנתונים גדולים באמצעות AI/ML מציעים פעולות חזויות והנחיות לאימות. צוותי תוכנה וחומרה הופכים פרודוקטיביים יותר על ידי שיתוף פעולה באמצעות שימוש ב CI (שילוב מתמשך), זריז שיטות, ALM (ניהול מחזור חיים של יישומים), עיצוב מבוסס ענן ויישום טכניקות AI/ML. לתעשיות קריטיות לבטיחות יש צורך בעקיבות בין דרישות, יישום ואימות, כפי שמוגדר בתקנים בתעשייה כמו ISO 26262 ו-DO-254.

הנה התמונה הגדולה של האופן שבו Quest Verification IQ מחבר את כל הנתונים ממנועי אימות שונים לזרימה מונעת נתונים, יחד עם כלי ALM.

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

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

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

שאלתי את דרון מיי כמה שאלות הבהרה.

ש: האם אני יכול לערבב ולהתאים את Questa Verification IQ עם כל כלי של ספק EDA ו-ALM?

A: Questa Verification IQ תומך בכלים ובמנועי ALM באמצעות גישה מבוססת סטנדרטים. הוא מתממשק עם כלי ALM באמצעות שירותים פתוחים לשיתוף פעולה במחזור החיים (OSLC) כך שניתן להשתמש בכל כלי התומך בתקן כמו Doors next או Siemens Polarion ו-Teamcenter. כל מנוע יכול להיות מופעל על ידי Questa Verification IQ ושוב יש לנו תמיכה בכיסוי באמצעות תקן Unified Coverage Interoperability (UCIS).

ש: איך גישה זו משתווה ל-Synopsys DesignDash?

A: Synopsys DesignDash מתמקדת ב-ML עבור נתוני עיצוב ואילו Questa Verification IQ מתמקדת באימות מונע נתונים באמצעות אנליטיקה, כולל ML, כדי להאיץ את סגירת האימות, להפחית את זמני ההפניה ולספק יעילות מרבית של התהליך. Questa Verification IQ מספקת יישומים הדרושים לניהול אימות שיתופי מבוסס צוות במסגרת מבוססת דפדפן עם גישה מרכזית לנתונים.

ש: איך גישה זו בהשוואה ל-Cadence Verisium?

A: Cadence Verisium מתמקד רק באימות בסיוע ML. לשם השוואה, Siemens Questa Verification IQ מספקת פתרון מלא לאימות מונע נתונים המופעל על ידי Analytics, Collaboration ו-Traceability. ניהול אימות מסופק בכלי מבוסס דפדפן עם יישומים שנבנו סביב Collaboration. Coverage Analyzer מביא את כלי סגירת הכיסוי השיתופי הראשון בתעשייה באמצעות ניווט אנליטי בסיוע ML. Question Verification IQ מתממשק עם Siemens Polarion באמצעות OSLC ומספק מעקב חוט דיגיטלי הדוק עם ניהול מחזור חיים של יישומים ללא שינוי בהקשר של ממשק המשתמש, מה שמביא את הכוח של ALM לאימות חומרה.

<br> סיכום

אני תמיד מתרשם מכלי EDA חדשים שהופכים משימה מורכבת לקלה יותר על ידי עבודה חכמה יותר, לא דורשים מהמהנדסים להשקיע יותר שעות של מאמץ ידני. עם אישורים מוקדמים של Questa Verification IQ מחברות מוכרות כמו Arm ו-Nordic Semiconductor, נראה ש-Siemens EDA הוסיפה משהו משכנע לצוותי אימות לשקול להסתכל עליו.

בלוגים קשורים

שתף את הפוסט הזה באמצעות:

• הפצת תוכן ויחסי ציבור מופעל על ידי SEO. קבל הגברה היום.
• Platoblockchain. Web3 Metaverse Intelligence. ידע מוגבר. גישה כאן.
• מקור: https://semiwiki.com/eda/324031-achieving-faster-design-verification-closure/