קיידנס משיקה את פלטפורמת האימות הפורמלי JasperGold שפותחה בחלקה בישראל
מאת אבי בליזובסקי ראשון, 09 אוגוסט 2015 00:42

קיידנס דיזיין סיסטמס (Cadence) השיקה את  הדור החדש של פלטפורמת האימות הפורמלית Cadence JasperGold. פתרון זה משלב את טכנולוגיית Cadence Incisive יחד עם טכנולוגיית JasperGold בפלטפורמה אחת המספקת שיפור של עד פי 15 בביצועים בהשוואה לפתרונות קודמים. יתרה מכך, כחלק אינטגרטיבי מה-Cadence System Development Suite מאפשרת טכנולוגיית JasperGold לקצץ בעד שלושה חודשים מלוח הזמנים של האימות.

בקיידנס אומרים כי פלטפורמת JasperGold, אשר פותחה בישראל ובארה"ב, משפרת באופן משמעותי את איכות ויעילות התכנון, הודות לשילוב מערך מקיף של תכונות בפתרון יחיד, לרבות טכנולוגיות מנוע פורמלי והידור תכנון מ-Incisive Formal Verifier ומ-Incisive Verifier, הכוללים את מנועי ה-Trident multi-cooperating החדשניים.

שילוב זה מאפשר הגירה קלה עבור הלקוחות הקיימים של Incisive ושיפור של עד פי 15 בביצועים, הן באיתור שגיאות והן במיזוג הוכחות. הדור הבא של פלטפורמת JasperGold שולב באופן מלא עם פלטפורמת האמולציה Palladium ועם פלטפורמת הסימולציה Incisive מחבילת פיתוח המערכות של קיידנס, ועם כלי ה-vManager™, במטרה לאפשר אימות מקיף במתודולוגיית metric-driven. התוצאה היא הפחתה של עד שלושה חודשים מלוח הזמנים, הודות לסגירת אימות שנעזרת בגישה פורמלית.

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

עוד בתחום תכנון אלקט Warning: Creating default object from empty value in /home/chiporta/public_html/modules/mod_filterednews/helper.php on line 247 Warning: Creating default object from empty value in /home/chiporta/public_html/modules/mod_filterednews/helper.php on line 247 כתבות נוספות בתחום ‫תכנון אלק' (‪(EDA‬‬ סינופסיס מציגה פתרונות רכב לתכנון מערכות על שבב הפתרונות של סינופסיס מאפשרים למתכננים להימנע משימוש בפתרונות scripting תפורים ולשפר את זמן הריצה, קיבולת ביצוע המשימות, איכות התוצאות וקלות... קרא עוד ‫תכנון אלק' (‪(EDA‬‬ 3LC, מקודד הבלוטות' של הדור הבא, זמין עבור מעבדי Tensilica HiFi של קיידנס קיידנס הוציאה רישוי לקוד ייחוס מ- Fraunhofer IIS על מנת לאפשר זמינות של המקודד החדש מייד עם השקת תקן ה-LE Audio הראשוני. הדבר מאפשר ללקוחות ליהנות... קרא עוד

תגובות (0)

הצג או הסתר תגובות

כתוב תגובה

מייל שם אתר		כותרת תגובה יותר קטן | יותר גדול
		קבלת עדכונים בדואר אלקטרוני - למשתמשים רשומים בלבד קראתי והנני מסכים ל תנאי השימוש באתר העתק תווים מוצגים הוסף תגובה