Warning: Creating default object from empty value in /home/chiporta/public_html/plugins/system/advancedmodules/modulehelper.php on line 320

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

מאת אבי בליזובסקי חמישי, 20 יוני 2013 00:24
גרסת הדפסה

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


עוד בתחום תכנון אלקט

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 הראשוני. הדבר מאפשר ללקוחות ליהנות...
קרא עוד