אימות

וובינר סינופסיס לבדיקת תכנונים יתקיים ב-23 באוגוסט

פורסם בתאריך ע"י Techtime

ביום ד’, ה-23 באוגוסט 2023 בשעה 20:00 לפי שעון ישראל, תקיים חברת סינופסיס (Synopsys) וובינר בתחום תכנון מערך הבדיקות לצורך בדיקת איכות התכנון של שבבים Optimize test Quality of Results – QoR). התהליך המקובל היום בתעשייה מבוסס על ניסויים רבים ובדיקות חוטזרות, וסובל מיעילות נמוכה ומאי-ודאות גדולה. אלא שבעידן שבו השבבים נעשים גדולים מאוד ומורכבים מאוד, המהנדסים כבר לא יכולים לסמוך על המתודולוגיות הקיימות. במהלך הוובינר יוצגו התפישה והיתרונות של מערכת Synopsys TSO.ai החדשה (Test Space Optimization AI) המאפשרת לקצר דרמטית ולייעל את התהליך.

מנחה הוובינר:

Rahul Singhal, a Product Manager for Synopsys TestMAX DFT, Synopsys TestMAX ATPG and Test-AI products at Synopsys. His focus is on industry requirements and solutions in the areas of test compression, test streaming solutions and ATPG. He has co-authored multiple tutorials, papers, posters on test in leading IEEE conferences. Rahul received his MS in Electrical Engineering from Portland State University and BS in Electrical Engineering from Purdue University.

למידע נוסף ורישום:

Optimize Test QoR & TTM with AI-Driven Technology

וובינר סינופסיס לאימות תכנונים מבוסס AI יתקיים ב-2 באוגוסט

פורסם בתאריך ע"י Techtime

ביום ד’, ה-7 באוגוסט 2023 בשעה 20:00 לפי שעון ישראל, תקיים חברת סינופסיס (Synopsys) וובינר בתחום האימות של תכנוני שבבים המבוסס על מערכת לימוד המכונה  Synopsys VSO.ai. כיום מוקדשים כ-70% מזמן הפיתוח לאימות נכונות התכנון ולניפוי טעויות. מדובר במשימה ידנית ברובה, אשר נעשית קשה מיום ליום עקב הצמיחה בגודל ובמורכבות השבבים.

This Synopsys webinar will introduce and explore the Synopsys VSO.ai™ solution, Verification Space Optimization, using machine learning technologies to identify and eliminate redundancies in regressions, automate coverage root cause analysis, and infer coverage from RTL and stimulus to identify coverage gaps and provide coverage guidance.

Speakers:

Will Chen (right), Principal Applications engineer in Synopsys’ Customer Success EDA Group. Will has over 20 years of experience with account and project management for functional verification. He has recently been focusing on using AI/ML to improve verification efficiency and productivity.

Taruna Reddy (left), Staff Product Manager in the EDA Group at Synopsys. Taruna has 18 years of experience in EDA and functional verification. Prior to joining Synopsys, Taruna held field applications and verification engineering positions at Mentor Graphics, Verilab and Xtreme-EDA.

למידע נוסף ורישום:

Accelerate Coverage Closure with Synopsys VSO.ai

קיידנס השיקה את פלטפורמת Verisium לאימות מבוסס AI

פורסם בתאריך ע"י Techtime

חברת קיידנס (Cadence) השיקה את פלטפורמת אימות התכנון Verisium, אשר מבוססת על שימוש בבינה מלאכותית (AI) וכוללת שימוש בביג דטה לביצוע אופטימיזציה של עומסי העבודה בתהליך הבדיקה ולקצר את זמני הבדיקה. המוצר החדש בנוי על-בסיס פלטפורמת Joint Enterprise Data and AI – JedAI החדשה, אשר תואמת לכל מנועי האימות הקיימים של החברה ומספקת את מנוע הבינה המלאכותית למערכת Verisium.

החברה מסרה שמבחינתה מדובר בשינוי פרדיגמה באופן שבו מאמתים את תכנוני השבבים: "מערכת Verisium מאפשרת לעבור ממתכונת הרצה של אלגוריתם תכנון אלקטרוני (EDA) אחד על מנוע אחד, בכל פעם, למתכונת עבודה שבה ניתן לנצל את כל המידע הנאסף בכל הריצות שבוצעו במהלך כל שלבי התכנון והאימות של ה-SoC".

המערכת ממזגת את כל מקורות המידע (צורות גלים, דו"חות, log files ועוד), מייצרת מידע נוסף באמצעות חקירה מבוססת בינה מלאכותית של הנתונים, ומפיקה מודלים של המוצר המתוכנן. פלטפורמת Verisium מאחדת תחת קורת גג אחת את האלגוריתמים ופתרונות האימות הקיימים של החברה, בהם: Cadence Cerebrus, Palladium Z2 emulation, Protium X2 prototyping, Xceliumsimulation ועוד. המערכת מספקת חבילה שלמה של יישומי אימות וניהול האימות, כולל ממשק Python API המאפשר למהנדסים לכתוב בעצמם תהליכים ואפליקציות משלהם.

 

וובינר סינופסיס בתחום אימות מונחה-בינה מלאכותית

פורסם בתאריך ע"י Techtime

ביום ד’, ה-27 ביולי 2022, תקיים חברת סינופסיס (Synopsys) וובינר בנושא השימוש במערכות מונחות בינה מלאכותית לביצוע בדיקות Regression Debug Automation לאחר שנעשו שינויים בתכנון השבב, במטרה להבטיח את המשך פעילותו הפונקציונלית ואיתור בעיות שורש בתכנון המעודכן. ההדרכה תתקיים בשעה 20:00 לפי שעון ישראל ותימשך 60 דקות.

למידע נוסף ורישום: AI-Driven Verification: Saving Time with Verdi Regression Debug Automation

Speakers:

Rob van Blommestein (left): Product Marketing Manager for the Verdi Automated Debug System at Synopsys. He has over 20 years of experience in marketing verification products from startups to large-scale companies.

Myles Glisson (right): Product and debug Applications Engineer with nearly 30 years of experience. He is a well-known leader in customer advocacy, building strong customer relationships, solving issues as well as providing technical advice and solutions. He works with sales, marketing and R&D to drive the adoption of solutions in customer flows and methodologies.

More about the webinar:

The Synopsys Verdi® Regression Debug Automation (RDA) is an artificial intelligence (AI) driven verification technology for automating the process of finding the root causes of failures in the design under test and test bench. In this Synopsys webinar, we will discuss the challenges engineers face during the design verification and debug phase. We will walk you through the AI-driven components of RDA to help you eliminate the manual process, save time, more quickly understand design behavior and get to the root cause of errors.

AI-Driven Verification: Verdi Regression Debug Automation

קיידנס הכריזה על חבילת יישומי אימות-לוגי

פורסם בתאריך ע"י Techtime

בתמונה למעלה: זיאד חנא. "העיבוד המקבילי והבינה המלאכותית פותחו בישראל"

חברת קיידנס (Cadence) הכריזה על חבילת יישומים חדשים, Xcelium Apps, עבור הסימולטור הלוגי Xcelium Logic, שנועדו לסייע באימות תכנוני שבבים עבור מוצרים תובעניים הנדרשים בשווקים דוגמת תעשיית הרכב, אבזרים ניידים ומערכות עיבוד גדולות (Hyperscale). סגן נשיא עולמי בחברת קיידנס ומנהל כל מרכזי הפיתוח של קיידנס בישראל, זיאד חנא, סיפר ל-Techtime שליבת הטכנולוגיה שמאחורי ההכרזה החדשה פותחה בישראל. חנא: "תוכנת אקסליום בודקת את התיפקוד הלוגי של התכנון שנכתב בשפות Verilog או VHDL, וניתנת להרצה מהענן או ממחשב מקומי.

"על-גבי הסימולטור הזה בנינו אוסף של פתרונות ייעודיים, כדי לפתור בעיות נפוצות בתחום האימות הלוגי. פתרון אחד מאפשר לשפר את התפוקה של הסימולטור באמצעות שימוש בבינה מלאכותית ולימוד מכונה. בנינו גם פתרון הממוקד בשיפור צריכת ההספק של השבב, פתרון המשפר את יכול האימות של שבבי אותות מעורבים (אנלוג ודיגיטל), יישום המאמת את העמידה של התכנון בתקן תעשיית הרכב ISO 26262, איתור מהיר של באגים ועוד. יישום מעניין במיוחד מבחינת ישראל, בשם Multi Core, מבצע סימולציה של מערכות כבדות מאוד באמצעות עיבוד מקבילי".

יריית הפתיחה: רכישת רוקטיק ב-2016

חברת קיידנס השיקה בשנת 2017 את סימולטור Xcelium, שנועד להחליף את פלטפורמת Incisive מהדור הקודם. כבר עם השקתו שולבו בו יכולות עיבוד מקבילי מסויימות שהובאו מחברת Rocketick מרמת-גן, שקיידנס רכשה בחודש אפריל 2016. לדברי חנא, בארבע השנים האחרונות בוצע תהליך פיתוח מקיף שנועד לשפר את הטכנולוגיה ולהשלים את ההתאמה וההטמעה המלאה שלה בליבת הסימולטור. אחת מהתוצאות של התהליך היא אפליקציית Multi Core אשר מפחיתה משמעותית את זמן ההרצה בבדיקות ממושכות בעצימות גבוהה.

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

למידע נוסף: Cadence Xcelium Logic Simulator