הפתרון שיבמ הציגה בתערוכה הוא RuleBase SixthSense Edition שילוב של שתי טכנולוגיות שאוחדו לכלי אחד.
| סיון רבינוביץ' וגדי אורבך מיבמ-מחקר חיפה בכנס ChipEx 2013. צילום: אבי בליזובסקי |
מעבדות המחקר של יבמ בחיפה ידועות בפריצות הדרך שנרשמות בהן בתחומים רבים, וגם בתעשיית השבבים.
סיון רבינוביץ' מנהל קבוצת פיתוח במעבדות המחקר של יבמ בחיפה הציג בכנס ChipEx2013 את הפרויקט שהוא מפתח. בראיון ל Chiportal הסביר: " המעבדה בחיפה היא מעבדת המחקר הכי גדולה של יבמ מחוץ לארה"ב והיא אחת מ-8 מעבדות שיש ליבמ מחקר, זה ארגון גדול ומוכר בעולם, 20 שנה מוביל בפטנטים. הקבוצה שלנו ספציפית עוסקת בפיתוח טכנולוגית Formal Verification הקבוצה קיימת מאז שנת 1993. יבמ היתה האתר התעשייתי הראשון שהטמיע את הטכנולוגיה שהיתה אז בחיתולים.
הפתרון שאנו מציגים בתערוכה RuleBase SixthSense Edition שילוב של שתי טכנולוגיות שאוחדו לכלי אחד. הפלטפורמה מאפשרת למהנדסי הווריפיקציה לקבל רמה גבוהה של ודאות באשר לתכנון שלהם. בשונה משיטות סימולציה שבהן צריך להסתמך על הסתברות מסוימת בשיטה שלנו יש אפשרות לקבל 100% הבטחה שהחומרה שפיתחת תקינה מול הבדיקות שעשית.
אנחנו מתמקדים בעיקר בטכנולוגיות הליבה שהם מנועי Model Checking לטרנספורמציות שונות המשנות את התכנון כך שיתאים לאלגוריתם. עיקר הכוח שלנו מכוון כך שנצליח לעבוד על תכנונים יותר ויותר גדולים בזמני ריצה יותר ויותר קטנים. יש צוות גדול שנמצא בארץ ובכמה אתרים בחו"ל אנו משתפים פעולה עם אוניברסיטאות ומכוני מחקר ברחי העולם ואנחנו מאמינים שהטכנולוגיה שלנו היא הכי חזקה שניתן למצוא היום בשוק."
| {loadposition content-related} |
