משטר דינמי

234262 – © Dima Elenbogen 200910:06 PM

pd ו-cdהגדרת

•cd- אותות שראשון הרגע בין שעובר הזמן המוצא יוצאהכניסה אות עד אשר לוגי מתחום

מתחום לוגי למהדריןיוצא

•pd- אותות שאחרון הרגע בין שעובר הזמן לוגי עד אשר אות המוצא נכנסהכניסה לתחום

לתחום לוגי למהדריןנכנס

10:06 PM234262 – © Dima Elenbogen 2009

כניסות 2התנהגות אפשרית של שער בעל (а, b ומוצא יחיד )o

234262 – © Dima Elenbogen 200910:06 PM

Tcd-ו Tpdהם איפיונים טופולוגיים

• Tpd = max {pd}• Tcd = min {cd}

234262 – © Dima Elenbogen 200910:06 PM

תיאור חלקי של שער234262 – © Dima Elenbogen 2009

10:06 PM

cd=0תיאור חלקי של שער כאשר 234262 – © Dima Elenbogen 2009

0 של שער, מניחים שהוא שווה ל-Tcdאם לא נתון

10:06 PM

מה ההבדל?

אדישות

234262 – © Dima Elenbogen 2009

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

234262 – © Dima Elenbogen 200910:06 PM

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

234262 – © Dima Elenbogen 200910:06 PM

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

10:06 PM

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

דוגמא:

234262 – © Dima Elenbogen 200910:06 PM

קופסה שחורה

Tpd = 19 + 19 = 38

234262 – © Dima Elenbogen 200910:06 PM

קופסה שקופה

Tpd = 19 + 16 = 35

234262 – © Dima Elenbogen 200910:06 PM

234262 – © Moshe Malka 2010

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

Logic

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

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

234262 – © Moshe Malka 2010

234262 – © Dima Elenbogen, Moshe Malka 2010

C ו-Aקטעים

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

Cקטע קריטי

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

Aפרט לקטע

נכון FFגם ל-•גם •

לנעילה Latchב-

Tsetup Thold

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

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

234262 – © Dima Elenbogen, Moshe Malka 2010

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

234262 – © Moshe Malka 2010

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

234262 – © Dima Elenbogen, Moshe Malka 2010

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

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

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

234262 – © Dima Elenbogen, Moshe Malka 2010

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

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

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

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

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

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

234262 – © Dima Elenbogen, Moshe Malka 2010

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

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

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

234262 – © Dima Elenbogen, Moshe Malka 2010

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

234262 – © Dima Elenbogen, Moshe Malka 2010

7

7

6

5

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