סינופסיס מאיצה פי שניים את מהירות המימוש והאימות של ECOs פונקציונליים

ה-Formality Ultra החדש מרחיב את בדיקת האקוויוולנטיות בכדי להאיץ את סגירת התכנון

סינופסיס הכריזה  על Formality Ultra, תצורה חדשה עבור פתרון בדיקת האקוויוולנטיות Formality. Formality Ultra כולל טכנולוגיות התאמה ואימות חדשניות בכדי להנחות מתכננים בצורה יעילה במהלך המימוש של ECOs פונקציונליים. זאת, תוך השפעה מזערית על התכנון ואימות הנכונות של ה-ECO בתוך דקות עבור תכנונים של מיליוני instances. יכולות אלה יסייעו למתכננים לקצר במחצית את הזמן שהם משקיעים במימוש ECOs בשלב מאוחר במחזור התכנון, ויובילו ללוחות זמנים קצרים יותר וצפויים יותר.

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

"בזכות יכולות ה-ECO החדשות ב-Formality Ultra, אנחנו יכולים לצמצם במחצית את הזמן הנדרש למימוש ECOs פונקציונליים ולקצר את לוחות זמני התכנון שלנו", אמר ברוס פישביין, סגן נשיא בחברת Cavium. "הדבר גם יאפשר לנו לממש שינויים פונקציונליים מורכבים יותר כ-ECOs במקום להמתין לנגזרת הבאה של התכנון. אנחנו מתכננים להשתמש ב Formality Ultra בפרויקט הבא שלנו".

ה-Formality Ultra החדש מוסיף טכניקות התאמה מתקדמות שמסמנות באופן חזותי את אי ההתאמה בין ה-RTL לבין ייצוגי ה-netlist של התכנון. באופן זה מתכננים יכולים להתמקד בצורה יעילה בשינויים הנדרשים כדי לממש ECO. בנוסף לכך, טכנולוגיית אימות multi-point חדשה בודקת במהירות רבה שינויים רבים שנעשו בתכנון, מה שמאפשר למתכננים לאמת את נכונות ה-ECOs שלהם בתוך דקות בתכנונים של מיליוני instances.

"מתכננים ברחבי העולם מסתמכים על טכנולוגיית בדיקת האקוויוולנטיות של Formality בכדי לאמת את התכנונים המורכבים ובעלי התדרים הגבוהים שלהם, בלי להקריב את ביצועי השבב או את לוחות הזמנים של התכנון", אמר אנטון דומיק, סגן נשיא בכיר ומנכ"ל ה-Implementation Group בסינופסיס. "Formality Ultra מרחיבה טכנולוגיה זו כדי לטפל באתגר אחר שהם עומדים בפניו – ECOs פונקציונליים. הוא מאפשר למתכננים לצמצם באופן משמעותי את הזמן והמאמץ הנדרשים בכדי לממש את ה-ECOs האלה, להגביר את וודאות לוח הזמנים ולסגור את התכנונים שלהם בזמן".