בודק AXI לפרוטוקול

בודק AXI לפרוטוקול מאמת את ההתאמה לפרוטוקול AXI על ידי ניתוח נתוני trace handshakes שנצפו במהלך הדמיה או בדיקות לאחר הסיליקון. הוא תומך ב־AXI3 ו־AXI4 ובודק ערוצי AR/AW/W/B/R על לגיטימיות ועל timing.
הוא מקבל רצפים של טרנזקציות עם שדות כמו מזהה ID, כתובת, גודל, אורך, סוג burst ואירועי ערוץ שנצפו, ואז מפעיל מכונת מצב סופית לכל ערוץ כדי לאשר שינויים מורשים, לוודא יישור נכון ולהתריע על דפוסים לא תקינים. כאשר בדיקות timing מופעלות, הוא משווה פערי מחזורים לבאדגטים שהוגדרו על ידי המשתמש.
הכלי מייצר דוח שגיאה מובנה וציון התאמה. קהל היעד והערך: מהנדסי אימות, מפתחים של IP, וכלי בדיקות נהנים לגילוי מוקדם של הפרות פרוטוקול, debugging מהיר יותר וא checklist שניתן ליישום ברגרסיות. מסייע לתעד את ההתאמה, להשוות וריאנטים ולהאיץ אינטגרציה. הערך הייחודי נעוץ באימות AXI מחמיר, טקסונומיית הפרות מפורטת, אבחון לפי טרנסאקציה ודוחות המיוצאים. סטי כללים הניתנים להגדרה ותמיכה במספר וריאציות מאפשרים אימות מותאם לפרויקטים.