מימון של Boolean Algebra בעיצוב דיגיטלי

(ב) ,"הבנה" של ג'ורג' בול במאה ה-19, מספקת את הבסיס המתמטי לתכנון לוגיקה דיגיטלית.הוא פועל על משתנים בינאריים שיכולים לקחת רק שני ערכים: FLT:0reaFLT:1 (false, מתח נמוך) ו-FLT:21FLT 3: 3 פעולות בסיסיות)

תפקיד של Test Pattern Generation ב Digital Circle Verification

לאחר שעיגול דיגיטלי מוטבע, יש לבחון אותו כדי להבטיח פגמים פיזיים - כגון מכנסיים קצרים, פותח, או transistor תקועים-at תקלות - להתפשר על הפונקציונליות שלו.FLT:0Logic Test Pattern GenerationFLT:1 הוא תהליך של יצירת סט של הגדרות אשר, כאשר מוחל על המעגל, לייצר אלגוריתמים שניתן להשוות בין הערכים הצפויים להשגה עם אורך בדיקה מינימלית (Ric) של כלים אוטומטיים כל כך, כלומר, לדוגמה, הוא, על ידי עיצובים אוטומטיים, על ידי שיטות בדיקה אוטומטית, הוא, אשר, על ידי עיצובים אוטומטיים, הוא יעיל של שיטות בדיקה, אשר תוכנן על ידי עיצובים אוטומטיים של שיטות בדיקה, PG-ידי שיטות הפעלה של שיטות הפעלה אוטומטית, כי הוא יעיל של שיטות הפעלה של שיטות הפעלה אוטומטית של שיטות הפעלה של שיטות הפעלה (Ric).

מודלים של Fault ו-Botlean

מודל הפגמים הנפוץ ביותר הוא FLT:0 (בפרק 1), שבו קו אות תקוע לצמיתות בלוגיקה 0 או לוגיקה 1. עבור מעגל נתון, תקלה תקועה הופכת את הפונקציה המקורית של Boolean לתפקוד של מעגל זיהוי לקוי.

מודלים אחרים של פגמים כוללים (FLT:0) פגמים בפירוק של ההרחבה 1 (עיגולים קצרים בין שני רשתות) ו-FLT:2delay תקלותsFLT 3: שניהם יכולים גם לבטא באמצעות Boolean algebra כאשר מודל ההתנהגות הפגום כמו פעולה לוגיקה שונה.

צעדים שיטתיים ל-RTING STITION STATATCHTE PROTEREYING BING

אלגוריתמים מודרניים של ATPG מסתמכים על Boolean algebra בכל שלב.ניתן לפרק את הזרם הכללי לארבעה שלבים, אך מאחורי כל שקר הוא חשיבה אלגברהית.

1.מודל המעגל כ-Bolean Expressions

(הופנה מהדף משוואות של בולי לכל פלט שער (ב) לשער פשוט ושער עם קלטות של 4 ו-FLT:5 ופלט 6, הביטוי הוא FLT 7 עבור צומת פנימי שמעריצים יוצאים לכדי מספר השערים, כל ענף מפנטסטי נושא את אותו הערך ההגיוני אלא אם כן הוא נוכח.

2.הפשטות אקספרסions with Boolean Algebra

לפני יצירת תבניות מבחן, ביטויים של גליון המעגל הם לעתים קרובות פשוטים להפחית את הרקורדות.זה לא רק אופטימיזציה חומרה - ביטויים פשוטים גם להפוך את בעיית הדור של הניסוי לקל יותר לפתור.טכניקות כגון FLT:0Karnaugh MapFLT:1 ו-FLT:2 Quickne-Mclus אלגוריתם:FLT3 משמשים למינימום צורות של חלבון או לפשטות של 8.

מבחן וקטורים באמצעות תבונה מהירה

לאחר שהעיגול מודלק ופשט, כלי ATPG מנסח את הדור של הניסוי כהשלכות (FLT:0) חוסר יכולת (SAT) PGFLT:1 או משתמש באלגוריתמים כמו D-algorithm, אותות PODEM (השער המוחזק) כדי לבצע תיקון פנימי (Fanout-Oriented) כדי לבצע משוואות ישירות (אפקטים של Dvret)

דוגמה: Stuck-at-0 Fault on a NAND Gate Output

(ב) , עיין בפרשת גמרא (ב) ב[[1924]] וב[[1924]], [[1924]], [[1924]]]], [[1924]], [[1924]]]], [[1924]]]]]], [[1924]]]]]]]]]], [[1924]]]]]]]]]], [[1924]]]]]]]]]]]], [[1924]]]]]]]]]]]]

4.אוטומטי דור דפוס וקומפקטיות

לאחר שמניעה וקטורים של מבחן פרטני לכל פגם, כלי ATPG משתמש בסימולציות של הסימולציות (FLT:0faultסימולציה FLT:1) כדי להעריך אילו וקטורים מכסים פגמים נוספים: Boolean algebra שוב ממלא תפקיד: סימולציה שגויה מואצת על ידי הערכת פונקציות בוטות על תבניות קלט רבות בו זמנית באמצעות פעולות bitwise.

היתרונות של Boolean Algebra ב Test Pattern Automation

  • (FLT:0) ,Reduced Test Set Size:FLT:1 Boolean מבטל קוביות בדיקה מקודמות, מה שמוביל פחות מחזורי מבחן ועלות בדיקה נמוכה יותר.
  • (ב) ⁇ :0) ⁇ גבוהה: (ב) ,השיטות הצורות של אלגבריות מבטיחות כי אין פגמים בלתי ניתנים לערעור (הספקו את מודל הפגמים הוא מדויק).
  • (ב) ⁇ :0 [ה]התחינות האתיופית: ⁇ FLT:1] , SAT Solrs ו- BDDs (Binary Decision Diagrams) שנבנה על ידי Boolean algebra יכול להתמודד עם מעגלים עם מיליוני שערים.
  • (ב) ⁇ :0) ⁇ : 1FLT (בשיתוף) בולין אלגברה תומך במודלים רבים של תקלות ובדור מבחן היררכי מבלי לשנות את המתמטיקה הבסיסית.
  • (ב) כלי ATPG יכולים להפעיל דפוסים ללא השגחה, יצירת תבניות מבחן תוך דקות שייקחו שבועות של מהנדסים אנושיים.

אתגרים ושיפורים מודרניים

(ב) [[המאה ה-20]], [[1924]]]], [[1924]]]]]], [[1924]]]]]], [[1924]]]]]], [[1924]]]]]]]]]]]], [[1924]]]]]]]], [[1924]]]]]]]]]]]]]], [[1924]]]]]]]]]]]]]]]], [[1924]]]]]]]]]]]]]]]]]]]], [[1924]]]]]]]]]]]]]]]], [[1924]]]]]]]]]]]]]]]]]]]], [[1924]]]]]]]]]]]]]]]]]] ו[[1924]]]]]]]]]]]], [[1924]], [[1924]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] [[1924]]]]]], [[1924]]]]]]]]]], [[1924]], [[1924]]]], [[[[1924]]]]]], [[1924]]]]]], [[1924]]]]]]]] [[1924]]]]]], [[1924]]]]]]]], [[[[1924]]]]]] [[1924]]]]]]]]]] [[[[[[1924]]]]]]

מסקנה

[ה]היפוי הוא כלי חיוני באוטומציה של הדור של דפוס לוגיקה.מממעגלים ופגמים של IEEE לנטרל וקטורים במבחן קומפקטי, הכללים האלגבריים שלה מספקים שיטה רשמית, מדרגית להבטחת נכונותן של מערכות דיגיטליות.כפי שעיגולים משולבים גדלים צפופים יותר - עם מיליארדי טרנזירים ונקודות ייצור מתקדמות - התפקיד של Boolean algebra ב-BalbnF ימשיך להתפתח ב-cotexitationer: 150 שנים נוספות, אך ורק כדי לנהל את ה-Rate אלקטרוניקה המודרנית, אך ורק יותר מאשר PGFer.