E71 - Constraint Solver
בחיים יש לנו המון אילוצים.
עבודה, לימודים, חברים, זמן פנוי וכמובן גם תחביבים.
אנחנו צריכים תמיד לתעדף פעילות אחת על פני אחרת (מה לעשות, אנחנו עדיין 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
פרק זה הוקלט במהלך מלחמת ״חרבות ברזל״.
האזנה נעימה.
בחיים יש לנו המון אילוצים.
עבודה, לימודים, חברים, זמן פנוי וכמובן גם תחביבים.
אנחנו צריכים תמיד לתעדף פעילות אחת על פני אחרת (מה לעשות, אנחנו עדיין 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
פרק זה הוקלט במהלך מלחמת ״חרבות ברזל״.
האזנה נעימה.
עבודה, לימודים, חברים, זמן פנוי וכמובן גם תחביבים.
אנחנו צריכים תמיד לתעדף פעילות אחת על פני אחרת (מה לעשות, אנחנו עדיין 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
פרק זה הוקלט במהלך מלחמת ״חרבות ברזל״.
האזנה נעימה.
Creators and Guests
Host
Lior Schermann
Lior Schermann is a hardware architect and the first verification engineer in the Israeli Defense Forces. A graduate of the prestigious Mamram and Metzav units, he’s currently pursuing degrees in electrical engineering and physics at Tel Aviv University. Known for his curiosity, hard work, and unique perspective.
Host
Yuval Kogan
Yuval Kogan is a verification engineer with a background in electrical engineering and physics. A relentless seeker of knowledge and an avid podcast listener.
