הבית > חֲדָשׁוֹת > תוכן

מחקר של מתודולוגיית LVS עבור פריסה Verfication פיזית

Jan 25, 2018

אימות פיזי הוא החוליה האחרונה בתכנון של IC, והוא הממשק בין עיצוב המעגל לבין עיצוב התהליך. לכן, חשוב במיוחד עבור המעצבים לאמת את השגיאות בפריסה, ואת מערכת האימות פריסה שסופקו על ידי קיידנס יש דרקולה דיווה. Diva מוטבע במסגרת העיקרית של קיידנס, וזה נוח יותר לשימוש, אבל הפונקציה היא מעט נחות לזה של דרקולה. דרקולה מערכת פריסת אימות עצמאית, יכול להיות DRC (De -sign כללים בדוק), ERC (Electical Rical כללים בדוק), LVS (פריסה לעומת סכמטי), LPE (פרמטר פריסה Ex-Yract) ו סדרה של עבודה אימות, הניתוח שלה מהירות, פונקציה חזקה, יכול לאמת ולחלץ מעגל גדול יותר.


1 תהליך LVS עובד ועקרון

(1) טבלת הרשת המורכבת עם LOGLVS הראשון צריך להשתמש LOGLVS כדי להמיר את טבלת הרשת של סכמטית לתוך טבלה ברמת הטרנזיסטור נטו. L OGLVS ניתן להמיר מגוון של פורמטים, כגון Verilog, EDIF, TEGAS5, SICE, וכן הלאה. מאז שלושת הראשונים טבלאות הרשת הלוגית אינן מכילות תיאורי טרנזיסטור ברמה של יחידות לוגיות בסיסיות, יש צורך לספק טרנזיסטור ברמת המעגל תיאור קובץ CDL של יחידות לוגיות בסיסיות כדי ליצור את ההיגיון כולו.

טרנזיסטור רמת הטבלה נטו LVSLOGIC. DAT של המעגל. בתהליך ההמרה, L OGLVS מעבד את הקובץ nettable לוגי, מרחיב את המודול, ומשלב את תיאור רמת הטרנזיסטור של יחידת הלוגיקה הבסיסית עם טבלת הרשת הלוגית. עבור טרנזיסטור רמת הטבלה נטו SPICE, תהליך ההמרה היא פשוטה יחסית.

1.png

(2) יצירה והרכבה של קובץ רגיל (קובץ כללים)

קובץ כלל הוא קובץ טקסט המכיל פקודות Dracula שנוצרו על-ידי משתמשים. פקודות אלה מציינות את פעולת האימות המשמשת בתכנון, ולכן אוסף הקבצים הרגילים הוא מאוד חשוב. קובץ כלל מורכב בעיקר משלושה חלקים, כגון בלוק תיאור תיאור בלוק, את שכבת ההגדרה בלוק קלט שכבת בלוק, פקודת הפעולה בלוק לחסום יון Operat, וכן הלאה.


① תיאור בלוק

חלק זה מגדיר את הפלטפורמה שבה פועל הדרקולה, והוא מכיל מידע אודות המעגל שיאומת, כגון מצב ביצוע, שם מודול מעגל, שם קובץ קלט / פלט ופורמט וכו '. כאשר LVS מאומת, הפקודה SCHEMATIC היא חיוני משמש לציון רמת טרנזיסטור נטו שולחן הקובץ LVSLOGIC. DAT שנוצר על ידי המרה LOGLVS. להלן דוגמה של בלוק תיאור:


*תיאור

PRIMARY = TOP; כדי לאמת את שם המודול

PROGRAM-DIR = ; מאמת את הנתיב של הכלי

SYSTEM = GDS2; פורמט נתונים בפורמט

INDI SK = למעלה. gds; קובץ נתוני פריסה

פתרון = 0. 01MIC; רזולוציה פריסה

PRINTFILE = 1vs; הגדר את השם של קובץ ההדפסה

MODE = EXEC NO; הגדרת מצב פעולה

SCHEMATIC = L VSLOGIC; טבלאות רשת מעגל שנוצר על ידי LOGLVS

TEXT-PRI-ONLY = כן; השתמש בתג של תג השכבה העליונה כשם הצומת

*סוֹף


② בלוק שכבת קלט

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


* INPUT -LAYER

NW = 1; הגדרה של N טוב

PN = 2; הגדרת אזור פעיל

POLY = 3 TEXT3 ATTACH POLY; שכבת סיליקון Polycrystalline

MET = 4 TEXT4 ATTACH MET; הגדר את שכבת המתכת

NPLU = 5; הגדר N +

PPLU = 6; הגדר P +

CONT = 8; הגדרת חורי מגע

SUBSTR ATE = SUB 100; הגדר את המצע

CONNECT -LAY = PSUB NSUB NWELL PDIFF NDIFF פולימט; הגדר את שכבת המגע ואת העדיפות (מהנמוך לגבוה)

*סוֹף


③ מבצע לחסום

חלק זה מבוסס בעיקר על הפעולה הלוגית של השכבה המוגדרת, כגון AND, OR, NOR וכן הלאה כדי לזהות את ההתקנים. בנוסף, אנו מגדירים את הפעולה כדי להפעיל ולסמן את השגיאות המופיעות, אשר חייב לכלול את הפקודה LVSCHK, אשר מציין דרקולה לבצע אימות LVS המבצע, ולא פעולות אחרות כגון LPE.


בבלוק זה, "ELEMENT MOS" הפקודה משמש להגדיר שער אלומיניום או שער הסיליקון MOS המכשיר. פורמט הפקודה הוא: ELEMENT MOS

2.png

*מבצע

לא SUB NW PSUB

לא PPLU

ו PN PPLUS PPN

בחר NW CUT RESI NWRES

ו POLY PPN PGATE

לא PP PP PGATE PDIFF

גודל NW לפי 3. 5 NSUB

אלמנט MOS [P] PGATE POLY PDIFF NSUB

LVSCHK [SFR] PRINTLINE = 3000 WEFFECT = 0

WPERCENT = 0 LPERCENT = 0 RESVAL = 5 CAPVAL

= 5; פקודת אימות LVS

*סוֹף


בנוסף, NMOS, נגדים, קבלים והתקנים אחרים עם הגדרות PMOS בדוגמה זו דומה.

לאחר קובץ כלל נוצר, זה יכול להיות הידור עם הכלי preprocessing PDRACULA. ראשית, לבדוק את כללי הדקדוק במסמך, דרך האחורי של קבצי הכלל, ולשמור את התוצאות עבור קובץ ההפעלה jxrun. com או jxsub. Com, the type]} la yer-a שכבה- B {[LA yer-c {layer-d} סוג, אשר שימש לציון סוג של התקני MOS, כגון CMOS בסוג השקופית העליונה [P] עבור [N ], סוג של צינור ירידה. שכבת-A היא שכבת ההתקן. עבור צינור הסיליקון MOS צינור, שכבת הערוץ מוגדר בדרך כלל על ידי חפיפה של polysilicon ואת שכבת דיפוזיה. La yer -b הוא שער להוביל להוביל שכבת, אל צינור הסיליקון MOS צינור, שהוא polysilicon. שכבת C- מקור / בריחת שכבת קשר על שער הסיליקון MOS, ההגדרה של השכבה ניתן להסיר בשכבת דיפוזיה של המבצע אזור הערוץ. La yer-d משמש כדי להגדיר את שכבת המצע המצע. הדוגמאות הבאות כיצד להפעיל את השכבה כדי לזהות את הצינור PMOS מוצגים, כפי שמוצג באיור 3, כפי שמוצג בפריסת PMOS.

3.png


קובץ ההפעלה מכיל את הפקודה כדי לשלוח את המשימה דרקולה.

הספריות המשמשות במהלך פעולת האימות צריכות להיות ממוקמות בספריית ההפעלה הנוכחית או בנתיב שצוין בספריית ההפעלה. אם הספרייה אינה ממוקמת בספריית הריצה הנוכחית, קישור מהספרייה לספריית ההפעלה נוצר על ידי Pdracula והוסף לקובץ ההפעלה.


(3) ביצוע LVS

הפעל את קובץ ההפעלה עבור אימות LVS.

בתהליך LVS, אנו הראשונים להמיר את הנתונים של דיאגרמת המעגל ואת הפריסה לתוך מודל מעגל השוואה קל, ולאחר מכן לעקוב אחר שני מודלים מעגלים עם הקלט קלט ו פלט כמו צמתים ההתחלה. נקודת ההתחלה של הצומת המקביל הראשונית כנקודת ההתחלה של פעולת המעקב LVS יכול להיות מסופק על ידי המעצב. כאשר הצמתים בפריסה זהים בדיוק לאלה של הצמתים המתואמים בסכימה, הם משמשים כזוג זוגות ראשוניים מקבילים. צומת מוסמך יכול להיות צומת חשמל, צומת קרקע, צומת קלט / פלט ברמה העליונה, או צומת פנימי (בהתאם לפורמט טבלת הרשת של התרשים הסכימטי). LVS בוחר את כל צמתים כוח, צמתים הקרקע, צמתים שעון, לפחות סוג אחד אחר של הצומת כמו להגדיר מינימום של צמתים המקביל הראשוני. כאשר התוכנית משתמשת אלה הראשונית צמתים המתאימים למעקב אחר פעולות, צמתים המקביל הראשוני מסופקים, יעיל יותר מעקב. עם זאת, LVS אינו בודק אם זוג הצומת המקביל הראשון תואם באמת. אם זוג הצומת המקביל הראשון כולל שגיאות, הוא משמש כנקודת ציון ומעקב אחר הפעולה יוטעה. מאז הוספת תגים באופן ידני למסד הנתונים של הפריסה הוא יותר נוטה לשגיאה, יש צורך לספק את המספר המינימלי של זוגות הצומת המקביל הראשונים מספיקים לבדיקה יעילה. לכן, זה צריך להיות כל הפינים משמשים הצומת הראשונית המקביל, בנוסף, כולל גם את הצומת האות, ורבים מודול חשוב מחובר צמתים או מעגל מקביל מאוד (כגון אוטובוס) הצומת, חשוב יותר הוא לוודא אותו שם תג על הטריטוריה של כל הצומת ואת הדיאגרמה עקרון ההיגיון המתאים זה אתה יכול לקבוע את הצומת הראשונית לתקן. אם דרקולה אינו מוצא את הצומת המקביל הראשוני, הוא ימצא את פונקציית ההתאמה האוטומטית למעקב. דרקולה משתמשת בשיטה ההוריסטית כדי להתחיל מהצומת הראשוני המקביל, ובהדרגה עוקבת אחר הטבלה נטו המורחבת והגרף הראשי של הגרף נטו. הראשון הוא I / O מעגל, ולאחר מכן מסלולים שבילים הדורשים לפחות backtracking. בהתחלה, LVS חשב שכל זוגות הצומת המתאימים תואמו. בכל פעם שהאובייקט התואם נמצא בין הפריסה לבין התרשים הסכימטי, והתנאי התואם היה ייחודי, הוא זיהה את האובייקט כצומת או מודול תואמים. כאשר כל צמתים ומודולים מתאימים או כל נקודות של disambiguation (נקודת ההבדל, נקודת אי התאמה) נמצאים, LVS הוא להפסיק מעקב. כלומר, אין זה נכון לקבוע את מיקומו של נקודת המפוצלות ואת נקודת המפתח כדי להסביר את הטעות, אך לא יחידת ההתאמה או המודול, בגלל נקודת התפצלות עלולה לגרום לצומת או למודול לא להתאים לסדרה של הוראות עבור LVS bifurcation נקודה, ומודול הצומת דוחות עם התאמה ספציפית נקודת ההתאמה ספציפית או לא. עם זאת, ולכן, אינו תואם את מספר הצמתים או המודול יכול להיות שונה ממספר נקודות התפצלות.



(4) דווח על פלט

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


על פי הרמזים לדוח השגיאה, השלבים לשינוי הפריסה הם:


(א) הפוך את הפריסה ואת סיכת ה- I / O של מפת המעגל בזה אחר זה.

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

(ג) עדכון GDS II, לקמפל קבצי כלל, ולאמת LVS;

(ד) חזור על הפעולה (b) ו- (c) עד שהפריסה זהה בדיוק לתרשים המעגל.


להלן רשימה של שגיאת ההבדל מידע בדוגמה הדו"ח, את הרשימה של המעגל עקרון הדיאגרמה של המידע, את הזכות מידע הפריסה, היו רשומים שתי נקודות שונות, מידע על מידע ההבדל הראשון עבור צמתים מעקב לא תואמים אלה של 4, מידע הבדל השני למעקב אחר הצומת 8 התוצאה, על פי המידע, לצייר את תרשים החיבור ואת הפריסה כפי שמוצג בתרשים 4, באמצעות ניתוח של שני מידע שונים המתארים את אותה טעות, פשוט לעקוב אחר צמתים, מטרתו היא לעזור למעצבים למצוא בקלות את טעות המפתח, ולכן בניתוח של שגיאות לציין כי הצומת אינו מופיע בדוח טועים, אבל אלה צמתים קשורים עם bifurcation ספציפי, מעצב באמצעות ניתוח של מידע הצומת הרלוונטיים לא יהיה קשה למצוא נקודת התפצלות.

4.png

5.png

בתהליך עיצוב IC, באמצעות LVS כלי אימות Dracula, יכול במהירות ובדייקנות להשלים את האימות עקביות של הפריסה ואת הדיאגרמה העיקרון של הכלי ניתן להפריד לשתי ייצוגים שונים של כל עיצוב, ולעשות דו"ח ברור לניתוח נוסף, השלמת של השינויים הפריסה מעצבים טובים, להפחית את תהליך התכנון הוא חזר, ובכך מקטין באופן משמעותי את עלות העיצוב, לשפר את האמינות של העיצוב.