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

 

מאונטיין ויו, קליפורניה– 18 במאי 2011  MARKETWIRE) – נוי תקשורת):

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

 

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

 

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

אודות Jasper Design Automation

ג'ספר מספקת פתרונות תוכנת EDA מובילים בענף לתכנון, אימות ושימוש חוזר של מוליכים למחצה, המבוססים על הטכנולוגיה הפומלית החדישה ביותר. בין הלקוחות מובילים עולמיים באלחוט, מוצרי צריכה, מחשוב ואלקטרוניקה לרשתות, עם יותר מ-150 התקנות שבבים מוצלחות. ג'ספר, שהמטה שלה נמצא במאונטיין ויו, קליפורניה, היא חברה פרטית עם משרדים ומפיצים בצפון אמריקה, דרום אמריקה, אירופה ואסיה. בקרו באתר www.jasper-da.com כדי להפחית סיכונים, להגביר את הפרודוקטיביות בתכנון, אימות ושימוש חוזר, ולהאיץ את זמן ההגעה לשוק.

Jasper Design Automation והלוגו של Jasper Design Automation הם סימני מסחר או סימני מסחר רשומים של Jasper Design Automation, Inc.. כל סימני המסחר האחרים הנזכרים הם רכושן של החברות שלהם, בהתאמה.

 

איש קשר: Rob van Blommestein

650-966-0234 p , robvb@jasper-da.com

** ההודעה מופצת בעולם על ידי חברת התקשורת הבינ"ל MARKETWIRE