דף הבית |   פוקוס חברות   |   שיחת היום   |   המנכ"לים   |   דרושים   |   מתחמים   |   הבמה  
 
  כניסת חברה   |   אתר סלולארי אתר סלולארי  
ידעטק - מנוע חיפוש הייטק
חברות   חדשות   אנשים   דרושים   מילון  
חיפוש מתקדם
  מציאת פתרון טכנולוגי   |   חברות הייטק   |   פרסם אצלנו  
  Private Zone:     Login     Dashboard   |   Jobs   |
 
  הישאר מעודכן!    צור התראת דוא"ל עבור:  Cadence
חדשות
קיידנס השיקה דור שלישי לפלטפורמת האימות הפורמלי JasperGold
 
זיאד חנא, סגן נשיא בקיידנס העולמית ומנכ"ל מרכזי הפיתוח בישראל: "הדור השלישי של פלטפורמת JasperGold החכמה

מערכת ידעטק 26/05/19 | 11:56
שלוט בפרסומת שכולם רואים - בחר את Cadence
 
 
 
 
מקדם משמעותית את טכנולוגיית הפורמל תוך יישום למידת מכונה , ומביא לשיפורים ניכרים בביצועים ובמדרגיות עבור לקוחותינו"

קיידנס דיזיין סיסטמס (Cadence) השיקה את הדור השלישי של פלטפורמת האימות הפורמלית JasperGold, הכוללת שיפורים בטכנולוגיות למידת מכונה (ML) ובטכנולוגיית הליבה הפורמלית. העדכונים בפלטפורמה נועדו לעזור בהתמודדות עם אתגרי המורכבות והנפח של תכנוני מערכות מתקדמות על גבי שבב (SoC) ולשפר את תפוקת האימות.

פלטפורמת JasperGold החדשה מציגה את השלב העדכני ביותר באלגוריתם proof-solver ובשיפור ה-orchestration . בפלטפורמה חדשה זו, משולבת טכנולוגיית SmartProof, המתוכננת לשפר את תפוקת האימות עבור כל יישומי JasperGold. למידת מכונה (ML) משמשת כדי לבחור ולהגדיר כלי פתרון ולקבוע עבורם פרמטרים במטרה לאפשר הוכחות ראשוניות (first time proof) מהירות יותר. בנוסף, טכנולוגית למידת מכונה משמשת למיטוב הרצות רצופות, לצורך בדיקות רגרסיה, באופן מקומי או בענן. עם טכנולוגיית SmartPfoof, אפשר להשיג האצה של עד פי ארבע בהוכחות ועד פי שש בהרצות רגרסיה.

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

טכנולוגיות הכיסוי (Coverage) הפורמלי החדשות של הפלטפורמה מאפשרות למהנדסים לבצע IP signoff ב-JasperGold בלבד. טכנולוגיות ה-signoff הפורמלי החדשות כוללות שיפור בדיוק ליבת ההוכחה (proof-core), טכניקות חדשות להשגת כיסוי משמעותי באיתור שגיאות עמוקות (bug hunting) ואנליזות כיסוי פורמלי חדשות. כל היכולות החדשות הללו מספקות איכות "חתימה" ( signoff quality) בכיסוי של מדדי פורמל ומאפשר שילוב במספר מנועים (פורמל, סימולצמיה ואמולציה) להשגת ייעדי הוריפיקציה.

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

פלטפורמת האימות הפורמלי JasperGold הינה חלק מחבילת האימות של קיידנס והיא תומכת באסטרטגיית ה-System Design Enablement של החברה, המאפשרת לחברות מוליכים למחצה ומערכות לפתח מוצרי קצה בעלי בידול, ביעילות רבה יותר.
 
Cloud Computing  |  Chip  |  Testing  |  Semiconductor  | 
 
תפריט על סדר היום 
 
פוקוס חברות Top 5
חדשות המנכ"לים
דרושים מתחמים
הבמה  
    בחירת הגולשים
  חדשות
 
 
  מנכ"לים
 
ברק רגב ברק עילם
עוזי נבון נדב ארבל
 
 
 
מנוע חיפוש   |   הייטק   |   דרושים   |   Goto-Mobile בניית אתרים לסלולר
 
RSS   |   תקנון   |   צור קשר
 
מחשוב ענן
ניהול קשרי לקוחות
אבטחת מידע
 
בינה עסקית
ניהול ידע
ניהול מסמכים
 
בנקאות ביטוח
תיירות מלונאות
אופנה טקסטיל
 
חינוך אקדמיה
קמעונאות
חקלאות
 
קידום אתרים
דרושים הייטק
 
Cloud Computing
Virtualization
Security
 
Storage
Network
ERP
 
CRM
BI
QA
 
KM
SaaS
SOA
 
BPM
BPO
DRP
 
Outsourcing
Semiconductor
Telecom
 
Mobile
Backup
DMS
 
ידעטק  |  ידע טק  |  ידע-טק


Navigation