פתרונות ה-native של סינופסיס לענף הרכב מאפשרים למתכננים לממש ולאמת ביעילות מנגנוני בטיחות פונקציונלית בכדי להשיג את רמת היעד של ASIL (Automotive Safety Integrity Level) עבור מערכות על גבי שבב קריטיות לבטיחות
הפתרונות הייחודיים של סינופסיס מאפשרים למתכננים להימנע משימוש בפתרונות scripting תפורים ולשפר את זמן הריצה, קיבולת ביצוע המשימות, איכות התוצאות וקלות השימוש
סינופסיס (Nasdaq:SNPS) הכריזה על פתרונות ה-native החדשים שלה לענף הרכב, המיועדים לתכנון יעיל יותר של מערכות על גבי שבב (SoC). ההתפתחות המואצת של טכנולוגיות רכב יוצרת דרישה ליותר שבבי רכב שיספקו רמות של שלמות בטיחות לרכב (ASILs – Automotive Safety Integrity Levels) גבוהות יותר עבור נהיגה אוטונומית ומערכות ADAS (Advanced Driver Assistance Systems). פתרונות ה-native של סינופסיס לתכנון בענף הרכב מאפשרים למתכננים להשיג את רמות היעד של ה-ASIL. לשם כך, סינופסיס מספקת את מערך התכונות המקיף ביותר בשוק בכדי לממש מנגנוני בטיחות פונקציונלית (FuSa) דוגמת TMR (Triple Mode Redundancy), DCLS (Dual Core Lock Step) ו-FSM (Failsafe Finit State Machine).
פתרונות native לענף הרכב מאפשרים בידול ומאפשרים למתכננים ליצור את ההכוונה הראשונה לבטיחות פונקציונלית בשלב מוקדם של התכנון בכדי לתאר את התנהגות מנגנון הבטיחות – תיאור שמשמש כקלט ונשמר לאורך התכנון הדיגיטלי. פתרונות ה-native של סינופסיס לענף הרכב כוללים זרימת תכנון דיגיטלית מלאה הכוללת טכנולוגיות של בטיחות פונקציונלית, שעובדות יחד בכדי למקסם את היעילות. טכנולוגיות אלה כוללות:
- טכנולוגיית TestMAX FuSa מבצעת ניתוח מוקדם של בטיחות פונקציונלית ברמת ה-RTL או השער הלוגי ומזהה מועמדים ל-TMR או ליתירות DCLS בכדי להשיג יעדי SPFM (Single Point Fault Metric) עבור רמת יעד של ASIL
- סינתזת Design Compiler NXT,place and route IC Compiler II ו-Fusion Compiler design insert בודקים את מנגנוני הבטיחות שממומשים במערכת ומדווחים עליהם
- בודק האקוויולנטיות Formality מאמת באופן פונקציונלי שה-RTL תואם את ה-netlist אחרי החדרת יתירות או מודולים לוגיים נוספים
- ה-signoff הפיזי IC Validator מאמת את ה-layout ומדווח שכל מנגנוני היתירות ממומשים בצורה נכונה
“בזמן שבו יישומי רכב של הדור הבא ממשיכים לחולל צמיחה בשוק, מתכננים נמצאים תחת לחץ גובר לספק דרישות של בטיחות פונקציונלית ובו בזמן לעמוד ביעדים אגרסיביים של זמן לשיווק”, אמר שנקר קרישנמורטי, סגן נשיא בכיר למימוש תכנון בקבוצת התכנון בסינופסיס. “סינופסיס מציעה כעת את המערך המלא הראשון בשוק של יכולות המשולבות באופן ילידי בכדי לממש ולאמת מנגנוני בטיחות
פונקציונלית. מתכננים יפיקו תועלת מזמן מהיר יותר לשיווק ומאיכות תוצאות משופרת בתכנונים הקריטיים לבטיחות רכב שלהם”.
פתרונות סינופסיס לתכנון בתעשיית הרכב
פתרונות התכנון המקיפים של סינופסיס לתעשיית הרכב מספקים יכולות מורכבות של ניתוח בטיחות פונקציונלית, מימוש ואימות. החברה מציעה פתרונות מבודלים לתכנון בתעשיית הרכב, דוגמת אימות מאוחד של בטיחות פונקציונלית ופתרונות native לענף הרכב, המאפשרים למתכננים להוכיח כבר בשלבי התכנון והמימוש שארכיטקטורת הבטיחות של השבב שלהם יכולה להשיג את יעדי ה-ASIL. הפתרון לאימות מאוחד של בטיחות פונקציונלית משלב את הטכנולוגיות הטובות מסוגן לניהול בדיקת כשלים תחת מרכז שליטה מאוחד. ניתוח מוקדם של בטיחות פונקציונלית יכול לזהות במהירות מועמדים ל-TMR וליתירות DCLS ולאמוד מדדים לרמות יעד של ASIL.
פתרונות ה-native של סינופסיס לענף הרכב מספקים את מערך התכונות המקיף ביותר בשוק בכדי לממש מנגנוני בטיחות פונקציונלית דוגמת TMR, DCLS ו-FSM. ניתן לבצע הזרקת כשלים דיגיטלית או אנלוגית וסימולציה בכדי ליצור מדדים אמינים לניתוח סופי ולהפעלה. סינופסיס אף מספקת פתרונות מלאים לטיפול באתגרי אמינות ובכללם Electromigration (EM), נפילת מתח (IR), התיישנות התקנים ויכולות RVI (Redundant Via Insertion) רבות עוצמה. סינופסיס מספקת למתכננים קו נרחב של מודולי IP שמתוכננים ובדוקים עבור אמינות AEC-Q100, מציעים הסמכת ISO 26262 עם מוכנות ל-ASIL ותומכים בניהול איכות לפתרונות רכב.
יתר על כן, פתרון האימות לבטיחות פונקציונלית המאוחד של סינופסיס כולל:
- מנהל בטיחות פונקציונלית VC, כלי אוטומציית FMEDA איכותי, סקלבילי ומבוזר המספק את התפוקה הגבהה ביותר באמצעות ה-FMEA/FMEDA ותהליך מאוחד לבדיקת כשלים
- פתרון TestMAX FuSa מבצע ניתוח מוקדם ומהיר של בטיחות פונקציונלית ברמת ה-RTL או השער הלוגי
- סימולטור הכשלים Z01X עבור הדמיית כשלים דיגיטלית מהירה ומוכחת
- אפליקציית VC Formal FuSa המיועדת להאיץ מיון כשלים באמצעות יישום של סינון פורמלי
- סימולטור הכשלים TestMAX CustomFault מספק הדמיית כשלים עתירת ביצועים אנלוגית ובסיגנל מעורכב בכדי להשיג בטיחות פונקציונלית ברמת השבב המלא וניתוח של כיסוי בדיקות
- אמולטור ZeBu מבצע אמולציית כשלים בכדי ליצור בדיקות ארוכות ועתירות תוכנה
- פתרון Verdi Fault Analysis עבור תיקון שגיאות, תכנון וכיסוי בדיקות, כולל שילוב עם כלים מובילים למעקב דרישות
- קוואליפיקציה פונקציונלית של Certitude הממחישה עוצמה של זרימת אימות בתמיכת הערכות ISO 26262 Part 8-9
