asimut - מקוון בענן

תָכְנִית:

שֵׁם

אסימוט - כלי סימולציה לתיאורי חומרה

תַקצִיר

אסימוט [אפשרויות] [קובץ_שורש] [pattern_file] [קובץ_תוצאות]

תיאור

אסימוט הוא כלי סימולציה לוגי לתיאורי חומרה. זה מרכיב וטוען א
תיאור החומרה המלא כתוב ב-VHDL (מעגלים משולבים במהירות גבוהה מאוד
שפת תיאור החומרה). תיאור החומרה עשוי להיות מבני (היררכיה של
מקרים) או התנהגותיים. רק תת-קבוצה של VHDL נתמכת. תיאורים שלא
להתאים תת-קבוצה זו לגרום לשגיאת תחביר במהלך ההידור. לִרְאוֹת vhdl(5) למפורט
מידע על קבוצת המשנה הנתמכת של VHDL.

לאחר טעינת תיאור החומרה, אסימוט מחפש תיאור דפוס סימולציה
קוֹבֶץ. יש לכתוב את הקובץ הזה טפיחה פוּרמָט. הקובץ מורכב, נטען ומקושר
עם תיאור החומרה. לאחר מכן, ההדמיה מתחילה. כאשר דפוסים הם
מעובד, קובץ תוצאות ב טפיחה נוצר פורמט.

אם התבקשה פעולת שמירה בקובץ תיאור הדפוס (ראה טפיחה (5)), אסימוט
יוצר גם קובץ שמירה המייצג את מצב התיאור בסוף ה-
הדמייה של הדפוס האחרון. שם קובץ השמירה root_file.sav, איפה root_file is
שם התיאור.

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

אסימוט קורא מספר פרמטרים ממשתני הסביבה:

MBK_CATA_LIB רשימת ספריות המכילות קובצי תיאור ותבניות (באמצעות
תחביר $PATH). נתיב ברירת המחדל הוא הספרייה הנוכחית (ראה mbk(1)).

MBK_WORK_LIB מציין את ספריית העבודה הנוכחית. ספריית העבודה
מציין את המקום בו נכתבים כל קבצי הפלט.

MBK_CATAL_NAME מציין את הקובץ שבו מופיעים קבצי תיאור ההתנהגות.
קובץ זה משמש לעלוף תאים בעלי תיאור מבני.(ראה
mbk(1))

MBK_IN_LO סיומת קובץ עבור ישות מבנית. (לִרְאוֹת mbk(1))

VH_BEHSFX רשימה של סיומות קבצים עבור ישויות התנהגותיות (באמצעות תחביר $PATH).
סיומת הקובץ המוגדרת כברירת מחדל היא vbe.

VH_PATSFX רשימה של סיומות קבצים עבור ישויות תיאור דפוס (באמצעות $PATH
תחביר). סיומת הקובץ המוגדרת כברירת מחדל היא טפיחה.

VH_DLYSFX רשימה של סיומות קבצים עבור ישויות תיאור עיכובים (באמצעות $PATH
תחביר). סיומת הקובץ המוגדרת כברירת מחדל היא להית.

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

root_file הוא שם התיאור.

כברירת מחדל אסימוט מחפש תיאור מבני. הוא משתמש ב- MBK_IN_LO סביבה
משתנים כדי לזהות גם את הפורמט וגם את הרחבה של קבצי תיאור מבניים.
לטעינת קבצי VHDL מבניים MBK_IN_LO חייב להיות מוגדר ל vst.

לטעון תיאור התנהגותי טהור -b יש לציין אפשרות. במקרה כזה אסימוט
טוען קובץ תיאור VHDL של זרימת נתונים. ה VH_BEHSFX משתנה סביבה נותן את
הרחבות לשימוש.

קובץ_תבנית הוא שם הישות של תיאור התבנית. הקובץ שמכיל את זה
יש לציין את הישות pattern_file.ext , שם שלוחה היא אחת ההרחבות המצוינות ב
VH_PATSFX.

קובץ_תוצאה הוא קובץ התוצאה שהופק על ידי אסימוט. קובץ התוצאה הוא דפוס
קובץ תיאור עם הסיומת שצוינה על ידי VH_PATSFX.

אפשרויות

-b לשקול את root_file תיאור כתיאור התנהגותי

-עיכוב לאחור [דקה, מקסימום, סוג] delay_file
להשתמש בקובץ delay_file.ext עבור עיכובים הערות לאחור, איפה שלוחה הוא אחד
ההרחבה המצוינת ב VH_DLYSFX.

-bdd השתמש ב-BDD (דיאגרמת החלטה בינארית) כדי לייצג ביטויים. באמצעות
אפשרות זו גורמת לסימולציה להיות מהירה פי שניים אך גדלה
דרישת זיכרון

-c להפעיל רק את שלב הקומפילציה

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

-dbg[sbpldc] לקרוא ל-debugger (שימוש במפתח)

-עיכוב ברירת מחדל (-dd) רק עיכובים null (ללא סעיף אחרי בקובץ VHDL) משתנים אם
צוינו עיכובים עם הערות חוזרות או עיכובים קבועים.

-עיכוב קבוע ערך (-fd ערך)
כל העיכובים של התיאור קבועים ל ערך.

-h להציג את קובץ העזרה הזה

-i ערך אתחול כל האותות של התיאור עם ערך. ערך יכול להיות בן 0
או 1

-i שמור את הקובץ קרא קובץ שמירה והשתמש בו כדי לאתחל את מצב התיאור
לפני עיבוד התבנית הראשונה (שם הקובץ לא יכול להיות 1 או 0)

-לִבדוֹק instance_name
לייצר קובץ דפוס המתאים לממשק של המופע
מזוהה על ידי שם מופע

-l n להדפיס לכל היותר n תווים עבור תוויות דפוס. ערך ברירת המחדל עבור n
הוא 15.

-נורות אל תיצור קובץ תוצאות

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

-t מעקב אחר אותות בעת יצירת BDDs (שימוש במפתחים).

-תַחְבּוּרָה השתמש במודל עיכוב תחבורה (ברירת המחדל היא אינרציאלית).

-אפס עיכוב (-zd) כל העיכובים של תיאור VHDL אמורים להיות עיכובים בטלים.

דוגמא

asimut -b -i init_add adder_32 adder_patterns res_add

מדמה תיאור התנהגותי המוחזק בקובץ בשם 'adder_32.vbe באמצעות התבנית
הקובץ `adder_patterns.pat'. תוצאות הסימולציה נכתבות לתוך 'res_add.pat' וה-
התיאור מאותחל עם הערכים הכלולים ב-'init_add.sav'.

דיאגנוסטיקה

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

השתמש ב-asimut באינטרנט באמצעות שירותי onworks.net