בחיים יש לנו המון אילוצים. עבודה, לימודים, חברים, זמן פנוי וכמובן גם תחביבים. אנחנו צריכים תמיד לתעדף פעילות אחת על פני אחרת (מה לעשות, אנחנו עדיין Single Core), מה שאומר שאי אפשר להיות כל היום עם חברים כי צריך גם לעבוד, והסטודנטים שבנינו גם לא יכולים לעשות כל היום תחביבים כי הם צריכים ללמוד. אם נדמה את החיים שלנו כ-Flow של אירועים, נבין שיש מקרים מעניינים או מורכבים יותר מאחרים. נמשיך עם הדימוי שלנו וניכנס למטריקס: נאמר שאנחנו בסימולציה ואנחנו בודקים את האדם שחווה את החיים שתיארנו. כל עוד החיים שלו ממשיכים כסדרם - הכל בסדר. אבל מה קורה כשלא? מה קורה אם לאדם המסומלץ שלנו יש חתונה של החבר הכי טוב שלו ופרזנטציה חשובה בבוקר היום למחרת - האם הוא יצליח? מה קורה אם התחרות הכי חשובה בחוג סריגה למתקדמים של האדם המסומלץ שלנו נופלת על מבחן בלימודים? מה קורה אם בת הזוג שלו מציעה לו לצאת אבל הוא בדיוק במצב בטטה בבינג׳ על הספה רואה The Big Band Theory? נרדד את כל האנלוגיות שלנו ונספר שאנחנו מדברים הפעם על אספקט מרכזי בעבודתו של מהנדס הוריפיקציה - ה Constraint Solver. מהנדס הוריפיקציה לוקח בלוק וצריך לייצר לו קלטים רלוונטיים. אין דרך לעבור על כך הקלטים, ועל כן הוא צריך לחשוב על מקרים ״מעניינים״, כאלה שיאתגרו את המערכת ולהכווין את יצירת המידע האקראית לכיוון הזה. מוזמנים להצטרף לקבוצת המאזינים שלנו - שם אנחנו פותרים אילוצים, אבל רק על משתנים אקראיים >>> https://chat.whatsapp.com/KwUu8pQsxx220qS7AXv04T נשמח לשמוע את דעתכם על הפרק בתגובות. פרק 71 - Verification Constraint Solver Hard Reset - הפודקאסט של קהילת Hardware Engineering Israel. מוזמנים ליצור איתנו קשר במייל podcasthardreset@gmail.com פרק זה הוקלט במהלך מלחמת ״חרבות ברזל״. האזנה נעימה.