משטר סטטי שערים לוגיים 234262 – © Dima Elenbogen 2009, Moshe Malka 2010 1:59.

Slides:



Advertisements
Similar presentations
ממיבחניםC שאלות ++.
Advertisements

מבוא למדעי המחשב לתעשייה וניהול
1 Formal Specifications for Complex Systems (236368) Tutorial #4 Refinement in Z: data refinement; operations refinement; their combinations.
מבוסס על הרצאות של יורם זינגר, האוניברסיטה העברית י"ם
מה קורה בתא הפוסט - סינפטי עקב הפעלת סינפסה כימית ?
אלכסנדר ברנגולץ מסננים דו-ממדים מסננים דו-ממדים קונוולוציה גרפית קונוולוציה גרפית קונוולוציה בשני ממדים ( כולל גרפית ) קונוולוציה בשני ממדים ( כולל גרפית.
מערכות זיכרון – Sequential Logic
שאלת חזרה בקר ומסלול נתונים – © Yohai Devir 2007 © Dima Elenbogen 2009 Technion - IIT.
מכונת מצבים תרגול מס' 4 Moshe Malka.
תכנות מונחה עצמים Object Oriented Programming (OOP) אתגר מחזור ב'
אלכסנדר ברנגולץ דואר אלקטרוני: אלכסנדר ברנגולץ דואר אלקטרוני: תכונות של סדרות.
רקורסיות נושאי השיעור פתרון משוואות רקורסיביות שיטת ההצבה
משטר דינמי המשך – © Dima Elenbogen :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.
Na+ P-. הפוטנציאל האלקטרוכימי אנרגיה חופשית ל - 1 mole חומר. מרכיב חשמלי מרכיב כימי מרכיבי הפוטנציאל האלקטרוכימי של חומר X: המרכיב הכימי : RTlnC x R –
מה החומר למבחן ? כל החומר שנלמד בהרצאות ובתרגולים. לגבי backtracking: לא תידרשו לממש אלגוריתם, אך כן להבין או להשלים מימוש נתון. אחת משאלות המבחן מבוססת.
שערים לוגיים – © Dima Elenbogen Wired AND – © Dima Elenbogen 2009.
רקורסיות נושאי השיעור מהן רקורסיות פתרון רקורסיות : שיטת ההצבה שיטת איטרציות שיטת המסטר 14 יוני יוני יוני 1514 יוני יוני יוני 1514.
Tutorial #7 Preventing combinatorial loops – © Yohai Devir 2007 © Dima Elenbogen 2009 Technion - IIT.
אינטרפולציה רועי יצחק.
חורף - תשס " ג DBMS, צורות נורמליות 1 צורה נורמלית שלישית - 3NF הגדרה : תהי R סכמה רלציונית ותהי F קבוצת תלויות פונקציונליות מעל R. R היא ב -3NF.
לוגיקה צירופית יחידות סטנדרטיות מבוסס על הרצאות של יורם זינגר, האוניברסיטה העברית י " ם יהודה אפק, נתן אינטרטור אוניברסיטת תל אביב.
משפט ההרכבה Composition Theorem תהי C מחלקה של פונקציות בוליניות תהי נגדיר סדרת פונקציות שניתנות לחישוב בזמן פולינומיאלי.
בהסתברות לפחות למצא בעיה במודל PAC עבור בהסתברות ε הפונקציה f טועה מודל ONLINE 1. אחרי כל טעות הפונקציה משתפרת 2. מספר הטעיות קטן.
– © Dima Elenbogen :43 להזכירכם ספיקה (Throughput)כמה חישובים מסוגלת המערכת לבצע ביחידת זמן. עיכוב (Latency)פרק הזמן העובר מהרגע שבו התקבל.
מרצה: פרופסור דורון פלד
שאילת שאלות שאלת חקר המפתח למנעול 1. שאילת שאלות – שאלת חקר מה ניתן לשנות ? :  בתנאים : טמפ ' או לחץ או הכלים, או הציוד  בחומרים : איכות או כמות או.
משטר סטטי שערים לוגיים Wired Drives – © Dima Elenbogen 2009, Moshe Malka :29.
תכנות תרגול 6 שבוע : תרגיל שורש של מספר מחושב לפי הסדרה הבאה : root 0 = 1 root n = root n-1 + a / root n-1 2 כאשר האיבר ה n של הסדרה הוא קירוב.
תירגול השלמה : Pipelined MIPS Single-cycle MIPS Retiming Mealy Criterion 09: © Dima Elenbogen 2010, Technion 1.
משטר דינמי – © Dima Elenbogen :00. הגדרת cd ו -pd cd - הזמן שעובר בין הרגע שראשון אותות הכניסה יוצא מתחום לוגי עד אשר אות המוצא יוצא מתחום.
שערים לוגיים – © Dima Elenbogen Wired AND – © Dima Elenbogen 2009.
1 Formal Specifications for Complex Systems (236368) Tutorial #1 Course site : T.A. :Emilia Katz.
Questions are the Answer Penick&all H ISTORY R ELATIOINSHIPS A PPLICATION S PECULATION E XPLANATION.
מודל ONLINE לומדמורה 1. כל ניתן לחישוב בזמן פולינומיאלי 2. אחרי מספר פולינומיאלי של טעיות ( ) הלומד לא טועה ז"א שווה ל- Littlestone 1988.
– © Dima Elenbogen :11 להזכירכם ספיקה (Throughput)כמה חישובים מסוגלת המערכת לבצע ביחידת זמן. עיכוב (Latency)פרק הזמן העובר מהרגע שבו התקבל.
Motion planning via potential fields תומר באום Based on ch. 4 in “Principles of robot motion” By Choset et al. ב"הב"ה.
Tutorial #7 Preventing combinatorial loops – © Yohai Devir 2007 © Dima Elenbogen 2009 Technion - IIT.
הקיבול איננו תלוי במטען ובפוטנציאל
Tutorials #4-#5 Controller + DataPath design – © Yohai Devir 2007 Technion - IIT.
תכנות תרגול 5 שבוע : הגדרת פונקציות return-value-type function-name(parameter1, parameter2, …) הגדרת סוג הערכים שהפונקציה מחזירה שם הפונקציהרשימת.
Remember Remember The 5 th of November. תרגול 2 קובץ סדרתי.
1 Data Structures, CS, TAU, Perfect Hashing בעיה: נתונה קבוצה S של n מפתחות מתחום U השוואה ל- Hash : * טבלה קבועה (Hash רגיל - דינאמי) * רוצים זמן קבוע.
מפות קרנו ולוגיקה צירופית יהודה אפק, נתן אינטרטור אוניברסיטת תל אביב
משטר דינמי – © Dima Elenbogen :14. הגדרת cd ו -pd cd - הזמן שעובר בין הרגע שראשון אותות הכניסה יוצא מתחום לוגי עד אשר אות המוצא יוצא מתחום.
מערכים עד היום כדי לייצג 20 סטודנטים נאלצנו להגדיר עד היום כדי לייצג 20 סטודנטים נאלצנו להגדיר int grade1, grade2, …, grade20; int grade1, grade2, …, grade20;
מודל הלמידה מדוגמאות Learning from Examples קלט: אוסף של דוגמאות פלט: קונסיסטנטי עם פונקציה f ב- C ז"א קונסיסטנטי עם S ז"א מודל הלמידה מדוגמאות Learning.
עקרון ההכלה וההדחה.
יחס סדר חלקי.
– © Yohai Devir 2007 © Dima Elenbogen 2009 Technion - IIT Tutorial #7 Preventing combinatorial loops.
תכנות מונחה עצמים Object Oriented Programming (OOP) אתגר מחזור ב' Templates תבניות.
מבוא למדעי המחשב תרגול 3 שעת קבלה : יום שני 11:00-12:00 דוא " ל :
Markov Decision Processes (MDP) תומר באום Based on ch. 14 in “Probabilistic Robotics” By Thrun et al. ב"הב"ה.
משטר סטטי – © Dima Elenbogen :08. משטר סטטי כל שער לוגי מפרש מתח נמוך מ -V il כ -0 לוגי כל שער לוגי מפרש מתח גבוה מ -V ih כ -1 לוגי  כל.
מודל הלמידה מדוגמאות Learning from Examples קלט: אוסף של דוגמאות פלט: קונסיסטנטי עם פונקציה f ב- C ז"א קונסיסטנטי עם S ז"א.
שאלה 9 – בקר ומסלול - נתונים נתונה המערכת הבאה של בקר ומסלול נתונים. כל הקווים העבים בשרטוט ה DP הם ברוחב n. ה -ADDER מחבר מודולו n 2. COMPARE הוא רכיב.
מבוא למעגלים משולבים Copyright UC Berkeley 2001 לוגיקה קומבינטורית מעגלים ספרתים משולבים פרופ ’ יוסי שחם לפי ההרצאות של יאן ראבאי מברקלי.
1 מבוא למדעי המחשב סיבוכיות. 2 סיבוכיות - מוטיבציה סידרת פיבונאצ'י: long fibonacci (int n) { if (n == 1 || n == 2) return 1; else return (fibonacci(n-1)
(C) סיון טל גילוי מידע וזיהוי תבניות תרגול מס. 9 גילוי מידע וזיהוי תבניות תרגול מס. 9 דחיסת נתונים מהו קידוד תכונות של קידודים אי - שוויון קרפט.
אביב תשס " ה JCT תיכון תוכנה ד " ר ר ' גלנט / י ' לויאןכל הזכויות שמורות 1 פרק 7 ISP דוגמא נוספת.
בקרה תומר באום ב"הב"ה. סוגי בקרה חוג פתוח Open-loop control : אנו מכוונים את הרובוט למצב הבא שהוא אמור להיות בו לפי מודל מסוים, כמו שעשינו בקינמטיקה הפוכה.
Structure. מה לומדים היום ? דרך לבנות מבנה נתונים בסיסי – Structure מייצר " טיפוס " חדש מתאים כאשר רוצים לאגד כמה משתנים יחד דוגמאות : עובד : שם, טלפון,
מספרים אקראיים ניתן לייצר מספרים אקראיים ע"י הפונקציה int rand(void);
Formal Specifications for Complex Systems (236368) Tutorial #1
מבוא למדעי המחשב סיבוכיות.
מבוסס על הרצאות של יורם זינגר, האוניברסיטה העברית י"ם
טרנזיסטור כמתג דו מצבי ממסר - RELAY הפעלה רציפה , PWM
מסננים מסנן מעביר נמוכים LPF תומר ורונה.
תוכנה 1 תרגול 13 – סיכום.
תוכנה 1 תרגול 13 – סיכום.
NG Interpolation: Divided Differences
Presentation transcript:

משטר סטטי שערים לוגיים – © Dima Elenbogen 2009, Moshe Malka :59

שערים לוגיים שער לוגי VinVout אנו עוסקים בקורס במערכות ספרתיות. בפועל כל ערך לוגי מייוצג על ידי מתח אנאלוגי – © Moshe Malka 2009

איך לייצג ערכים לוגיים ? נסיון I מה לא בסדר ? רעש קטן עלול לגרום לפלט להיות שגוי 1 לוגי 0 לוגי – © Moshe Malka 2009

איך לייצג ערכים לוגיים ? נסיון II מה לא בסדר ? רעש קטן עלול לגרום לפלט להיות לא רלוונטי 1 לוגי 0 לוגי איזור אסור – © Moshe Malka 2009

משטר סטטי כל שער לוגי מפרש מתח נמוך מ -V il כ -0 לוגי כל שער לוגי מפרש מתח גבוה מ -V ih כ -1 לוגי  כל שער לוגי מתחייב להוציא מתח מתחת ל -V ol בתור 0 לוגי  כל שער לוגי מתחייב להוציא מתח מעל ל -V oh בתור 1 לוגי – © Dima Elenbogen 2009 שימו לב : זהו אי שיוויון ממש

משטר סטטי בלוגיקה הפוכה כל שער לוגי מפרש מתח נמוך מ -V il כ -1 לוגי כל שער לוגי מפרש מתח גבוה מ -V ih כ -0 לוגי  כל שער לוגי מתחייב להוציא מתח מתחת ל -V ol בתור 1 לוגי  כל שער לוגי מתחייב להוציא מתח מעל ל -V oh בתור 0 לוגי – © Dima Elenbogen 2009

משטר סטטי ( הגדרה ) פונקציית מעבר סטטית שער מחשב פונקציה רציפה מאחר והיא מתארת את התנהגות השער כשהערכים בכניסות משתנים לאט מאוד ( קבועים מבחינתנו ), אנחנו קוראים לה " סטטית " – © Dima Elenbogen,2009, Moshe Malka 2010

דוגמת פונקצית מעבר לשער NOT 1: – © Dima Elenbogen 2009

דוגמה נוספת לפונקצית מעבר של שער NOT 1: – © Dima Elenbogen 2009

ניתן לפסול פונקציות שלא יכולות לממש שער NOT ע " י בדיקה האם השיפוע בערכו המוחלט קטן מאחד והפונקצית מעבר אינה חוצה את הישר y=x – © Moshe Malka 2009

קבעו אלו הן פונקציות מעבר סטטיות חוקיות לשער NOT ואלו אסורות ? 1: – © Dima Elenbogen 2009

פונקצית מעבר סטטית לשער OR ( ניסיון כושל I ) – © Dima Elenbogen :59

פונקצית מעבר סטטית לשער OR ( ניסיון כושל II ) – © Dima Elenbogen :59

פונקצית מעבר סטטית לשער OR ( ניסיון מוצלח ) – © Dima Elenbogen :59

שערים לוגיים 1:59 מס נקודות שכדאי לזכור : לשער לוגי יש מוצא יחיד ( להבדיל מרכיב לוגי ) הערך במוצא תלוי אך ורק בכניסות. לא מחברים שערים לוגיים בחיווט ישיר מדוע לא מחברים שערים בחיווט ישיר ? התחממות יתר עד כדי שריפת הרכיב אי הסכמה בערך הלוגי נוכל לקבל ערך לא לוגי למהדרין – © Moshe Malka 2010

משטר דינמי – © Dima Elenbogen :59

הגדרת cd ו -pd cd - הזמן שעובר בין הרגע שראשון אותות הכניסה יוצא מתחום לוגי עד אשר אות המוצא יוצא מתחום לוגי למהדרין pd - הזמן שעובר בין הרגע שאחרון אותות הכניסה נכנס לתחום לוגי עד אשר אות המוצא נכנס לתחום לוגי למהדרין 1: – © Dima Elenbogen 2009 pd - Propagation delay cd - Contamination delay

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

T cd ו - T pd הם איפיונים טופולוגיים T pd = max {pd} T cd = min {cd} – © Dima Elenbogen :59

תיאור חלקי של שער – © Dima Elenbogen :59 דיאגרמת וודאות \אי וודאות T pd T cd

Tcd =0 תיאור חלקי של שער כאשר – © Dima Elenbogen 2009 אם לא נתון T cd של שער, מניחים שהוא שווה ל -0 1:59 מה ההבדל? דיאגרמת וודאות \אי וודאות T pd

אדישות – © Dima Elenbogen 2009 בתנאים מסויימים השער אדיש לקלטים " מיותרים " כאשר : חלק כלשהו מהקלטים יציבים במשך מספיק זמן. ערכם של קלטים אלו קובע את ערך הפונקציה הבוליאנית בלי קשר לקלטים האחרים. אזי פלט השער לוגי ונכון ( ויציב ).

תיאור חלקי של שער אדיש ( התרחשות אפשרית ) – © Dima Elenbogen :59 T pd

כעת כשלמדנו מהו Tpd – © Dima Elenbogen :59

חישוב T pd של מערכת צירופית בשיטה טופולוגית – © Dima Elenbogen :59

חישוב T cd של מערכת צירופית – © Dima Elenbogen :59

ייצוג כללי של לוגיקה צירופית דוגמא : – © Dima Elenbogen :59

קופסה שחורה T  pd = = – © Dima Elenbogen :59

קופסה שקופה T  pd = = – © Dima Elenbogen :59

– © Moshe Malka 2010 האם רכיב זה שקוף בעליית שעון או בירידה?

Logic האם אפשר להשתמש ב Latch כרכיב זכרון? מה הבעיה הקריטית ברכיב זה? מעגל צירופי אסור בתכלית האיסור – © Moshe Malka 2010

– © Dima Elenbogen, Moshe Malka 2010 Flip T cd T setup T hold

– © Dima Elenbogen, Moshe Malka 2010 קטעים A ו -C צפי: כניסה D יציבה במשך קטע קריטי C הבטחה: מוצא Q יציב כל הזמן פרט לקטע A נכון גם ל -FF גם לנעילה ב -Latch T setup T hold

כדי שהמערכת תעבוד בצורה תקינה, אסורה חפיפה בין זמן C לזמן A. למה? קטעים A ו-C ממש זרים – © Dima Elenbogen, Moshe Malka 2010

ההבדל בין FF ל Latch: – © Moshe Malka 2010

קביעת זמן מחזור – © Dima Elenbogen, Moshe Malka 2010

מערכת סידרתית עם קלט \ פלט בד '' כ לגבי מערכת עם קלט \ פלט מ \ אל עולם החיצון : נניח שהקלט תקף בכל פרק זמן פרט לקטע A נחייב את הפלט שלה להיות תקף בקטע C – © Dima Elenbogen, Moshe Malka 2010

בד '' כ לגבי מערכת עם קלט \ פלט מ \ אל עולם החיצון : נניח שהקלט תקף בכל פרק זמן פרט לקטע A נחייב את הפלט שלה להיות תקף בקטע C מערכת סידרתית עם קלט \ פלט לצערנו, לא תמיד זמינות הקלט ניתנת לשליטתנו. לכן אם ההנחה הנ '' ל בלתי אפשרית, נחייב את הקלט להיות תקף לפחות בקטע C. במקרה כזה המערכת תצטרך קודם כל לשמור את הקלטים ברכיבי הזיכרון שלה ורק החל במחזור הבא תוכל לעבד אותם. דוגמאות לכך תראו בעתיד – © Dima Elenbogen, Moshe Malka 2010

נניח שהקלט תקף בכל פרק זמן פרט לקטע A נחייב את הפלט שלה להיות תקף בקטע C – © Dima Elenbogen, Moshe Malka 2010

נניח שלא היה FF. האם ניתן להגדיר זמן מחזור ללא התחשבות ב FF – © Dima Elenbogen, Moshe Malka זמן מחזור במערכת סידרתית