 |
אני לא בטח שפנואלי המציא את הלוגיקה הזו, מה שאני שמעתי זה שהוא הכניס אותה למדעי המחשב, הראה שכוח הביטוי שלה חזק וקישר אותה ליישום של אימות חומרה ותוכנה במערכות ראקטיביות (מערכות ראקטיביות = תוכנות שפועלות ללא הפסקה ומגיבות לאירועים חיצוניים, בניגוד לאלגוריתמים שמקבלים קלט, מבצעים עיבוד ויוצאים עם פלט).
הנושא קיבל דחיפה משמעותית כשנעשה בו שימוש מקיף בפרויקט הלביא.
כיום ברוב החברות הגדולות שמפתחות חומרה (בין היתר אינטל, מוטורולה, IBM) ישנן מחלקות שמשתמשות בלוגיקה הטמפורלית על מנת לאפיין ולאמת מעגלים, השימוש בתוכנה פחות נפוץ.
|
 |
RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש