2021 רטרוספקטיבה. חדשנות באימות

כפי שקבענו בשנה שעברה, נשתמש בגיליון ינואר של הבלוג הזה כדי להסתכל אחורה על המסמכים שסקרנו בשנה שעברה. איבדנו את ג'ים הוגאן ואת היתרון של התובנה שלו בתחילת השנה שעברה, אבל הרווחנו מומחה חדש וגם ידוע בראול קמפוסאנו (חבר נוסף של ג'ים). פול (GM, Verification ב-Cadence), ראול (Silicon Catalyst, יזם, CTO לשעבר של Synopsys) ואני מוכנים להמשיך את הסדרה הזו עד 2022 ואילך. כמו תמיד, משוב יתקבל בברכה.

בחירות 2021

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

רטרוספקטיבה של 2020

מציאת חורי כיסוי גדולים

צמצום זמן הקומפילציה באמולציה

זריזות ואימות, אימות

מטושטשת כדי לאמת אבטחת SoC

רשתות עצביות ובדיקת CR

מכשירים לאחר אימות סיליקון

ניתוח ערוץ צד ב-RTL

הפשטה דמויית ISA

בדיקות עקביות זיכרון ב-RTL

מודל כוח מבוסס למידה

בדיקה קונקולית ניתנת להרחבה

השקפתו של פול

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

הנושא הגדול ביותר שראיתי בבלוגים שלנו לשנת 2021 היה העלאת הפשטה. כפי שהיה ב-30 השנים האחרונות, זה ממשיך להיות המנוף הגדול ביותר לשיפור הפרודוקטיביות. אם כי, אני כנראה צריך להכשיר את זה ספציפי לתחום הַפשָׁטָה. היסטורית, הפשטות היו בלתי תלויות ביישום - מצולע לשער ל-netlist ל-RTL. כעת ההפשטות מתפצלות לעתים קרובות - ISA ל-ILA לאימות מאיץ בבלוג של ספטמבר. מיפוי אקסיומות התנהגותיות ברמה גבוהה ל-SystemVerilog לאימות עקביות זיכרון בבלוג של אוקטובר. Verilog to Chisel לאימות CPU זריז בבלוג של אפריל. הצהרות הכללות על קבוצות של סימולציות לאימות אבטחה בבלוג של מאי. ואז כמובן, כמה הפשטות המשיכו להיות אגנוסטיות לתחום: רמת שער ל-C++ עבור מודלים של כוח ברמת המערכת בבלוג של נובמבר. סיקור לתיוג טקסט בבלוג של פברואר.

הנושא השני שהמשיך לזרוח הוא כיצד חדשנות מופיעה בצמתים של מיומנויות ונקודות מבט שונות. הבלוג של פברואר על מינוף אלגוריתמים לסיווג מסמכים למציאת חורי כיסוי הוא דוגמה מצוינת השנה. שיטות ML מוקדמות משנות ה-1980 התגלו מחדש והוחלו מחדש על אימות CPU בבלוג של יוני. תורת המשחקים המשמשת למיטוב זמני הידור של FPGA באמולציה בבלוג של מרץ. זה היה נהדר לראות את ברנרד לוקח את העיקרון הזה לבחירת הנייר שלנו השנה, תוך כמה חודשים מתרחק מ"אימות פונקציונלי" לנושאים כמו חשמל, אבטחה ובאגים חשמליים. זה עוזר לנו לעשות חיבור משלנו של נקודות בין שני תחומים שונים.

מצפה להמשך ההליכה האקראית שלנו באימות שוב השנה!

ההשקפה של ראול

מבלי להתמקד באף תחום מסוים, מיוני עד דצמבר, נגענו בנושאים מעניינים רבים ב-Verification. שני הפופולריים שבהם היו Embedded Logic לזיהוי כפכפים (שגיאות חומרה) והערכת זליגת ערוץ צדדי ברמת RTL. מאמר נוסף ברמת RTL עסק בעקביות זיכרון. ברמה גבוהה עוד יותר, הסתכלנו על הפשטות ברמת ההדרכה לצורך אימות. היו לנו גם את המסמכים החובה על ML/NN, האחד כדי ליצור מבחנים פסאודו אקראיים טובים יותר, השני כדי לבנות מודלים מדויקים של הספק של IP. לבסוף, הבחירה שלנו בדצמבר ב-Concolic Testing כדי להגיע לסניפים קשים להפעלה עוסקת גם בהגדלת כיסוי הבדיקות.

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

הנוף שלי

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

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

בינתיים נמשיך את ההליכה האקראית שלנו, מתוגברת על ידי נושאים שאנו שומעים ממשיכים להיות אקטואליים מאוד - בדיקת קוהרנטיות, אבטחה, הפשטה

שתף את הפוסט הזה באמצעות: מקור: https://semiwiki.com/eda/306830-2021-retrospective-innovation-in-verification/