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

    מטא יוצאת לקרב על המוחות: בונוסים של עד 100 מיליון דולר למדעני OpenAI. אלטמן: אף אחד לא חתם

    מנכ"לית AMD ליסה סו ומנכ"ל OPEN AI סם אלטמן בהופעה בפני וועדה של הקונגרס. צילום מסך מתוך ערוץ היוטיוב של הקונגרס האמריקני

    שבבי ה-AI החדשים של AMD זכו לאמון פומבי של סם אלטמן

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

    SIA: ארה"ב משקיעה יותר מ-10 מיליארד דולר במחקר שבבים – מפת דרכים חדשה מבטיחה שמירה על ההובלה הגלובלית

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

    טקסס אינסטרומנטס תשקיע למעלה מ-60 מיליארד דולר בהקמת מפעלי שבבים בארה"ב

    נשיא ארה"ב דונאלד טראמפ. המחשה: depositphotos.com

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

    טכנולוגיה בקנדה. המחשה: depositphotos.com

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

    Trending Tags

    • בישראל
      צוות פורסייט רובוטיקס. מימין לשמאל: ד"ר דניאל גלוזמן, פרופ׳ משה שוהם וד״ר יוסי נתן. צילום: שלומי יוסף

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

      עמית בן קיש, CTO, קוונטום ארט. צילום יחצ

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

      אמיר פנוש מנכ'ל סיוה. צילום באדיבות החברה

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

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

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

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

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

      MOIA - רכבים אוטונמיים מבוססי מכ"ם של מובילאיי. צילום: קבוצת פולקסווגן

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

      Trending Tags

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

        מטא יוצאת לקרב על המוחות: בונוסים של עד 100 מיליון דולר למדעני OpenAI. אלטמן: אף אחד לא חתם

        מנכ"לית AMD ליסה סו ומנכ"ל OPEN AI סם אלטמן בהופעה בפני וועדה של הקונגרס. צילום מסך מתוך ערוץ היוטיוב של הקונגרס האמריקני

        שבבי ה-AI החדשים של AMD זכו לאמון פומבי של סם אלטמן

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

        SIA: ארה"ב משקיעה יותר מ-10 מיליארד דולר במחקר שבבים – מפת דרכים חדשה מבטיחה שמירה על ההובלה הגלובלית

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

        טקסס אינסטרומנטס תשקיע למעלה מ-60 מיליארד דולר בהקמת מפעלי שבבים בארה"ב

        נשיא ארה"ב דונאלד טראמפ. המחשה: depositphotos.com

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

        טכנולוגיה בקנדה. המחשה: depositphotos.com

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

        Trending Tags

        • בישראל
          צוות פורסייט רובוטיקס. מימין לשמאל: ד"ר דניאל גלוזמן, פרופ׳ משה שוהם וד״ר יוסי נתן. צילום: שלומי יוסף

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

          עמית בן קיש, CTO, קוונטום ארט. צילום יחצ

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

          אמיר פנוש מנכ'ל סיוה. צילום באדיבות החברה

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

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

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

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

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

          MOIA - רכבים אוטונמיים מבוססי מכ"ם של מובילאיי. צילום: קבוצת פולקסווגן

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

          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

          בית מדורים ‫תכנון אלק' (‪(EDA‬‬ לקראת ChipEx2021: ד”ר אבנר לנדוור, אינטל: האימות הפורמאלי נכנס למיינסטרים

          לקראת ChipEx2021: ד"ר אבנר לנדוור, אינטל: האימות הפורמאלי נכנס למיינסטרים

          מאת אבי בליזובסקי
          14 יוני 2021
          in ‫תכנון אלק' (‪(EDA‬‬, בישראל
          לקראת ChipEx2021: ד"ר אבנר לנדוור, אינטל: האימות הפורמאלי נכנס למיינסטרים

          ד"ר אבנר לנדוור, מומחה לתחום האימות, אינטל ישראל

          Share on FacebookShare on TwitterLinkedinWhastsapp

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

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

          לנדוור יהיה אחד המשתתפים בכנס ChipEx2021 שיתקיים ב- 21 ביוני, 2021 – במרכז הכנסים אקספו תל אביב ולמחרת ככנס וירטואלי לטובת מרצים ואורחים שלא יוכלו להגיע לכנס עקב מגבלות הקורונה. ד"ר לנדוור ידבר על הכנסת האימות הפורמלי למיינסטרים כשיטה משלימה לסימולציה, ולא כמחליפה שלה.

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

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

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

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

          מהם יתרונות האימות הפורמאלי מול הסימולציה?

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

          אתם מוזמנים להאזין להרצאתו של ד"ר אבנר לנדוור. להלן לינק הרשמה לכנס ChipEx2021 

          תגיות אבנר לנדוורchipex2021
          אבי בליזובסקי

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

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

          תכנון אלקטרוני. אילוסטרציה: depositphotos.com
          ‫תכנון אלק' (‪(EDA‬‬

          ארה״ב אוסרת על מכירת תוכנות תכנון שבבים לסין מכה קשה ליצרניות כמו שיאומי ולנובו

          EDA - מתוך ויקיפדיה
          בינה מלאכותית (AI/ML)

          האם בינה מלאכותית יכולה להפוך שבבי תקשורת קריטיים לקלים יותר לתכנון?

          ‫תכנון אלק' (‪(EDA‬‬

          Zero ASIC משיקה פלטפורמת chiplets בענן לפיתוח שבבים ללא tape-out

          מטה חברת קיידנס, סן חוזה קליפורניה מקור: אתר החברה
          ‫תכנון אלק' (‪(EDA‬‬

          MediaTek מאמצת את המערכות מבוססות הבינה המלאכותית של קיידנס על פלפטורמת המיחשוב המואץ של אנבידיה

          הפוסט הבא
          שבב AI שנבנה על ידי חברת SiFive באמצעות שימוש ב-IP של סיוה. איור: יחצ

          שמועות בענף: אינטל שוקלת לרכוש את סי-פייב תמורת 2 מיליארד דולר

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

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

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

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

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

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

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

          השותפים שלנו

          לוגו 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 תנאי שימוש ומדיניות פרטיות

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

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

            כלי נגישות

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