Cadence הכריזה על פלטפורמת Incisive 13.2

פורסם ב-מרץ 2, 2014

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

Share via Whatsapp

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

cadenceפלטפורמת Incisive 13.2 מתמודדת גם עם האתגרים של בדיקות קניין רוחני (IP) מרמת הבלוק ועד לרמת השבב, וגם עם האתגרים של בדיקות האימות של מערכות על-גבי שבב (SoC). הגירסה החדשה משפרת את מהירות הביצועים בכמה סדרי גודל, באמצעות שני מנועים חדשים ותכונות אוטומציה נוספות שיאיצו את סגירת האימות של ה-SoC.

השיפורים בפלטפורמה כוללים: מנוע Trident החדש ב-Incisive Formal Verifier וב-Incisive Enterprise Verifier, המשפר עד פי 20 את ביצועי הניתוח הפורמלי עבור בדיקות אימות של IP מרמת הבלוק לרמת השבב.

מנוע האילוצים החדש בסימולטור ה-Incisive Enterprise מאיץ את סימולציית ה-SystemVerilog ומאפשר האצה של עד פי 10 באמצעות פלטפורמת ה-Palladium. תמיכת SystemVerilog בנתח ניפוי השגיאות של Incisive, בשילוב עם יכולות ייחודיות של ניפוי שגיאות UVM ומיטוב של הפרובינג בסביבת ניפוי השגיאות SimVision בתוך הסימולטור Incisive Enterprise – עוזרים להקטין את גודל מסד הנתונים לכעשירית.

שיפור נוסף הוא בדיקות IEEE 1647 e unit ללא סימולציה, המצמצמות בשיעור של 30% את זמן ניפוי השגיאות עבור קוד בדיקות testbench .

בנושא בדיקות האימות של SoC, השידרוג כולל מספר שיפורים: תמיכה מקיפה ב-X-propagation בסימולטור Incisive Simulator וב-Incisive Enterprise Verifier, במטרה להאיץ בשיעור של פי חמישה את אתחול ה-SoC והסימולציות דלות ההספק. תמיכה חדשה עבור מידול מספרים אמיתיים לפי SystemVerilog IEEE 1800-2012 באופציה של ה-Incisive Digital Mixed Signal לסימולציית אותות מעורבים מהירה ביותר מפי מאה.

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

 

פורסם בקטגוריות: IC Design