קיידנס השיקה דור שלישי לפלטפורמת האימות הפורמלי JasperGold

זיאד חנא, סגן נשיא בקיידנס העולמית ומנכ"ל מרכזי הפיתוח בישראל: "הדור השלישי של פלטפורמת JasperGold החכמה , מקדם משמעותית את טכנולוגיית הפורמל תוך יישום למידת מכונה , ומביא לשיפורים ניכרים בביצועים ובמדרגיות עבור לקוחותינו"
קיידנס דיזיין סיסטמס (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 של החברה, המאפשרת לחברות מוליכים למחצה ומערכות לפתח מוצרי קצה בעלי בידול, ביעילות רבה יותר.

Systems Cadence Design (קיידנס)
קיידנס מאפשרת חדשנות לתחום התכנון האלקטרוני, וממלאת תפקיד מרכזי ביצירת הטכנולוגיות המתקדמות ביותר של מעגלים משולבים ומוצרי אלקטרוניקה. לקוחות קיידנס משתמשים בתוכנה, חומרה, IP ושירותים נוספים אשר פותחו בחברה, במטרה לתכנן ולבצע וריפיקציה של שבבים מתקדמים, מוצרי אלקטרוניקה צרכנית, ציוד תקשורת ורשת ומערכות מחשוב. מטה החברה שוכן בסן-חוזה, קליפורניה, ומשרדי מכירות, מחקר ופיתוח פזורים ברחבי העולם במטרה לשרת את תעשיית האלקטרוניקה הבינלאומית. http://www.cadence.com/il/