2023 רטרוספקטיבה. Innovation In Verification - Semiwiki

הועלה מחדש על ידי אפלטון

עוקב: 0

כרגיל בינואר אנו מתחילים במבט לאחור על המסמכים שסקרנו בשנה שעברה. פול קנינגהם (GM, אימות בקידנס), ראול קמפוסאנו (סיליקון קטליסט, יזם, לשעבר CTO של Synopsys וכיום CTO של Silvaco) ואני ממשיכים את הסדרה שלנו על רעיונות מחקר. כמו תמיד, משוב יתקבל בברכה. אנו מתכננים להתחיל סדרה חיה השנה כדי לדון ברעיונות ובנושאים רחבים יותר ולקבל משוב ממך. פרטים בהמשך!

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

בחירות 2023

אלו הבלוגים שפרסמנו במהלך השנה, ממוינים לפי פופולריות. הגענו ל-12.7 אלף מעורבות בממוצע לבלוג, עלייה משמעותית מהשנה שעברה, שאנו רואים בה כאינדיקציה לכך שאתה ממשיך ליהנות מהביקורות שלנו על המחקר הנוכחי באימות. המנהיג לא הפתיע, והחיל את LLMs לבדיקת קוד אוטומטית בכמעט 17 התקשרויות. שנייה קרובה משתמשת ב-ML כדי לפתח הפשטות מודל. למעשה, 4 הבלוגים המובילים בשנת 2023 היו כולם על יישומי AI/ML. רשתות פטרי הופיעו שוב השנה, כאן עבור אימות פרוטוקולי DRAM המתפתחים במהירות. שימוש בחומרה ייעודית לספקולציות בסימולציה, ושיטה לאיתור חריגות עגלו את הרשימה. הרטרוספקטיבה לשנת 2022 הצליחה בערך כרגיל, אבל האפילה על ידי התעניינות בעיתונים אחרים במהלך השנה. זהו הימור בטוח שנבדוק יישומים נוספים של AI/ML בשנת 2024!

השקפתו של פול

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

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

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

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

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

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

בעוד שהבלוג של השנה שעברה עסק בעיקר באלגוריתמים מגניבים, הבלוג של השנה היה בערך AI / ML ו תוכנה (SW). שלושת המסמכים המובילים ★★★ עסקו כולם באימות של SW באמצעות AI/ML. הבלוג בעל הדירוג הגבוה ביותר (יולי) עסק בסקירת קוד עם AI גנרטיבי, השני (נוֹבֶמבֶּר) עסקה בבדיקה ואימות SW עבור מערכות סייבר-פיזיקליות באמצעות מודלים של AI פונדקאיים, והשלישית (מאי) עסק באיתור ותיקון באגים ב-Java הגדלה עם מסווגים בינה מלאכותית. שניים מתוך שלושת המסמכים הללו משתמשים במערכי נתונים גדולים מ-GitHub לצורך הדרכה. נתונים כאלה אינם זמינים לציבור עבור עיצוב חומרה (HW); אשר ניתן לטעון ששונה מספיק מ-SW כדי להעלות לפחות את השאלה האם ניתן/יוכפלו תוצאות אלו עבור HW. עם זאת, התבוננות במה שעושה קהילת ה-SW בנושא אימות היא בהחלט מקור השראה.

שלושת המסמכים הבאים, המדורגים עם ★★, הם אוסף אקלקטי של AI/ML, אלגוריתם מגניב מאוד ו-Petri-Nets. כולם עוסקים באימות ב-EDA. של ספטמבר נייר היה תצוגה מקדימה של שימוש ב-LLM (GPT-4) ובבודק מודל (JasperGold) כדי לתרגם אנגלית למערכת Verilog Assertions (SVA). הבא (צעיר) התייחס כיצד לדגום את מרחב הפתרון עבור אימות אקראי מוגבל באופן אחיד (עמידה באילוצים) – אלגוריתם מגניב לבעיה קשה, חזרה משנת 2014. התרומה האחרונה בקבוצה זו (אַפּרִיל) הרחבת Petri Nets לאימות מפרטי JEDEC DDR; הוא חינוכי הן על מפרט JEDEC והן על Petri Nets, וחושף הפרת תזמון אחת.

מאמרים 7-9, מדורגים עם ★, עוסקים באימות עיצוב אנלוגי, אימות CPU וביצוע SW מקביל. ב אוֹקְטוֹבֶּר סקרנו מאמר מוזמן לכתב העת הפתוח IEEE של Solid-State Circuits Society, מלבד היותו מדריך טוב על עיצוב ואימות אנלוגי, התרומה העיקרית מורכבת מהחלפת מודלים של מעגלים אנלוגיים במודלים פונקציונליים כדי להאיץ את הדמיית Spice ב-4 סדרי גודל . העיתון של פברואר עסק בשימוש ב-DNN כדי לשפר מחוללי הוראות אקראיות באימות מעבד, והראה הפחתה של "מספר הסימולציות בפקטור של 2 בערך" בדוגמה פשוטה (IBM Northstar, 5 הוראות). צעדה הביא לנו את העיצוב המלא של מאיץ HW ליישם את מודל ביצוע משימות מסודרות במיקום מרחבי (SLOT). לניצול מקביליות וספקולציות, ולאפליקציות שמייצרות משימות באופן דינמי בזמן ריצה.

מה שמשאיר אותנו עם שני נמענים 😋. ב אוגוסט סקרנו מאמר משנת 2013 שהיווה חלוץ ב-k-means clustering (2013) לזיהוי באגים לאחר סיליקון. ובתוך דֵצֶמבֶּר בדקנו נושא חשוב מאוד, אימות אבטחה באמצעות IFT (מעקב אחר זרימת מידע) והרחבה שלו מרמת השער ל-RTL. באופן לא מפתיע, התרומה של דצמבר זכתה לפחות להיטים שכן הקוראים שלנו עמדו כנראה בפני הדילמה שתוארה בתחילה.

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

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