קיידנס מציגה גרסה חדשה של פלטפורמת האימות הפונקציונלי Incisive® וקובעת סטנדרט חדש של פרודוקטיביות ושל ביצועי אימות כוללים
קיידנס דיזיין סיסטמס (Cadence), מובילה עולמית בתחום התכנון האלקטרוני, מציגה גרסה חדשה של פלטפורמת האימות הפונקציונלי Incisive® וקובעת סטנדרט חדש של פרודוקטיביות ושל ביצועי אימות כוללים. הפלטפורמה Incisive 13.2 מתמודדת גם עם האתגרים של בדיקות קניין רוחני (IP) מרמת הבלוק לרמת השבב וגם עם האתגרים של בדיקות האימות של מערכות על-גבי שבב (SoC). הפלטפורמה מציעה ביצועים מהירים בכמה סדרי גודל, באמצעות שני מנועים חדשים ותכונות אוטומציה נוספות שיאיצו את סגירת האימות של ה-SoC.
השיפורים כוללים את מנוע ה-Trident החדש ב-Incisive Formal Verifier וב-Incisive Enterprise Verifier, המשפר את ביצועי הניתוח הפורמלי בשיעור של עד פי עשרים עבור בדיקות אימות של IP מרמת הבלוק לרמת השבב. שיפור נוסף הוא מנוע האילוצים החדש בסימולטור ה-Incisive Enterprise אשר מאיץ את סימולציית ה-SystemVerilog ומאפשר האצה של עד פי עשר באמצעות פלטפורמת ה-Palladium®. תמיכת SystemVerilog בנתח ניפוי השגיאות של Incisive, בשילוב עם יכולות ייחודיות של ניפוי שגיאות UVM ומיטוב של הפרובינג בסביבת ניפוי השגיאות SimVision בתוך הסימולטור Incisive Enterprise – כל אלה עוזרים לצמצם פי עשרה את גודלו של מסד הנתונים. שיפור נוסף הוא בדיקות IEEE 1647 e unit ללא סימולציה שמצמצמות את זמן ניפוי השגיאות עבור קוד בדיקות testbench בשיעור של 30%.
עבור בדיקות אימות של מערכות על גבי שבב ישנם מספר שיפורים, בהם תמיכה מקיפה בפעפוע X (x-propagation) בסימולטור Incisive Simulator וב-Incisive Enterprise Verifier, במטרה להאיץ בשיעור של פי חמישה את אתחול ה-SoC והסימולציות דלות ההספק. תמיכה חדשה עבור מידול מספרים אמיתיים לפי SystemVerilog IEEE 1800-2012 באופציה של ה-Incisive Digital Mixed Signal לסימולציית אותות מעורבים מהירה ביותר מפי מאה.
“מהנדסי אימות לחוצים בזמן וזקוקים לביצועי אימות חזקים מאי פעם. פלטפורמת Incisive 13.2 מספקת ביצועים כאלה אבל גם מתקדמת אל מעבר לנתונים הגולמיים של “שעונים לשנייה” כדי להקיף יכולות, החל מהיישומים הרשמיים, דרך ניפוי שגיאות ועד אגרגציה מטרית מתוך מטרה להאיץ את סגירת האימות. השילוב של אוטומציה ושל אינטגרציה מספק ללקוחותינו יתרונות משמעותיים בהתמודדות עם האתגרים של אימות מערכות על-גבי שבב”, אומר אנדי אליופולוס, סגן נשיא מו”פ בתחום פתרונות האימות המתקדמים בקיידנס.
