LUBIS EDA
LUBIS EDA Launches FormalOS: Infrastructure for Systematic, Scalable Formal Verification
חברת proteanTecs הישראלית השיקה חבילת פתרונות חדשה למערכות Multi-Die ולאריזות שבבים מתקדמות, שנועדה לשפר את תפוקת הייצור (Yield), הביצועים והאמינות של מערכות מורכבות המבוססות על Chiplets.
המעבר המואץ למחשוב AI ולארכיטקטורות Chiplets מביא לשילוב מעבדים, מאיצי AI, זיכרונות ורכיבי קישוריות במארז יחיד. הפתרונות של proteanTecs מאפשרים לנטר את הרכיבים בתוך המארז ולזהות השפעות הנוצרות בתהליך האינטגרציה, ובהן שינויי טמפרטורה, רעשים באספקת החשמל ובשעון, מאמצים מכניים ושינויים הנובעים מעומסי עבודה.
המערכת מאפשרת לבצע בקרת איכות מוקדמת של Chiplets, להשוות נתונים לפני ואחרי האריזה ולנתח מספר רכיבים וזרמי נתונים במקביל. יכולות אלה נועדו לזהות Dies ו-Chiplets בעייתיים לפני שילובם במארזים יקרים, לשפר את איכות ה-Known-Good-Die וה-Known-Good-Stack ולהגדיל את ה-Yield הכולל.
הניטור ממשיך גם לאחר הייצור ובמהלך פעילות המערכת בשטח, ומספק מידע על טמפרטורה, צריכת חשמל ומרווחי תזמון, שניתן לנצל לשיפור ביצועים, צריכת הספק ואמינות לאורך חיי המוצר.
proteanTecs, שנוסדה ב-2017 ומרכזה בישראל, מפתחת טכנולוגיות לניטור מצב וביצועי שבבים ומערכות אלקטרוניות מתקדמות לאורך מחזור החיים שלהן.