E71 - Constraint Solver

Hard Reset

Yuval Kogan and Lior Schermann에서 제공하는 콘텐츠입니다. 에피소드, 그래픽, 팟캐스트 설명을 포함한 모든 팟캐스트 콘텐츠는 Yuval Kogan and Lior Schermann 또는 해당 팟캐스트 플랫폼 파트너가 직접 업로드하고 제공합니다. 누군가가 귀하의 허락 없이 귀하의 저작물을 사용하고 있다고 생각되는 경우 여기에 설명된 절차를 따르실 수 있습니다 https://ko.player.fm/legal.

7M ago 32:58

MP3•에피소드 홈

בחיים יש לנו המון אילוצים.

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

אם נדמה את החיים שלנו כ-Flow של אירועים, נבין שיש מקרים מעניינים או מורכבים יותר מאחרים.
נמשיך עם הדימוי שלנו וניכנס למטריקס:
נאמר שאנחנו בסימולציה ואנחנו בודקים את האדם שחווה את החיים שתיארנו. כל עוד החיים שלו ממשיכים כסדרם - הכל בסדר. אבל מה קורה כשלא?
מה קורה אם לאדם המסומלץ שלנו יש חתונה של החבר הכי טוב שלו ופרזנטציה חשובה בבוקר היום למחרת - האם הוא יצליח?
מה קורה אם התחרות הכי חשובה בחוג סריגה למתקדמים של האדם המסומלץ שלנו נופלת על מבחן בלימודים?
מה קורה אם בת הזוג שלו מציעה לו לצאת אבל הוא בדיוק במצב בטטה בבינג׳ על הספה רואה The Big Band Theory?

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

מוזמנים להצטרף לקבוצת המאזינים שלנו - שם אנחנו פותרים אילוצים, אבל רק על משתנים אקראיים >>> https://chat.whatsapp.com/KwUu8pQsxx220qS7AXv04T

נשמח לשמוע את דעתכם על הפרק בתגובות.

פרק 71 - Verification Constraint Solver
Hard Reset - הפודקאסט של קהילת Hardware Engineering Israel.
מוזמנים ליצור איתנו קשר במייל [email protected]

פרק זה הוקלט במהלך מלחמת ״חרבות ברזל״.
האזנה נעימה.

86 에피소드