Post on 21-Dec-2015
משטר דינמי
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
זמן מחזור במערכת סידרתית