+
Artwork

תוכן מסופק על ידי Yuval Kogan, Lior Schermann, and Shay Oliver. כל תוכן הפודקאסטים כולל פרקים, גרפיקה ותיאורי פודקאסטים מועלים ומסופקים ישירות על ידי Yuval Kogan, Lior Schermann, and Shay Oliver או שותף פלטפורמת הפודקאסט שלהם. אם אתה מאמין שמישהו משתמש ביצירה שלך המוגנת בזכויות יוצרים ללא רשותך, אתה יכול לעקוב אחר התהליך המתואר כאן https://he.player.fm/legal.
Player FM - אפליקציית פודקאסט
התחל במצב לא מקוון עם האפליקציה Player FM !

E71 - Constraint Solver

32:57
 
שתפו
 

Manage episode 473010222 series 3337008
תוכן מסופק על ידי Yuval Kogan, Lior Schermann, and Shay Oliver. כל תוכן הפודקאסטים כולל פרקים, גרפיקה ותיאורי פודקאסטים מועלים ומסופקים ישירות על ידי Yuval Kogan, Lior Schermann, and Shay Oliver או שותף פלטפורמת הפודקאסט שלהם. אם אתה מאמין שמישהו משתמש ביצירה שלך המוגנת בזכויות יוצרים ללא רשותך, אתה יכול לעקוב אחר התהליך המתואר כאן https://he.player.fm/legal.
בחיים יש לנו המון אילוצים. עבודה, לימודים, חברים, זמן פנוי וכמובן גם תחביבים. אנחנו צריכים תמיד לתעדף פעילות אחת על פני אחרת (מה לעשות, אנחנו עדיין 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] פרק זה הוקלט במהלך מלחמת ״חרבות ברזל״. האזנה נעימה.
  continue reading

76 פרקים

Artwork

E71 - Constraint Solver

Hard Reset

17 subscribers

published

iconשתפו
 
Manage episode 473010222 series 3337008
תוכן מסופק על ידי Yuval Kogan, Lior Schermann, and Shay Oliver. כל תוכן הפודקאסטים כולל פרקים, גרפיקה ותיאורי פודקאסטים מועלים ומסופקים ישירות על ידי Yuval Kogan, Lior Schermann, and Shay Oliver או שותף פלטפורמת הפודקאסט שלהם. אם אתה מאמין שמישהו משתמש ביצירה שלך המוגנת בזכויות יוצרים ללא רשותך, אתה יכול לעקוב אחר התהליך המתואר כאן https://he.player.fm/legal.
בחיים יש לנו המון אילוצים. עבודה, לימודים, חברים, זמן פנוי וכמובן גם תחביבים. אנחנו צריכים תמיד לתעדף פעילות אחת על פני אחרת (מה לעשות, אנחנו עדיין 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] פרק זה הוקלט במהלך מלחמת ״חרבות ברזל״. האזנה נעימה.
  continue reading

76 פרקים

כל הפרקים

×
 
Loading …

ברוכים הבאים אל Player FM!

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

 

מדריך עזר מהיר

האזן לתוכנית הזו בזמן שאתה חוקר
הפעלה

'> ' id=''> /> Public: /> Content source: />
点击 这是indexloc提供的php浏览器服务,不要输入任何密码和下载