Jasper Design Automation, הספקית המובילה של פתרונות אימות המבוססים על טכנולוגיה פורמאלית, הודיעה היום ש-ARM השלימה התקנה של טכנולוגיה ופתרונות של ג’ספר שמשפרים את המתודולוגיה לאימות IP של מעבדים ומערכות על בסיס הפרוטוקול ARM® AMBA®. האימוץ מאפשר לצוותי תכנון ואימות ב-ARM לתת מענה לתחום רחב של סוגיות אימות כגון היעדר מצבי קיפאון, עקביות מטמון, זיהוי הפצת x, אימות רגיסטר בקרה ואישור פרוטוקולים.
"בחרנו להתקין את טכנולוגיית האימות הפורמאלי של ג’ספר אצל צוותי התכנון שלנו משום שהיא נותנת מענה לסוגיות האימות הכי מורכבות שניצבות לפנינו, לדוגמה בתחום תת המערכות העקביות", אמר ג’ון גודאינאף, סגן נשיא לטכנולוגיות תכנון ואוטומציה ב-ARM. "אנו רואים הפחתה בסיכון שלנו משום שהפתרונות של ג’ספר פותרים באגים ובעיות פונקציונאליים מורכבים שקודם לכן היה קשה לשלוט עליהם, או שהתגלו בשלב מאוחר במחזור הפיתוח של ה-IP. השמישות של הכלי מנגישה לצוותי התכנון מודלי שימוש מורכבים של טכנולוגיה פורמאלית. זה היה גורם מפתח באימוץ".