מודל ספרתי ושערים לוגיים
Post on 06-Jan-2016
109 Views
Preview:
DESCRIPTION
TRANSCRIPT
מודל ספרתי ושערים לוגיים
הוכן ע"י ד"ר רקפת קול
1Nov 2012
2
שערים לוגיים
הוא התקן )בד"כ רכיב אלקטרוני( המממש פונקצית (Logic Gate)שער לוגי מיתוג.
:ANDשער
:ORשער
: NANDשער
: NORשער
:XORשער
NOTשער
)מהפך(:
bat
cbat
cbat
bat
bat
ab
c
ab t
tab
ba
ba
t
tabc
tab
ba
t
c
ab t
Nov 2012
3
ציור השער משמש לשתי מטרות: .ייצוג גרפי של פונקצית מיתוג
כל הייצוגים הבאים של פונקצית מיתוגמתאימים זה לזה בהתאמה חד-חד ערכית:
,התיאור הגרפי באמצעות שער לוגי ,התיאור המתימטי ,התיאור באמצעות טבלת האמת.והתיאור באמצעות מפת קרנו
תיאור גרפי של רכיב אלקטרוני: ,הסמל מייצג את הרכיב האלקטרוני הקווים מתארים חוטים חשמליים
Nov 2012
4
רכיב צרופי :הוא רכיב המממש פונקצית רכיב צרופיהגדרה
מיתוג בעלת התכונות הבאות:.כניסה אחת או יותר של משתני מיתוג.יציאה אחת או יותר של משתני מיתוג( לכל יציאה בעבור כל 1 או 0התאמה של ערך מיתוג )
צירוף אפשרי של ערכי הכניסות )למשל טבלת אמת(.מגבלות תזמון )פיסיות(, ובפרט השהייה
( Propagation Delay, tPD :) אם מספקים לרכיב החל מרגעt0 כניסות יציבות )שאינן
משתנות בזמן(, אזי יציאות הרכיב תהיינה יציבות ונכונות t0+tPD)בהתאם להתאמה דלעיל( החל מרגע
Nov 2012
5
combinational logicמעגל לוגי צרופי )circuit)
:הוא מעגל הכולל רכיבים המחוברים מעגל צרופי הגדרהביניהם, המקיים:
כל רכיב במעגל הוא רכיב צרופי כל כניסה לרכיב במעגל היא או כניסה למעגל או יציאה של רכיב
אחר במעגל יציאות של רכיבים במעגל יכולות להתחבר רק לכניסות של רכיבים
אחרים במעגל )ולא ליציאות אחרות( כל מסלול במעגל העובר דרך רכיביו בכיוון מהכניסה אל היציאה
עובר דרך כל רכיב לכל היותר פעם אחת )כלומר אין מעגלים( כיציאות המעגל ניתן לבחור כל כניסה למעגל וכל יציאה של רכיב
במעגל מסקנה: מעגל בו יש רכיב שיציאתו מחוברת לאחת
מכניסותיו אינו מעגל צרופי
Nov 2012
6
)המשך( מעגל לוגי צרופי מעגל מיתוג = מעגל צרופי: צרוף של =מעגל לוגי
שער לוגי אחד או יותר לצורך חישוב פונקצית מיתוג ?"מדוע הוא קרוי "מעגל
המשתנים של הפונקציה נקראים כניסות המעגלתוצאת הפונקציה היא יציאת המעגל יציאת מעגל לוגי צרופי תלויה אך ורק בצרוף
(combination של הערכים הלוגיים של כניסותיו ))"השמה"(.
המעגל יכול לכלול רכיבים שאין להם משמעות.Fan-out( וגם bufferלוגית, כגון חוצץ )
:קיימים גם מעגלים לוגיים לא צרופיים, הערההאוגרים בתוכם "מצב" )נלמד בהמשך הקורס(
Nov 2012
7
A
THW
P
PWWHTA
דוגמא למעגל לוגי צרופי:
.ייצוג של פונקצית מיתוג מפרט של מעגל אלקטרוני: הסמלים הינם
רכיבים, והקווים מייצגים חוטי חשמל.
Nov 2012
8
(Logic Design)תכן לוגי הוא תכנון מעגלים ספרתיים תכן לוגי
באמצעות שערים:אלגברת המיתוג תשמש לצורך
התיאור הלוגי של פעולת המעגל מזעור גודל המעגל )שימוש במספר שערים
מזערי( באמצעות כללי הצמצום של פונקציות המרת פונקציית המיתוג לביטוי שמימושו מצריך
רק תת-קבוצה נתונה של סוגי שערים )מערכת שערים שלמה(
Nov 2012
9
תכן לוגי - דוגמהנתונה הפונקציה המתוארת כסכום מכפלות:
00 01 11 10
0 1 1
1 1 1
AND,OR,NOTהמימוש הלוגי יכול להתבצע בעזרת שערי :
AB
C
'BCAC,,,C,B,Af 7652
FAC
B
Nov 2012
10
NANDלחילופין ניתן להמיר את התיאור הנ"ל למימוש באמצעות שערי בלבד:
שימו לב לתאור שער המוצא – עפ"י כלל דה-מורגן ברור כי זהו שער NAND.
ניתן לממש ישירות גם מכפלות סכומים. לדוגמה:
00 01 11 10
0 0 0
1 0 0
AB
C
F
A
C
B
CBCACBAf ,,
',, BCACCBAf
FAC
B
Nov 2012
11
F
A
CB
F
A
CB
:AND, OR, NOTמימוש ישיר בעזרת שערי
: )מעבר NORמימוש חילופי בעזרת שערי מיידי(
CBCACBAf ,,
Nov 2012
12
תכן לוגי - יעדיםיעדי התכן הלוגי משתנים עם התקדמות ושינוי הטכנולוגיה:
בראשית התכן הלוגי, כאשר המימוש נעשה באמצעות שערים בודדים, הושקע מאמץ רב במציאת דרכים למימוש
פונקציות מיתוג בעזרת מספר מזערי של שערים. מאוחר יותר, כאשר המימוש נעשה באמצעות רכיבים
מסובכים יותר הכוללים כל אחד מספר רב של שערים, המטרה היתה לממש פונקצית מיתוג נתונה באמצעות מספר
מזערי של רכיבים ולאו דווקא של שערים. ,כאשר המימוש הלוגי הינו חלק מתכנון שבבים מתקדמים
מצטרפות מטרות כגון מינימיזציה של השטח על השבב )הנקבע ע"י מספר השערים וסוגיהם(, או של ההספק
החשמלי, או של זמן החישוב, או של פשטות התכנון )חיסכון בכוח אדם(.
Nov 2012
13
ההפשטה הספרתית קיים הבדל עקרוני בין המעגלים האלקטרונים לבין
פונקצית המיתוג: פעולת הרכיבים האלקטרוניים היא רציפה.פונקצית המיתוג הינה דיסקרטית
פעולתם הרציפה של רכיבים אלקטרוניים ניתנתלמדידה ולתאור בשני ממדים:
מתח חשמליזמן
לעומת זאת, אלגברת המיתוג הינה דיסקרטית)בדידה( בשני ממדים:
ערך לוגי .זמן – מוחלף ע"י סדר מאורעות
Nov 2012
14
כללי הפשטה לשימוש באלקטרוניקה למימוש מעגל ספרתי
.מתח חשמלי ייצג ערך לוגי' = 0' , מתח חשמלי נמוך = '1למשל, מתח חשמלי גבוה .' מתחים מסויימים אחרים )למשל בתחום בין 'גבוה' ל'נמוך'( יוגדרו
כבלתי קבילים לייצוג ערכים לוגיים. בזמנים מסויימים נסכים שהמעגל האלקטרוני מייצג את
פעולתה של פונקצית מיתוג. בזמנים אחרים )למשל בזמן שינוי ערכים( נסכים שהמעגל איננו מייצג את הפונקציה.
( מסייעת להסתיר את abstractionההפשטה )אבסטרקציה,הפרטים המסובכים של פעולת המעגל החשמלי ולייצג
אותם באמצעות מודל פשוט בהרבה. ."המודל הספרתי"מודל זה קרוי
Nov 2012
15
רמות לוגיות מיוצגים ע"י רמות מתחים )"רמות 1, 0שני הערכים הלוגיים
לוגיות"( מעגל חשמלי מקבל את אספקת החשמל שלו מספק
)"מתח VPLUSחשמלי )כגון סוללה(, המספק מתח גבוה )"אדמה"(VMINUSספק"( ומתח נמוך
רמות המתח מוגבלות לתחום[VMINUS,VPLUS] :דוגמה
VMINUS=0V, VPLUS=5V1 4 לוגי ייוצג ע"יV - 5V0 0 לוגי ייוצג ע"יV – 1V
0 volt 1 2 3 4 5
VMINUS VPLUS
'0' '1'
Nov 2012
16
רעש ושולי רעש כל רכיב לוגי נדרש לייצר יציאות שהמתח שלהן נמצא
בתחומי הרמות הלוגיות המותרות ברם, יתכן שהאות החשמלי "יתקלקל" במקצת תוך כדי
מעבר בחוטים המקשרים את השערים. נהוג לכנות "קלקול" זה בשם "רעש"
0.5+/- נניח למשל שרמת הרעש הינהV:נרשה לכניסת שערים לכלול רעש
3.5אות כניסה הנמצא בתחוםV – 5.5V ' לוגי'1ייצג 0.5-אות כניסה הנמצא בתחוםV – 1.5V' לוגי. 0 ייצג ' אות כניסה הנמצא בתחום(1.5V-3.5V)!אינו קביל
בדרך כלל משתדלים להמנע ממתחים החורגים[ VMINUS,VPLUS] מגבולות
Nov 2012
17
0 volt 1 2 3 4 5
VMINUS VPLUS
Forbidden Zone
Output '0' Output '1'
Input '0' Input '1'
VOL VIL VIH VOH
רמות לוגיות )כולל שולי רעש(
( 0.5הפרש המתחיםvolt בין רמות הכניסה והיציאה מהווה )בדוגמה ( ומסייע להגדיל את אמינות המעגל Noise Margin"שולי רעש" )
ועמידותו לבעיות חשמליות. .במרכז תחום המתחים נמצא האזור ה"אסור" שבו הערך הלוגי אינו מוגדר'-1' ל-'0המשתנים הלוגיים עוברים דרך התחום האסור בעת השינוי מ '
וחזרה, אבל הרכיב הלוגי צריך להיות מתוכנן כך שמעבר זה יתרחש במשך זמן קצר ככל האפשר.
Nov 2012
18
הגדרת רמות לוגיות )כניסה ויציאה(
VOL מתח יציאה מקסימלי – ' לוגי0לייצוג '
VIL מתח כניסה מקסימלי – ' לוגי 0מותר לייצוג '
VIH מתח כניסה מינימלי – ' לוגי 1מותר לייצוג '
VOH מתח יציאה מינימלי – ' לוגי1לייצוג '
V (volts)
0
1
2
3
4
5
VIH
VIL
VOH
VOL
שולי רעש
הבעיה היא "קלקול" האות בדרכו מיציאת שער אחד לכניסת השער הבא )לא המעבר בתוך השער!(
Nov 2012
19
רגנרציה )יצירה מחדש( - Regeneration
אם ערכי המתח בכניסותיו של שער הינם', אזי המתח ביציאת 1' או '0בתחומים החוקיים ל-'
השער אינו תלוי בערכו המדויק של מתח הכניסה, יותר ממנו. או לכל הפחות "החלטי"
המשמעות היא שאות יכול לעבור דרך מספר בלתימוגבל של שערים בלא "להתקלקל".
תכונת הרגנרציה עומדת ביסוד האלקטרוניקההספרתית, ולולא היא לא היה לה קיום מעשי.
!זוהי דוגמה "אנלוגית" לקוד לתיקון שגיאות
Nov 2012
20
Vin
Vout
VIHVIL
VOH
VOL
המהפך – אופיין המתח )פונקצית תמסורת(
שיפוע הגרף גדולביותר באזור
האסור: כל שינוי קל במתח הכניסה יביא
לשינוי חזק במתח היציאה. המטרה:
המעבר באזורהאסור יתרחש בזמן
קצר ככל האפשר. תקטן רגישות
המעגל לרעש
Nov 2012
21
time
Vin
time
Vout
'1'
'0'
'1'
'0'
50%
tCD
tPD
המהפך – התנהגות בזמן
לשם פשטות, נניח שינוי חד מאוד, אך 0 בתחילה, ואח"כ יורדת ל-1כניסת המהפך .נעמיק בהמשך.
היציאה איננה משתנה מיד )זו אינה סתירה לחדות השינוי כאשר הוא מתרחש!(. במשךtCD.יוגדר בהמשך( מרגע שינוי הכניסה מובטח שהיציאה תשאר עדיין בערכה הקודם(
,במקרים שונים תשתנה היציאה בזמנים שונים )תלוי בפיזור סטטיסטי של הרכיבבמתח הספק, בקצב שינוי הכניסה ובטמפרטורה(.
בכל מקרה מובטח שהיציאה תשתנה לערכה החדש תוךtPD.מרגע שינוי הכניסה
Nov 2012
22
זמני ההשהיהtCD – Contamination Delay זמן ה"זיהום"- משך הזמן מרגע –
שינוי הכניסה, אשר בו מובטח כי היציאה לא תשתנה עדיין. ברכיבים צירופיים פשוטים, נניח לעתים לשם פשטותtCD=0.
tPD – Propagation Delay זמן ההשהיה מרגע שינוי הכניסה – ועד שמובטח שהיציאה כבר השתנתה לערכה החדש.
זמן ההשהיה תלוי לעתים בגורמים שונים, כגון כיוון השינוי, האופן בוהוא נגרם )אלו כניסות גרמו לשינוי(, קצב השתנות הכניסה ועוד.
הזמןtPDעליו מצהיר היצרן הינו המירבי מבין האפשרויות הזמןtCD עליו מצהיר היצרן הינו המזערי מבין האפשרויות"והסתמכות עליהם מבטיחה פעולה )כך, הנתונים הם "שמרנים
)תקינה!
Nov 2012
23
הגדרת זמני ההשהיה – פרוט המדידה (1)כניסתו של רכיב אחד הינה לרוב יציאתו של רכיב אחר
( נחשב את הכניסהשל בעיה: ממתי )מאיזה ערך מתחההשהיה?
tCD יש למדוד מהמועד בו הכניסה "עזבה" את ערכה הלוגי :הקודם, שכן עד אז אין כל עילה להשתנות היציאה.
התרחיש הקובע בד"כ יהיה כאשר הכניסה משתנה באופן חד מאוד, דבר המחיש את שינוי היציאה.
tPD יש למדוד מהמועד בו הכניסה "הגיעה" לערכה הלוגי :החדש, שכן עד אז אין כל עילה לשינוי היציאה.
התרחיש הקובע בד"כ הוא כאשר הכניסה משתנה באופן איטי מאוד, שכן אז השתנות היציאה עשויה להשתהות.
Nov 2012
24
הגדרת זמני השהייה – פרוט המדידה (2)
time
Vin
time
Vout
VOH
tCD
tPD
VIH
VIL
VOL
VOH
VIH
VIL
VOL
Nov 2012
25
מודלים מפורטים יותר:הזמנים יכולים להיות תלויים בערך החדש של היציאה
tH , tL הזמנים יכולים להיות תלויים הן במצב הקודם והן במצב
tHL, tHH, tLL, tLHהחדש: הם יכולים להיות תלויים גם במצבן של כניסות אחרות, גם
אם אלה אינן משפיעות על ערך היציאה. הזמניםtXX משקפים מצב בו היציאה אינה משתנה בסופו
של דבר, אך עלולה להשתנות זמנית. תופעה זו מכונה (.26הבהוב סטטי )ראה שקף
,ככלל, מודל מפורט הוא מדויק יותר ומאפשר תכן מיטביאולם קשה בהרבה לאיפיון ובדיקה. לכן, נשתמש לרוב
במודל פשוט, ונעמיק רק במקומות קריטיים אשר חישוב מדויק יותר בהם עשוי לאפשר הפעלה מהירה יותר של
המעגל כולו. "העיקרון החשוב הוא שאופן השימוש בנתונים יהיה "שמרן
Nov 2012ויבטיח נכונות!
26
1 2
xy
za
אריתמטיקה של זמני השהייה( זמני ההשהיהtPD, tCD:מצטברים עבור חיבור מספר רכיבים באופן טורי. למשל )
:חישוב פשטניtPD)xz(=tPD)xa(+tPD)az(=100+80=180ps-חישוב מפורט יותר מראה שtPD:בעצם קטן יותר
tLH)xz( tHL)NAND(+tLH)NOT( = 90+80 = 170pstHL)xz( tLH)NAND(+tHL)NOT( = 100+70 = 170ps
:השהיית המהפך נמדדת החל מהגעת כניסתו לערכה הלוגי החדש הערה לערכה הלוגי NAND(, דבר הקורה לרוב עוד טרם הגעת יציאת ה-VIH)לדוגמה,
. אולם, מאחר (. לכן, אף חישוב זה הינו שמרני, ומכאן סימן ה- VOHהחדש )שהפרש הזמנים בין שני ארועים אלה תלוי גם במוליך המחבר בין השערים, אין
דרך לכמתו על סמך נתוני השערים בלבד. לכן נניח את הגרוע ביותר, קרי בו-זמניות )=(.
NAND NOT
tHL 90 ps 70 ps
tLH 100 ps
80 ps
tPD 100 ps
80 ps
Nov 2012
27
b
c
d
a
H
Y1
Y2
Y3
1
1 0
1
0 1
0 1
1 0
1 0 1
(Static Hazards)הבהובים סטטיים
הסכמנו לא להסתכל על יציאת המעגלהצרופי לפני תום זמן ההשהיה.
לעיתים, במהלך זמן ההשהיה, עלולההיציאה לקבל ערך ביניים לא נכון. למשל:
2321 yyyyH
Nov 2012
28
היא:H. הפונקציה tPD=נניח שזמני השהייה קבועים וזהים לכל השערים:
התנהגות המעגל:2321 yyyyH
Y 2'1'
'0'
Time
Y 2
)c )AND מוצא שער
'1'
'0'
Time
0 2 3
)a )NOT מוצא שער
)b )AND מוצא שער
)d )OR מוצא שער
b
c
d
a
H
Y1
Y2
Y3
1
1 0
1
0 1
0 1
1 0
1 0 1
Nov 2012
29
הבהוב סטטי (Static Hazard היציאה אמורה להיות :)סטטית, אבל היא עלולה להבהב.
.אופייני למעבר )במפת קרנו( מגורר אחד לגורר אחר נגרם ע"י הבדלים בזמני ההתפשטות ברכיבים שונים או
לאורך נתיבים שונים הנפגשים בהמשך הדרך.
00 01 11 10
0 1
1 1 1 1
Y1Y2
Y3
b
c
d
a
H
Y1
Y2
Y3
1
1 0
1
0 1
0 1
1 0
1 0 1
2321 yyyyH
Vout
t
Nov 2012
30
ניתן למנוע הבהובים סטטים ע"י שינוי המעגל. ראשית, יש להניח כי:
בו זמנית לא משתנה יותר מכניסה אחת למעגל,א.
ב. שינויים נוספים בכניסות לא יקרו עד אשר יסתיימו כל השינויים בתוך המעגל הנובעים משנוי הכניסה האחרון.
מוסיפים למעגל גורר נוסף , המכסה את החץ המופיע במפת קרנו. :0 ל-1ערכו של גורר זה אינו משתנה כאשר משתנה מ-
31 YY
2Y
b
c
d
a
H
Y1
Y2
Y3
e
00 01 11 10
0 1
1 1 1 1
Y1Y2
Y3
אם הוא מממש ביטוי בצורת סכום מכפלות, כך שכל Hazard-Freeמעגל נקרא ' מכוסה על ידי אחת המכפלות 1זוג משבצות שכנות במפת קרנו המכילות '
Nov 2012)לפחות(.
31
Dynamicהבהובים דינמיים )Hazards)
קורים כאשר יציאת המעגל אמורה( אבל השינוי נעשה 01להשתנות )למשל
1 0תוך שלושה מעברים לפחות )למשל 0 1 .)
בעייה זו מסובכת יותר. הפתרונות דומים אךאין פתרון כללי ויש מקרים שאינם ניתנים
Voutלפתרון.
t
Nov 2012
32
בניית שערים לוגיים באמצעות מתגים המימוש הטכנולוגי של שערים לוגיים נעשה באמצעות טרנזיסטורים
המשמשים כמתגים. ( לכל מתג שלושה הדקים: כניסת בקרהC( ושני הדקים )A,B שהמתג )
יכול לחבר ביניהם. ,נגדיר שני סוגי מתגיםP-ו N:באמצעות טבלאות אמת ,
N
A
B
C P
A
B
C
Nמתג Pמתג מצב המתג Cכניסת הבקרה מצב המתג Cכניסת הבקרה
מנותק 0 מחובר 0
מחובר 1 מנותק 1
Nov 2012
33
P
N
A B
בנית מהפך באמצעות מתגים' 0' ו-'1זוג מתגים המחוברים בטור בין הקבועים( 'VPLUS, VMINUS) כאשרA=0 מתג ,N מנותק ומתג P' ליציאה 1 מחובר, וכך עובר הקבוע 'B . כאשרA=1 מתג ,N מחובר ומתג P' ליציאה 0 מנותק, וכך עובר הקבוע 'B.
‘1’
‘0’
‘1’‘0’
Nov 2012
34
P
A Z
N
N
P
B
B
באמצעות מתגיםNANDבנית שער שערNAND .מורכב מארבעה מתגים כלהלן
נסו להבין את פעולתו:
Nov 2012
top related