 |
פורטל תעשיית השבבים בישראל מבית מגזין |
|
|
פורטל תעשיית השבבים בישראל מבית מגזין |
|
|
מאמרים פופולרייםWarning: Creating default object from empty value in /home/chiporta/public_html/modules/mod_mostread/helper.php on line 79 Warning: Creating default object from empty value in /home/chiporta/public_html/modules/mod_mostread/helper.php on line 79 Warning: Creating default object from empty value in /home/chiporta/public_html/modules/mod_mostread/helper.php on line 79 Warning: Creating default object from empty value in /home/chiporta/public_html/modules/mod_mostread/helper.php on line 79 חם בפורומיםWarning: Creating default object from empty value in /home/chiporta/public_html/modules/mod_kunenalatest/helper.php on line 220 Warning: Creating default object from empty value in /home/chiporta/public_html/modules/mod_kunenalatest/helper.php on line 220 Warning: Creating default object from empty value in /home/chiporta/public_html/modules/mod_kunenalatest/helper.php on line 220 Warning: Creating default object from empty value in /home/chiporta/public_html/modules/mod_kunenalatest/helper.php on line 220 Warning: Creating default object from empty value in /home/chiporta/public_html/modules/mod_kunenalatest/helper.php on line 220
|
 Warning: Creating default object from empty value in /home/chiporta/public_html/plugins/system/advancedmodules/modulehelper.php on line 320
סיון רבינוביץ' מנהל קבוצת פיתוח במעבדות המחקר של יבמ בחיפה הציג בכנס ChipEx2013 את הפרויקט שהוא מפתח. בראיון ל Chiportal הסביר: " המעבדה בחיפה היא מעבדת המחקר הכי גדולה של יבמ מחוץ לארה"ב והיא אחת מ-8 מעבדות שיש ליבמ מחקר, זה ארגון גדול ומוכר בעולם, 20 שנה מוביל בפטנטים. הקבוצה שלנו ספציפית עוסקת בפיתוח טכנולוגית Formal Verification הקבוצה קיימת מאז שנת 1993. יבמ היתה האתר התעשייתי הראשון שהטמיע את הטכנולוגיה שהיתה אז בחיתולים. הפתרון שאנו מציגים בתערוכה RuleBase SixthSense Edition שילוב של שתי טכנולוגיות שאוחדו לכלי אחד. הפלטפורמה מאפשרת למהנדסי הווריפיקציה לקבל רמה גבוהה של ודאות באשר לתכנון שלהם. בשונה משיטות סימולציה שבהן צריך להסתמך על הסתברות מסוימת בשיטה שלנו יש אפשרות לקבל 100% הבטחה שהחומרה שפיתחת תקינה מול הבדיקות שעשית. אנחנו מתמקדים בעיקר בטכנולוגיות הליבה שהם מנועי Model Checking לטרנספורמציות שונות המשנות את התכנון כך שיתאים לאלגוריתם. עיקר הכוח שלנו מכוון כך שנצליח לעבוד על תכנונים יותר ויותר גדולים בזמני ריצה יותר ויותר קטנים. יש צוות גדול שנמצא בארץ ובכמה אתרים בחו"ל אנו משתפים פעולה עם אוניברסיטאות ומכוני מחקר ברחי העולם ואנחנו מאמינים שהטכנולוגיה שלנו היא הכי חזקה שניתן למצוא היום בשוק."
תגובות (0)
 |
שדרת הלוגואים |
|||||||||
 |
בניית אתרים | בעצם גלישתכם באתר הכנם מסכימים לתנאי השימוש בו - לחצו כאן לקריאת תנאי השימוש - כל הזכויות שמורות Chiportal (c) 2010 |
הצג או הסתר תגובות
