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

פלטפורמת אימות שפותחה ביבמ-חיפה הוצגה ב-ChipEx2013

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

gado_auerbach_and_svan_rabinovoch
סיון רבינוביץ' וגדי אורבך מיבמ-מחקר חיפה בכנס ChipEx 2013. צילום: אבי בליזובסקי
מעבדות המחקר של יבמ בחיפה ידועות בפריצות הדרך שנרשמות בהן בתחומים רבים, וגם בתעשיית השבבים.

סיון רבינוביץ' מנהל קבוצת פיתוח במעבדות המחקר של יבמ בחיפה הציג בכנס ChipEx2013 את הפרויקט שהוא מפתח. בראיון ל Chiportal הסביר: " המעבדה בחיפה היא מעבדת המחקר הכי גדולה של יבמ מחוץ לארה"ב והיא אחת מ-8 מעבדות שיש ליבמ מחקר, זה ארגון גדול ומוכר בעולם, 20 שנה מוביל בפטנטים. הקבוצה שלנו ספציפית עוסקת בפיתוח טכנולוגית Formal Verification הקבוצה קיימת מאז שנת 1993. יבמ היתה האתר התעשייתי הראשון שהטמיע את הטכנולוגיה שהיתה אז בחיתולים.

הפתרון שאנו מציגים בתערוכה RuleBase SixthSense Edition שילוב של שתי טכנולוגיות שאוחדו לכלי אחד.  הפלטפורמה מאפשרת למהנדסי הווריפיקציה לקבל רמה גבוהה של ודאות באשר לתכנון שלהם. בשונה משיטות סימולציה שבהן צריך להסתמך על הסתברות מסוימת בשיטה שלנו יש אפשרות לקבל 100% הבטחה שהחומרה שפיתחת תקינה מול הבדיקות שעשית.

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


עוד בתחום שבבים

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

כתבות נוספות בתחום

שבבים
כתבה ריקה 1
כותרת ביניים * כותרת ביניים
קרא עוד
שבבים
כתבה ריקה 2
כותרת ביניים * כותרת ביניים
קרא עוד