Top Banner
יייי ייייי יייי234262 – © Dima Elenbogen 2009 09:10 PM יייי ייייי ייייי יייי:http://webcourse.cs.technion.ac.il/234262/Winter2010-2011/ho/WCFiles/%D7%97%D7%99%D7%93%D7%94%20%D7%A2%D7%9D %20%D7%91%D7%95%D7%A0%D7%95%D7%A1.doc
21

משטר דינמי המשך 234262 – © Dima Elenbogen 2009 4:55 חידה שכדאי לעבור עליה:...

Dec 19, 2015

Download

Documents

Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: משטר דינמי המשך 234262 – © Dima Elenbogen 2009 4:55 חידה שכדאי לעבור עליה: 2011/ho/WCFiles/%D7%97%D7%99%D7%93%D7%94%20%D7%A2%D7%9D%20%D7%91%D7%95%D7%A0%D7%95%D7%A1.doc.

משטר דינמיהמשך

234262 – © Dima Elenbogen 200908:46 PM

חידה שכדאי לעבור עליה:http://webcourse.cs.technion.ac.il/234262/Winter2010-2011/ho/WCFiles/%D7%97%D7%99%D7%93%D7%94%20%D7%A2%D7%9D%20%D7%91%D7%95%D7%A0%D7%95%D7%A1.doc

Page 2: משטר דינמי המשך 234262 – © Dima Elenbogen 2009 4:55 חידה שכדאי לעבור עליה: 2011/ho/WCFiles/%D7%97%D7%99%D7%93%D7%94%20%D7%A2%D7%9D%20%D7%91%D7%95%D7%A0%D7%95%D7%A1.doc.

234262 – © Dima Elenbogen 2009

Page 3: משטר דינמי המשך 234262 – © Dima Elenbogen 2009 4:55 חידה שכדאי לעבור עליה: 2011/ho/WCFiles/%D7%97%D7%99%D7%93%D7%94%20%D7%A2%D7%9D%20%D7%91%D7%95%D7%A0%D7%95%D7%A1.doc.

תיאור חלקי של שער אדיש)התרחשות אפשרית(

234262 – © Dima Elenbogen 200908:46 PM

Tpd

Page 4: משטר דינמי המשך 234262 – © Dima Elenbogen 2009 4:55 חידה שכדאי לעבור עליה: 2011/ho/WCFiles/%D7%97%D7%99%D7%93%D7%94%20%D7%A2%D7%9D%20%D7%91%D7%95%D7%A0%D7%95%D7%A1.doc.

של מערכת צירופית בשיטה Tpdחישוב טופולוגית

234262 – © Dima Elenbogen 200908:46 PM

Page 5: משטר דינמי המשך 234262 – © Dima Elenbogen 2009 4:55 חידה שכדאי לעבור עליה: 2011/ho/WCFiles/%D7%97%D7%99%D7%93%D7%94%20%D7%A2%D7%9D%20%D7%91%D7%95%D7%A0%D7%95%D7%A1.doc.

של מערכת צירופיתTcdחישוב 234262 – © Dima Elenbogen 2009

08:46 PM

Page 6: משטר דינמי המשך 234262 – © Dima Elenbogen 2009 4:55 חידה שכדאי לעבור עליה: 2011/ho/WCFiles/%D7%97%D7%99%D7%93%D7%94%20%D7%A2%D7%9D%20%D7%91%D7%95%D7%A0%D7%95%D7%A1.doc.

ייצוג כללי של לוגיקה צירופית

דוגמא:

234262 – © Dima Elenbogen 200908:46 PM

Page 7: משטר דינמי המשך 234262 – © Dima Elenbogen 2009 4:55 חידה שכדאי לעבור עליה: 2011/ho/WCFiles/%D7%97%D7%99%D7%93%D7%94%20%D7%A2%D7%9D%20%D7%91%D7%95%D7%A0%D7%95%D7%A1.doc.

קופסה שחורה

Tpd = 19 + 19 = 38

234262 – © Dima Elenbogen 200908:46 PM

Page 8: משטר דינמי המשך 234262 – © Dima Elenbogen 2009 4:55 חידה שכדאי לעבור עליה: 2011/ho/WCFiles/%D7%97%D7%99%D7%93%D7%94%20%D7%A2%D7%9D%20%D7%91%D7%95%D7%A0%D7%95%D7%A1.doc.

קופסה שקופה

Tpd = 19 + 16 = 35

234262 – © Dima Elenbogen 200908:46 PM

שלא יהיו מעגלים חשוב: תמיד נחבר את המערכות כך צירופיים

שאלה: מה המסלול הארוך ביותר כאשר יש מעגל צירופי?

Page 9: משטר דינמי המשך 234262 – © Dima Elenbogen 2009 4:55 חידה שכדאי לעבור עליה: 2011/ho/WCFiles/%D7%97%D7%99%D7%93%D7%94%20%D7%A2%D7%9D%20%D7%91%D7%95%D7%A0%D7%95%D7%A1.doc.

רכיבי זכרון

Page 10: משטר דינמי המשך 234262 – © Dima Elenbogen 2009 4:55 חידה שכדאי לעבור עליה: 2011/ho/WCFiles/%D7%97%D7%99%D7%93%D7%94%20%D7%A2%D7%9D%20%D7%91%D7%95%D7%A0%D7%95%D7%A1.doc.

234262 – © Moshe Malka 2010

האם רכיב זה שקוף בעליית שעון או בירידה?

Page 11: משטר דינמי המשך 234262 – © Dima Elenbogen 2009 4:55 חידה שכדאי לעבור עליה: 2011/ho/WCFiles/%D7%97%D7%99%D7%93%D7%94%20%D7%A2%D7%9D%20%D7%91%D7%95%D7%A0%D7%95%D7%A1.doc.

Logic

כרכיב זכרון?Latchהאם אפשר להשתמש ב מה הבעיה הקריטית ברכיב זה?

מעגל צירופי אסור בתכלית האיסור

234262 – © Moshe Malka 2010

Page 12: משטר דינמי המשך 234262 – © Dima Elenbogen 2009 4:55 חידה שכדאי לעבור עליה: 2011/ho/WCFiles/%D7%97%D7%99%D7%93%D7%94%20%D7%A2%D7%9D%20%D7%91%D7%95%D7%A0%D7%95%D7%A1.doc.

234262 – © Dima Elenbogen, Moshe Malka 2010

Flip Flop

ננעל בירידה/עליית שעון.• אין קטע שבו הוא שקוף. •

Page 13: משטר דינמי המשך 234262 – © Dima Elenbogen 2009 4:55 חידה שכדאי לעבור עליה: 2011/ho/WCFiles/%D7%97%D7%99%D7%93%D7%94%20%D7%A2%D7%9D%20%D7%91%D7%95%D7%A0%D7%95%D7%A1.doc.

:Latch ל FFההבדל בין

234262 – © Moshe Malka 2010

Page 14: משטר דינמי המשך 234262 – © Dima Elenbogen 2009 4:55 חידה שכדאי לעבור עליה: 2011/ho/WCFiles/%D7%97%D7%99%D7%93%D7%94%20%D7%A2%D7%9D%20%D7%91%D7%95%D7%A0%D7%95%D7%A1.doc.

234262 – © Dima Elenbogen, Moshe Malka 2010

C ו-Aקטעים נכון

FFגם ל-•גם •

לנעילה Latchב-

Tsetup Thold

:צפי יציבה במשך Dכניסה

Cקטע קריטי

:הבטחה יציב כל הזמן Qמוצא

Aפרט לקטע

Page 15: משטר דינמי המשך 234262 – © Dima Elenbogen 2009 4:55 חידה שכדאי לעבור עליה: 2011/ho/WCFiles/%D7%97%D7%99%D7%93%D7%94%20%D7%A2%D7%9D%20%D7%91%D7%95%D7%A0%D7%95%D7%A1.doc.

המערכות שאנו נתעסק איתן, בקורס זה, תמיד יהיו מערכות מסונכרנות. כלומר כל רכיבי

הזכרון מוזנים מאותו שעון.כמו כן לא נשהה את כניסת השעון בשום מקום.

מערכות מסונכרנות

Page 16: משטר דינמי המשך 234262 – © Dima Elenbogen 2009 4:55 חידה שכדאי לעבור עליה: 2011/ho/WCFiles/%D7%97%D7%99%D7%93%D7%94%20%D7%A2%D7%9D%20%D7%91%D7%95%D7%A0%D7%95%D7%A1.doc.

כדי שהמערכת תעבוד בצורה תקינה, אסורה . למה?A לזמן Cחפיפה בין זמן

ממש C ו-A קטעים זרים

234262 – © Dima Elenbogen, Moshe Malka 2010

Page 17: משטר דינמי המשך 234262 – © Dima Elenbogen 2009 4:55 חידה שכדאי לעבור עליה: 2011/ho/WCFiles/%D7%97%D7%99%D7%93%D7%94%20%D7%A2%D7%9D%20%D7%91%D7%95%D7%A0%D7%95%D7%A1.doc.

קביעת זמן מחזור

234262 – © Dima Elenbogen, Moshe Malka 2010

Page 18: משטר דינמי המשך 234262 – © Dima Elenbogen 2009 4:55 חידה שכדאי לעבור עליה: 2011/ho/WCFiles/%D7%97%D7%99%D7%93%D7%94%20%D7%A2%D7%9D%20%D7%91%D7%95%D7%A0%D7%95%D7%A1.doc.

מערכת סידרתית עם קלט \ פלט

בד''כ לגבי מערכת עם קלט\פלט מ\אל עולם החיצון:

A נניח שהקלט תקף בכל פרק זמן פרט לקטע • C נחייב את הפלט שלה להיות תקף בקטע •

234262 – © Dima Elenbogen, Moshe Malka 2010

Page 19: משטר דינמי המשך 234262 – © Dima Elenbogen 2009 4:55 חידה שכדאי לעבור עליה: 2011/ho/WCFiles/%D7%97%D7%99%D7%93%D7%94%20%D7%A2%D7%9D%20%D7%91%D7%95%D7%A0%D7%95%D7%A1.doc.

בד''כ לגבי מערכת עם קלט\פלט מ\אל עולם החיצון:

נניח שהקלט תקף בכל פרק זמן פרט לקטע •A C נחייב את הפלט שלה להיות תקף בקטע •

מערכת סידרתית עם קלט \ פלט

זמינות תמיד לא לצערנו, לכן לשליטתנו. ניתנת הקלט בלתי הנ''ל ההנחה אם הקלט את נחייב אפשרית,

בקטע לפחות תקף . Cלהיות תצטרך המערכת כזה במקרה הקלטים את לשמור כל קודם החל ורק שלה הזיכרון ברכיבי לעבד תוכל הבא במחזור

אותם.דוגמאות לכך תראו בעתיד.

234262 – © Dima Elenbogen, Moshe Malka 2010

Page 20: משטר דינמי המשך 234262 – © Dima Elenbogen 2009 4:55 חידה שכדאי לעבור עליה: 2011/ho/WCFiles/%D7%97%D7%99%D7%93%D7%94%20%D7%A2%D7%9D%20%D7%91%D7%95%D7%A0%D7%95%D7%A1.doc.

נניח שהקלט תקף •בכל פרק זמן פרט

Aלקטע נחייב את הפלט •

שלה להיות תקף Cבקטע

234262 – © Dima Elenbogen, Moshe Malka 2010

Page 21: משטר דינמי המשך 234262 – © Dima Elenbogen 2009 4:55 חידה שכדאי לעבור עליה: 2011/ho/WCFiles/%D7%97%D7%99%D7%93%D7%94%20%D7%A2%D7%9D%20%D7%91%D7%95%D7%A0%D7%95%D7%A1.doc.

. האם ניתן להגדיר FFנניח שלא היה FFזמן מחזור ללא התחשבות ב

234262 – © Dima Elenbogen, Moshe Malka 2010

7

7

6

5

זמן מחזור במערכת סידרתית