asimut - Інтернет у хмарі

ПРОГРАМА:

ІМ'Я

асимут - Інструмент моделювання для опису обладнання

СИНТАКСИС

асимут [параметри] [кореневий_файл] [файл_шаблону] [файл_результату]

ОПИС

асимут є інструментом логічного моделювання для опису обладнання. Він компілює та завантажує a
повний опис обладнання, написаний на VHDL (дуже швидкісні інтегральні схеми
Мова опису обладнання). Опис обладнання може бути структурним (ієрархія
випадки) або поведінкові. Підтримується лише підмножина VHDL. Описи, які ні
відповідність цій підмножині призведе до синтаксичної помилки під час компіляції. Подивитися VHDL(5) для детального
інформація про підтримувану підмножину VHDL.

Після завантаження опису обладнання, асимут шукає опис шаблону моделювання
файл. Цей файл потрібно записати поплескування формат. Файл зібрано, завантажено та зв’язано
з описом обладнання. Потім починається моделювання. Коли візерунки є
оброблено, файл результату в поплескування формується.

Якщо у файлі опису шаблону було запитано дію збереження (див поплескування (5)), асимут
створює також файл збереження, що представляє стан опису в кінці
моделювання останнього візерунка. Файл збереження має назву кореневий_файл.sav, де кореневий_файл 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.

кореневий_файл це назва опису.

За замовчуванням асимут шукає структурний опис. Він використовує MBK_IN_LO навколишнє середовище
змінні для визначення формату і розширення файлів структурного опису.
Щоб завантажити структурні файли VHDL MBK_IN_LO має бути встановлено на VST.

Щоб завантажити чистий опис поведінки -b необхідно вказати опцію. У такому випадку асимут
завантажує файл опису потоку даних VHDL. The VH_BEHSFX змінна середовища дає
розширення, які будуть використані.

файл_шаблон це назва сутності опису шаблону. Файл, що містить це
сутність має бути названа pattern_file.ext , Де ext є одним із розширень, зазначених у
VH_PATSFX.

файл_результату є файлом результатів, створеним за допомогою асимут. Файл результату є шаблоном
файл опису з розширенням, зазначеним за допомогою VH_PATSFX.

ВАРІАНТИ

-b розглянути кореневий_файл опис як поведінковий опис

-затримка [хв, max, тип] файл затримки
використовувати файл файл_затримки.ext для затримок зворотної анотації, де ext один з
розширення, зазначене в VH_DLYSFX.

-bdd використовуйте BDD (двійкова діаграма прийняття рішень) для представлення виразів. Використання
ця опція робить моделювання вдвічі швидшим, але збільшується
вимога до пам'яті

-c запустити лише етап компіляції

- ядро core_file при першій виникненні помилки, скиньте стан ланцюга в обох
файл ascii (суфікс .cor) і двійковий файл збереження (суфікс .sav)
який можна використовувати як файл ініціалізації в наступній сесії. Якщо
-нори вказано параметр, також створюється файл шаблону.

-dbg[sbpldc] викликати налагоджувач (використання розробником)

-затримка за замовчуванням (-дд) змінюються лише нульові затримки (без речення after у файлі VHDL).
вказуються затримки з зворотними анотаціями або фіксовані затримки.

- фіксована затримка значення (-fd значення)
фіксуються всі затримки опису значення.

-h відобразити цей файл довідки

-i значення ініціалізувати всі сигнали опису з значення. значення може бути 0
або 1

-i зберегти файл прочитати файл збереження та використовувати його для ініціалізації стану опису
перед обробкою першого шаблону (ім'я файлу не може бути ні 1, ні 0)

-оглянути ім'я_екземпляра
створити файл шаблону, що відповідає інтерфейсу екземпляра
визначені ім'я-екземпляра

-l n друкувати максимум n символи для написів шаблонів. Значення за замовчуванням для n
є 15.

-нори не створювати файл результатів

-p n навантаження максимум n шаблони з вхідного файлу шаблону щоразу. Використовуючи це
функція зменшує виділення пам’яті, коли є велика кількість шаблонів
для моделювання. Крім того, після n візерунки оброблені,
результат моделювання друкується у файлі шаблону результату. The
значення за замовчуванням для n дорівнює 0, що змушує завантажувати весь файл шаблону.

-t відстеження сигналів під час створення BDD (використання розробником).

-транспорт використовувати модель транспортної затримки (за замовчуванням інерційна).

-нульова затримка (-зд) всі затримки опису VHDL мають бути нульовими затримками.

приклад

asimut -b -i init_add adder_32 ader_patterns res_add

імітує опис поведінки, що зберігається у файлі з назвою 'adder_32.vbe, використовуючи шаблон
файл `adder_patterns.pat'. Результати моделювання записуються в 'res_add.pat' і
опис ініціалізується значеннями, що містяться в 'init_add.sav'.

ДІАГНОСТИКА

Ініціалізація регістра у файлі шаблону дозволяє змінити значення регістра в
відоме значення. Однак використання цієї функції для ініціалізації регістру перед виконанням
перший шаблон не рекомендується. Значення реєстрів (визначається при ініціалізації
оператор) може бути перезаписаний, оскільки опис не має когерентного стану перед першим
рисунок.

Використовуйте asimut онлайн за допомогою служб onworks.net