• אודות
  • כנסים ואירועים
  • צור קשר
  • הצטרפות לניוזלטר
  • TapeOut Magazine
  • ChipEx
  • סיליקון קלאב
  • Jobs
מבית
EN
Tech News, Magazine & Review WordPress Theme 2017
  • עיקר החדשות
    מיזוג MIPS לתוך גלובל פאונדריז. צילום יחצ גלובל פאונדריז.

    GlobalFoundries רוכשת את MIPS: מהפך בתעשיית שבבי ה־RISC

    שגשוג הכלכלה הבריטית תלוי בתעשיית השבבים. אילוסטרציה: depositphotos.com

    שבבים כדרכון לגוש הG7: טכנולוגיית השבבים כבסיס לכוח גיאופוליטי בבריטניה

    מכרה נחושת בסין. אילוסטרציה: depositphotos.com

    PwC: משבר האקלים מאיים על שליש מאספקת השבבים העולמית

    סינגפור משיקה מרכז לאומי לטכנולוגיית גליום ניטריד

    סינגפור משיקה מרכז לאומי לטכנולוגיית גליום ניטריד

    המפעל המוצע של סמסונג בטיילורס, טקסס. צילום יחצ

    סמסונג דוחה את השלמת מפעל השבבים בטקסס בשל מחסור בלקוחות

    שבבים בעולם מפוצל. אילוסטרציה: depositphotos.com

    ההתנתקות בין ארה"ב לסין מעצבת מחדש את תעשיית השבבים

    Trending Tags

    • בישראל
      אנטנת לוויינים של גילת. צילום יחצ

      גילת קבלה הזמנות בסכום העולה על 22 מיליון דולר ממפעילי לוויינים מובילים

      לוגו טאואר. צילום יחצ

      טאואר הישראלית וטאטא ההודית מתחרות על שדרוג מפעל השבבים במוהאלי

      לוגו - אלוט

      אלוט חתמה על הסכם משמעותי עם מפעיל תקשורת גדול באירופה

      חברת Speedata המענינת נחשפת

      ספידאטה גייסה 44 מיליון דולר ומשיקה את השבב הראשון בעולם המיועד להאצת ניתוחי ביג דאטה

      אתר אנבידיה ביוקנעם. צילום יחצ

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

      אלישע שחמון בשנות השמונים. צילום: הספריה הלאומית

      אלישע שחמון, מראשוני תעשיית ההייטק בישראל ומנכ"ל מוטורולה ישראל לשעבר, הלך לעולמו בגיל 85

      Trending Tags

      • מדורים
        • אוטומוטיב
        • בינה מלאכותית (AI/ML)
        • בטחון, תעופה וחלל
        • ‫טכנולוגיות ירוקות‬
        • ‫יצור (‪(FABs‬‬
        • ‫צב"ד‬
        • ‫שבבים‬
        • ‫רכיבים‬ (IOT)
        • ‫תוכנות משובצות‬
        • ‫תכנון אלק' (‪(EDA‬‬
        • תקשורת מהירה
        • ‫‪FPGA‬‬
        • ‫ ‪וזכרונות IPs‬‬
      • מאמרים ומחקרים
      • צ'יפסים
      • Chiportal Index
        • Search By Category
        • Search By ABC
      No Result
      View All Result
      Chiportal
      • עיקר החדשות
        מיזוג MIPS לתוך גלובל פאונדריז. צילום יחצ גלובל פאונדריז.

        GlobalFoundries רוכשת את MIPS: מהפך בתעשיית שבבי ה־RISC

        שגשוג הכלכלה הבריטית תלוי בתעשיית השבבים. אילוסטרציה: depositphotos.com

        שבבים כדרכון לגוש הG7: טכנולוגיית השבבים כבסיס לכוח גיאופוליטי בבריטניה

        מכרה נחושת בסין. אילוסטרציה: depositphotos.com

        PwC: משבר האקלים מאיים על שליש מאספקת השבבים העולמית

        סינגפור משיקה מרכז לאומי לטכנולוגיית גליום ניטריד

        סינגפור משיקה מרכז לאומי לטכנולוגיית גליום ניטריד

        המפעל המוצע של סמסונג בטיילורס, טקסס. צילום יחצ

        סמסונג דוחה את השלמת מפעל השבבים בטקסס בשל מחסור בלקוחות

        שבבים בעולם מפוצל. אילוסטרציה: depositphotos.com

        ההתנתקות בין ארה"ב לסין מעצבת מחדש את תעשיית השבבים

        Trending Tags

        • בישראל
          אנטנת לוויינים של גילת. צילום יחצ

          גילת קבלה הזמנות בסכום העולה על 22 מיליון דולר ממפעילי לוויינים מובילים

          לוגו טאואר. צילום יחצ

          טאואר הישראלית וטאטא ההודית מתחרות על שדרוג מפעל השבבים במוהאלי

          לוגו - אלוט

          אלוט חתמה על הסכם משמעותי עם מפעיל תקשורת גדול באירופה

          חברת Speedata המענינת נחשפת

          ספידאטה גייסה 44 מיליון דולר ומשיקה את השבב הראשון בעולם המיועד להאצת ניתוחי ביג דאטה

          אתר אנבידיה ביוקנעם. צילום יחצ

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

          אלישע שחמון בשנות השמונים. צילום: הספריה הלאומית

          אלישע שחמון, מראשוני תעשיית ההייטק בישראל ומנכ"ל מוטורולה ישראל לשעבר, הלך לעולמו בגיל 85

          Trending Tags

          • מדורים
            • אוטומוטיב
            • בינה מלאכותית (AI/ML)
            • בטחון, תעופה וחלל
            • ‫טכנולוגיות ירוקות‬
            • ‫יצור (‪(FABs‬‬
            • ‫צב"ד‬
            • ‫שבבים‬
            • ‫רכיבים‬ (IOT)
            • ‫תוכנות משובצות‬
            • ‫תכנון אלק' (‪(EDA‬‬
            • תקשורת מהירה
            • ‫‪FPGA‬‬
            • ‫ ‪וזכרונות IPs‬‬
          • מאמרים ומחקרים
          • צ'יפסים
          • Chiportal Index
            • Search By Category
            • Search By ABC
          No Result
          View All Result
          Chiportal
          No Result
          View All Result

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

          קיידנס השיקה דור שלישי לפלטפורמת האימות הפורמלי JasperGold

          מאת אבי בליזובסקי
          02 יוני 2019
          in אוטומוטיב, ‫תכנון אלק' (‪(EDA‬‬, עיקר החדשות
          Ziyad Hanna. credit Cadence
          Share on FacebookShare on TwitterLinkedinWhastsapp

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

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

          קיידנס דיזיין סיסטמס (Cadence) השיקה את הדור השלישי של פלטפורמת האימות הפורמלית JasperGold, הכוללת שיפורים בטכנולוגיות למידת מכונה (ML) ובטכנולוגיית הליבה הפורמלית. העדכונים בפלטפורמה נועדו לעזור בהתמודדות עם אתגרי המורכבות והנפח של תכנוני מערכות מתקדמות על גבי שבב (SoC) ולשפר את תפוקת האימות.

          פלטפורמת JasperGold החדשה מציגה את השלב העדכני ביותר באלגוריתם proof-solver ובשיפור ה-orchestration . בפלטפורמה חדשה זו, משולבת טכנולוגיית SmartProof, המתוכננת לשפר את תפוקת האימות עבור כל יישומי JasperGold. למידת מכונה (ML) משמשת כדי לבחור ולהגדיר כלי פתרון ולקבוע עבורם פרמטרים במטרה לאפשר הוכחות ראשוניות (first time proof) מהירות יותר. בנוסף, טכנולוגית למידת מכונה משמשת למיטוב הרצות רצופות, לצורך בדיקות רגרסיה, באופן מקומי או בענן. עם טכנולוגיית SmartPfoof, אפשר להשיג האצה של עד פי ארבע בהוכחות ועד פי שש בהרצות רגרסיה.

          התכנונים על גבי שבבים (SoCs) הקיימים היום, הם גדולים ומורכבים יותר ולכן תהליך הידור התכנון (קומפילציה) הוא שמגדיר את הגודל המירבי של התכנון ואת משאבי המחשוב ההכרחיים כדי להתחיל לבצע ניתוח פורמלי. פלטפורמת JasperGold העדכנית מספקת כמעט פי שניים נפח קומפילציה, עם צמצום של כ-50% בממוצע בניצול הזיכרון במהלך הקומפילציה, בהשוואה למה שהיה מקובל בשוק לפני שנה. בנוסף, המהנדסים יכולים לשנות ביעילות את נפח התכנון בעזרת טכנולוגיות הידור מקבילי מתקדם שמנצל בצורה מיטבית משאבי מחשוב קיימים, ועל ידי הרצת הוכחות על הענן.

          טכנולוגיות הכיסוי (Coverage) הפורמלי החדשות של הפלטפורמה מאפשרות למהנדסים לבצע IP signoff ב-JasperGold בלבד. טכנולוגיות ה-signoff הפורמלי החדשות כוללות שיפור בדיוק ליבת ההוכחה (proof-core), טכניקות חדשות להשגת כיסוי משמעותי באיתור שגיאות עמוקות (bug hunting) ואנליזות כיסוי פורמלי חדשות. כל היכולות החדשות הללו מספקות איכות "חתימה" ( signoff quality) בכיסוי של מדדי פורמל ומאפשר שילוב במספר מנועים (פורמל, סימולצמיה ואמולציה) להשגת ייעדי הוריפיקציה.

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

          פלטפורמת האימות הפורמלי JasperGold הינה חלק מחבילת האימות של קיידנס והיא תומכת באסטרטגיית ה-System Design Enablement של החברה, המאפשרת לחברות מוליכים למחצה ומערכות לפתח מוצרי קצה בעלי בידול, ביעילות רבה יותר.

          {loadposition content-related}
          אבי בליזובסקי

          אבי בליזובסקי

          נוספים מאמרים

          MOIA - רכבים אוטונמיים מבוססי מכ
          אוטומוטיב

          מובילאיי במרכז מהפכת הרובוטקסי של פולקסווגן: תניע את צי ההסעות האוטונומיות של אובר בלוס אנג'לס

          רכב אוטונומי בדרגה 3. צילום BMW ואינוויז
          אוטומוטיב

          אינוביז חתמה על הסכם פיתוח עם אחת מחמש יצרניות הרכב הגדולות בעולם

          מנכ
          אוטומוטיב

          NXP השלימה את רכישת TTTech Auto תמורת 625 מיליון דולר – ומזרזת את מהפכת הרכב מבוסס התוכנה

          מערכות לידאר לרכב. אילוסטרציה: depositphotos.com
          אוטומוטיב

          סוני מכריזה על חיישן עומק חדש לרכבי לידאר: ביצועים מתקדמים לבטיחות ודיוק במערכות נהיגה אוטונומיות

          הפוסט הבא
          SeeFar system

          אלתא מציגה: חיישנים אלקטרואופטיים להגנת תנועת רכבות

          כתיבת תגובה לבטל

          האימייל לא יוצג באתר. שדות החובה מסומנים *

          • הידיעות הנקראות ביותר
          • מאמרים פופולאריים

          הידיעות הנקראות ביותר

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

          מאמרים פופולאריים

          • היתרון הישראלי בסכסוך האיראני – לוחמה מדויקת…
          • מסטארטאפ ניישן לסמיקונדקטור ניישן: כיצד הפכה ישראל…
          • ענבר דג – דג נדיר בתעשיית השבבים
          • מקרה קלרנה : האם הרומן עם הבינה מלאכותית הסתיים בבגידה?
          • אתגרי תכנון שבבים ב – 1.8 ננומטר

          השותפים שלנו

          לוגו TSMC
          לוגו TSMC

          לחצו למשרות פנויות בהייטק

          כנסים ואירועים

          כנסים ואירועים

          כנס ChipEx2025 יערך ב-13-14 במאי, 2025. הכנס מיועד לכל העוסקים בתעשיית הסמיקונדקטור  כולל מהנדסים, מומחים מקצועיים ובכירים.

          לחץ לפרטים

          הרשמה לניוזלטר של ChiPortal

          הצטרפו לרשימת הדיוור שלנו


            • פרסם אצלנו
            • עיקר החדשות
            • הצטרפות לניוזלטר
            • בישראל
            • צור קשר
            • צ'יפסים
            • Chiportal Index
            • TapeOut Magazine
            • אודות
            • מאמרים ומחקרים
            • תנאי שימוש
            • כנסים
            • אוטומוטיב
            • בינה מלאכותית
            • בטחון, תעופה וחלל
            • ‫טכנולוגיות ירוקות‬
            • ‫יצור (‪(FABs‬‬
            • ‫צב"ד‬
            • ‫רכיבים‬ (IOT)
            • ‫שבבים‬
            • ‫תוכנות משובצות‬
            • ‫תכנון אלק' (‪(EDA‬‬
            • ‫‪FPGA‬‬
            • ‫ ‪וזכרונות IPs‬‬

            השותפים שלנו

            כל הזכויות שמורות Chiportal (c) 2010 תנאי שימוש ומדיניות פרטיות

            דרונט דיגיטל - בניית אתרים, בניית אתרי וורדפרס, בניית אתרי סחר, חנות אינטרנטית, פיתוח אתרים

            No Result
            View All Result
            • עיקר החדשות
            • בישראל
            • מדורים
              • אוטומוטיב
              • בינה מלאכותית (AI/ML)
              • בטחון, תעופה וחלל
              • ‫טכנולוגיות ירוקות‬
              • ‫יצור (‪(FABs‬‬
              • ‫צב"ד‬
              • ‫שבבים‬
              • ‫רכיבים‬ (IoT)
              • ‫תוכנות משובצות‬
              • ‫תכנון אלק' (‪(EDA‬‬
              • ‫‪FPGA‬‬
              • ‫ ‪וזכרונות IPs‬‬
              • תקשורת מהירה
            • מאמרים ומחקרים
            • צ'יפסים
            • כנסים
            • Chiportal Index
              • אינדקס חברות – קטגוריות
              • אינדקס חברות A-Z
            • אודות
            • הצטרפות לניוזלטר
            • TapeOut Magazine
            • צור קשר
            • ChipEx
            • סיליקון קלאב

            כל הזכויות שמורות Chiportal (c) 2010 תנאי שימוש ומדיניות פרטיות

            דרונט דיגיטל - בניית אתרים, בניית אתרי וורדפרס, בניית אתרי סחר, חנות אינטרנטית, פיתוח אתרים

            דילוג לתוכן
            פתח סרגל נגישות כלי נגישות

            כלי נגישות

            • הגדל טקסטהגדל טקסט
            • הקטן טקסטהקטן טקסט
            • גווני אפורגווני אפור
            • ניגודיות גבוההניגודיות גבוהה
            • ניגודיות הפוכהניגודיות הפוכה
            • רקע בהיררקע בהיר
            • הדגשת קישוריםהדגשת קישורים
            • פונט קריאפונט קריא
            • איפוס איפוס