E9 - Formal Verification Engineer (Or Drucker)
יובל קוגן, ליאור שרמן ואור דרוקר מדברים על חומרה
Hard Reset · Or Drucker, Yuval Kogan, Lior Schermann
August 1, 20221h 2m
Audio is streamed directly from the publisher (media.transistor.fm) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.
Show Notes
מי הוא מהנדס הפורמל ומה הוא עושה? איך נראה יום עבודה שלו? עם מי הוא עובד? למה צריך וריפיקציה רגילה אם קיים פורמל? מי קדם למי?
בפרק אירחנו את אור דרוקר שענה לנו על השאלות האלה ועל עוד המון אחרות.
אור בעל 4 שנים של ניסיון בתחום והציג את התחום בצורה יפה.
הצטרפו אלינו לפרק שבו התראיין אצלנו מהנדס פורמל ושאלנו את השאלות שחשבנו שתרצו תשובות עליהן. אם יש לכם עוד שאלות שלא ענינו בפרק, כתבו לנו :)
[email protected]
בפרק אירחנו את אור דרוקר שענה לנו על השאלות האלה ועל עוד המון אחרות.
אור בעל 4 שנים של ניסיון בתחום והציג את התחום בצורה יפה.
הצטרפו אלינו לפרק שבו התראיין אצלנו מהנדס פורמל ושאלנו את השאלות שחשבנו שתרצו תשובות עליהן. אם יש לכם עוד שאלות שלא ענינו בפרק, כתבו לנו :)
[email protected]
Topics
verificationengineerhardwarevlsi