פרק 6: מסכמים, בוררים, מפענחים

Slides:



Advertisements
Similar presentations
מבוא למדעי המחשב לתעשייה וניהול
Advertisements

1 Formal Specifications for Complex Systems (236368) Tutorial #4 Refinement in Z: data refinement; operations refinement; their combinations.
מבוסס על הרצאות של יורם זינגר, האוניברסיטה העברית י"ם
טבלאות סמלים נכתב ע"י אלכס קוגן סמסטר חורף, תשס"ח.
מערכות זיכרון – Sequential Logic
מכונת מצבים תרגול מס' 4 Moshe Malka.
משטר דינמי המשך – © 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.
Inverse kinematics (Craig ch.4) ב"ה. Pieper’s solution נתבונן ברובוט עם 6 מפרקי סיבוב כאשר שלושת הצירים של המפרקים האחרונים נחתכים. נקודת החיתוך נתונה.
חורף - תשס " ג DBMS, Design1 שימור תלויות אינטואיציה : כל תלות פונקציונלית שהתקיימה בסכמה המקורית מתקיימת גם בסכמה המפורקת. מטרה : כאשר מעדכנים.
תכנות תרגול 6 שבוע : חישוב e זוהי הנוסחא לחישוב e נראה כיצד לתרגם אותה לפונקציה n n.
שערים לוגיים – © Dima Elenbogen Wired AND – © Dima Elenbogen 2009.
תכנות תרגול 2 שבוע : שבוע שעבר כתבו תוכנית המגדירה שלושה משתנים מאתחלת אותם ל 1 2 ו 3 ומדפיסה את המכפלה שלהם את ההפרש שלהם ואת הסכום שלהם.
Tutorial #7 Preventing combinatorial loops – © Yohai Devir 2007 © Dima Elenbogen 2009 Technion - IIT.
לוגיקה צירופית יחידות סטנדרטיות מבוסס על הרצאות של יורם זינגר, האוניברסיטה העברית י " ם יהודה אפק, נתן אינטרטור אוניברסיטת תל אביב.
1 Formal Specifications for Complex Systems (236368) Tutorial #5 Refinement in Z: data refinement; operations refinement; their combinations.
משפט ההרכבה Composition Theorem תהי C מחלקה של פונקציות בוליניות תהי נגדיר סדרת פונקציות שניתנות לחישוב בזמן פולינומיאלי.
בהסתברות לפחות למצא בעיה במודל PAC עבור בהסתברות ε הפונקציה f טועה מודל ONLINE 1. אחרי כל טעות הפונקציה משתפרת 2. מספר הטעיות קטן.
מסדי נתונים תשס " ג 1 תכנון סכמות – אלגוריתם פירוק לתבניות בצורת BCNF מסדי נתונים.
עיבוד תמונות ואותות במחשב אלכסנדר ברנגולץ דואר אלקטרוני : שיטות קידוד שיטות קידוד אורך מלת קוד ואנטרופיה אורך מלת קוד ואנטרופיה קידוד.
משטר סטטי שערים לוגיים Wired Drives – © Dima Elenbogen 2009, Moshe Malka :29.
Formal Specifications for Complex Systems (236368) Tutorial #6 appendix Statecharts vs. Raphsody 7 (theory vs. practice)
תורת הקבוצות חלק ב'. קבוצה בת מניה הגדרה: קבוצה אינסופית X היא ניתנת למניה אם יש התאמה חד-חד ערכית בין X לבין .
צורות נורמליות הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 10.
תכנות תרגול 6 שבוע : תרגיל שורש של מספר מחושב לפי הסדרה הבאה : root 0 = 1 root n = root n-1 + a / root n-1 2 כאשר האיבר ה n של הסדרה הוא קירוב.
1 חישוב ואופטימיזציה של שאילתות חלק 2 Query Evaluation and Optimization Part 2.
שערים לוגיים – © Dima Elenbogen Wired AND – © Dima Elenbogen 2009.
1 Formal Specifications for Complex Systems (236368) Tutorial #1 Course site : T.A. :Emilia Katz.
ערמות ; מבני נתונים 09 מבוסס על מצגות של ליאור שפירא, חיים קפלן, דני פלדמן וחברים.
תכנות תרגול 6 שבוע : הגדרת פונקציות return-value-type function-name(parameter1, parameter2, …) הגדרת סוג הערכים שהפונקציה מחזירה שם הפונקציהרשימת.
מודל ONLINE לומדמורה 1. כל ניתן לחישוב בזמן פולינומיאלי 2. אחרי מספר פולינומיאלי של טעיות ( ) הלומד לא טועה ז"א שווה ל- Littlestone 1988.
תהליכים  מהו תהליך ?  מבני הנתונים לניהול תהליכים.  החלפת הקשר.  ניהול תהליכים ע " י מערכת ההפעלה.
Tutorial #7 Preventing combinatorial loops – © Yohai Devir 2007 © Dima Elenbogen 2009 Technion - IIT.
ערכים עצמיים בשיטות נומריות. משוואה אופינית X מציין וקטור עצמי מציינת ערך עצמי תואם לוקטור.
המרכז האוניברסיטאי אריאל בשומרון
מבני בקרה לולאות. שאלה #1 שאלה ב' – תכתוב תוכנה הכותבת את תפריט הבאה Type 1 to find the area of a circle Type 2 to find the circumference of a circle.
הפקולטה למדעי המחשב אוטומטים ושפות פורמליות (236353)
Ray 7 דוגמא אלגוריתם 1.קבל דוגמאות 2. פלט f a עבור הדוגמה a המינימלית החיובית ?
תחשיב הפסוקים חלק ד'. תורת ההיסק של תחשיב הפסוקים.
Data Structures, CS, TAU, Perfect Hashing 1 Perfect Hashing בעיה : נתונה קבוצה S של n מפתחות מתחום U השוואה ל - Hash : * טבלה קבועה (Hash רגיל - דינאמי.
תכנות תרגול 5 שבוע : הגדרת פונקציות return-value-type function-name(parameter1, parameter2, …) הגדרת סוג הערכים שהפונקציה מחזירה שם הפונקציהרשימת.
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.
מבוא למדעי המחשב תרגול 3 שעת קבלה : יום שני 11:00-12:00 דוא " ל :
תחשיב היחסים (הפרדיקטים)
מבוא למדעי המחשב, סמסטר א ', תשע " א תרגול מס ' 1 נושאים  הכרת הקורס  פסאודו - קוד / אלגוריתם 1.
משטר סטטי שערים לוגיים – © Dima Elenbogen 2009, Moshe Malka :59.
Markov Decision Processes (MDP) תומר באום Based on ch. 14 in “Probabilistic Robotics” By Thrun et al. ב"הב"ה.
תרגול 2: ייצוג מספרים - המשך
מבוא מורחב למדעי המחשב בשפת Scheme תרגול 10. אג'נדה שאלות מבחינות חזרה על מימוש stream אפשרי 2.
מתמטיקה בדידה תרגול 2.
1 מבוא למדעי המחשב סיבוכיות. 2 סיבוכיות - מוטיבציה סידרת פיבונאצ'י: long fibonacci (int n) { if (n == 1 || n == 2) return 1; else return (fibonacci(n-1)
Points on a perimeter (Convex Hull) קורס – מבוא לעבוד מקבילי מבצעים – אריאל פנדלר יאיר ברעם.
11 Introduction to Programming in C - Fall 2010 – Erez Sharvit, Amir Menczel 1 Introduction to Programming in C תרגול
1 גילוי מידע וזיהוי תבניות תרגול מס. 3 התפלגות נורמלית רב - מימדית Kullback-Leibler Divergence - משפט קמירות - נגזרת שנייה משפט Log sum inequality משפט.
- אמיר רובינשטיין מיונים - Sorting משפט : חסם תחתון על מיון ( המבוסס על השוואות בלבד ) של n מפתחות הינו Ω(nlogn) במקרה הגרוע ובממוצע. ניתן לפעמים.
פיתוח מערכות מידע Class diagrams Aggregation, Composition and Generalization.
Practice session 3 תחביר ממשי ( קונקרטי ) ותחביר מופשט ( אבסטרקטי ) שיטות חישוב : Applicative & Normal Evaluation Partial Evaluation.
Practice session 3.  תחביר ממשי ( קונקרטי ) ותחביר מופשט ( אבסטרקטי )  שיטות חישוב : Applicative & Normal Evaluation.
מבוא למדעי המחשב לתעשייה וניהול הרצאה 6. מפעל השעווה – לולאות  עד עכשיו  טיפלנו בייצור נרות מסוג אחד, במחיר אחיד  למדנו להתמודד עם טיפול במקרים שונים.
מספרים אקראיים ניתן לייצר מספרים אקראיים ע"י הפונקציה int rand(void);
מבוא למדעי המחשב סיבוכיות.
מבוסס על הרצאות של יורם זינגר, האוניברסיטה העברית י"ם
Marina Kogan Sadetsky –
NG Interpolation: Divided Differences
Presentation transcript:

פרק 6: מסכמים, בוררים, מפענחים 11/5/06 דוגמת חיבור שני מספרים בינריים נשא (carry) 1 11 + 3 14

מסכם בינרי מלא (FA) Full-Adder מבצע את החישוב עבור זוג סיביות: FA סכום נשא יציאה

טבלת האמת של FA A B Cin Cout S 1 Cout S 00 01 11 10 1 A B Cin Cout S 1 Cout AB Cin 00 01 11 10 1 S

מימוש (אפשרי) של FA הביטויים המתאימים:

Ripple Carry Adder (RCA) נשרשר n דרגות FA כדי לחבר שני מספרים בינריים בני n סיביות. כל דרגה תחבר זוג סיביות עם הנשא מהדרגה הקודמת. זמן החישוב-כזמן התפשטות הנשא. אם זמן חישוב נשא ב- FA הוא t, זמן החישוב הכולל הינו nt. אם זמן החישוב של כל שער הוא יחידת זמן אחת ו– t=3 ,אזי TRCA=3n. למעשה זמן החישוב של כל היחידות להוציא הראשונה הוא t=2, והזמן הכולל הוא TRCA=2(n-1)+3=2n+12n

Carry Look-Ahead (CLA) Adder *** רשות/חובה ע"פ בחירת המרצה (4 שקפים) Carry Look-Ahead (CLA) Adder Carry Look-Ahead מיועד לקצר את זמן החישוב הכולל של חבור שני מספרים בני 4 סיביות. במחבר הסדרתי קיבלנו: נרשום את פונקציות יצירת הנשא (generate) והעברתו (propagate): 1=gi אם במקום ה- i נוצר נשא Ci+1 ללא תלות בנשא הנכנס Ci pi=1 אם Ci+1=Ci נקבל: עוד פעמיים:

Carry Look-Ahead Adder Ci+4 תלוי בפונקציות G, P וב- Ci, ואיננו תלוי ב- Ci+1, Ci+2, Ci+3. נניח שהכניסות A, B מגיעות כולן בתחילת החישוב. המחבר יהיה מחולק ליחידות בנות ארבעה FA כל אחת. בכל יחידה נחשב את G, P (כפונקציה של A, B) ונמתין להגעת Ci. כאשר הנשא יגיע, נותר רק לבצע שתי פעולות (AND, OR) ולקבל את הנשא היוצא Ci+4. במקביל תחשב היחידה את Si, Si+1, Si+2, Si+3 ואת Ci+1, Ci+2, Ci+3 הדרושים לחישוב הסכומים

זמן החישוב של המחבר מחבר של n סיביות - n/4 יחידות CLA. נניח: זמן החישוב של G, P הוא τ1 , זמן החישוב של S, C ע"י FA הוא τ2, זמן החישוב של שערי AND, OR הוא 1 כ"א. שלבי החישוב: בתחילה, במשךτ1 , מחשבות כל היחידות את G, P. אח"כ, במשך 2·n/4=n/2, מחושבים כל ערכי C שבין היחידות, עד לנשא האחרון. במקביל, כל יחידה שמקבלת את Ci בכניסתה מחשבת את ערכי S שלה במשך 4·τ2. היחידה האחרונה מקבלת את Ci לאחר היחידה האחרונה משלימה את החישוב לאחר עוד 4·τ2 יחידות.

זמן החישוב של המחבר (המשך) זמן החישוב הכולל הוא עבור n גדול מספיק (נניח מעל 16) האיבר הדומיננטי בביטוי הוא n/2. n/2 קטן פי 4 מזמן החישוב של Ripple Carry Adder. כך, במחיר של סיבוך הלוגיקה הישגנו את האצת החישוב.

בורר – Selector / multiplexer / mux קלט: אם E=0 אז '0'. פלט: אחרת הסיבית Di i הינו המספר שיצוגו הבינרי מופיע ב- m סיביות הבקרה. כניסות נתונים E כניסת Enable

בורר מימוש אפשרי: והביטוי הלוגי עבור בורר

בורר של 8 כניסות:

כניסות הבקרה כוללות מהפכים מיותרים לכאורה (מבחינה לוגית). מהפכים אלו, המשמשים כ"חוצצים", מיועדים להציג לכניסה "עומס" של שער יחיד. בלעדיהם היתה כניסת Enable, למשל, מחוברת לשמונה שערים פנימיים. החוצצים מקלים את מלאכת התכנון: המהנדס המשתמש בבורר יכול להניח שכל כניסה שלו מזינה שער פנימי אחד בלבד.

מימוש פונקציות באמצעות בוררים לדוגמא, עבור בורר ללא enable ,הפונקציה הממומשת היא נקבל אם נציב קיבלנו מימוש XOR:

נראה שיחד עם הקבועים 0, 1 נקבל מערכת שלמה: נקבל אם נציב נראה שיחד עם הקבועים 0, 1 נקבל מערכת שלמה: נקבל אם נציב קיבלנו מימוש AND: : מימוש NOT: בדקו בבית: האם בורר בלבד מהווה מערכת פעולות שלמה? בורר עם '0'? בורר עם '1'?

נראה כיצד ניתן לממש פונקציה של n משתנים באמצעות בוררים

w x y z f 1 …

מימוש פונקציות באמצעות בוררים מימוש עם בורר בעל n-1 כניסות מימוש ישיר , בורר בעל n כניסות

מפענח – Decoder m כניסות בקרה יציאות . אם ,Enable=0 לכל i. קלט: יציאות . פלט: אם ,Enable=0 לכל i. אם Enable=1, כאשר i הוא המספר הבינרי המיוצג ע"י כניסות הבקרה, וכל שאר היציאות הן 0. זהו מפענח כניסת Enable. (אפשר להתייחס למפענח כאל Demultiplexer , כאשר E הוא בעצם כניסת המידע D, ואילו D היא כניסת הכתובת).

מימוש Decoder

מימוש פונקציה באמצעות מפענח

הקשר בין בורר למפענח הדמיון במימוש: ניתן לממש Selector תוך שימוש ב- Decoder:

העברת מידע באמצעות בורר למפענח/ de-MUX ב-de-MUX אנו נשתמש בכניסת ה- Enable של ה- Decoder ככניסת Data ואילו כניסת ה-Data תשמש ככתובת: המידע מן המסוף שנבחר יגיע למחשב המתאים, אם הכתובות (כניסות הבקרה) המוזנות לבורר ולמפענח הן תואמות. ניתן להוסיף לשני הרכיבים כניסות Enable.

מקודד מסוג Priority Encoder ועוד כניסת Enable. פלט: יציאות D ועוד יציאה Z. Z היציאה D היא הקוד הבינארי של הכניסה הראשונה שהיא '1' ( ואז 0=Z). במידה וכל הכניסות הן '0' אזי 1=Z (ואז 0=D).

מספר השערים במימוש הבורר בורר בעל n+1 כניסות בקרה ו- K=2n כניסות נתונים מכיל : 2(n+1) מהפכים 2n שערי AND בעלי n+2 כניסות כ"א (השקולים ל- n+1 שערי AND בעלי שתי כניסות כ"א( וביחד (n+1)2n שערים. שער OR בעל 2n כניסות השקול ל – 2n-1 שערים בעלי שתי כניסות סה"כ מספר השערים הוא: (n+2)2n+2n+1  n2n = K log2K

מספר השערים במימוש המפענח מפענח בעל n+1 כניסות ו- K=2n יציאות מכיל: 2(n+1) מהפכים 2n שערי AND בעלי n+1 כניסות כ"א )השקולים ל- nשערי AND בעלי שתי כניסות כ"א( וביחד n2n שערים. סה"כ מספר השערים הוא:  n2n = K log2K n2n+2n+2