asimut - Интернет в облаке

ПРОГРАММА:

ИМЯ

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

СИНТАКСИС

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

ОПИСАНИЕ

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

После загрузки описания оборудования асимут ищет описание модели моделирования
файл. Этот файл должен быть записан на похлопывание формат. Файл компилируется, загружается и связывается
с описанием оборудования. Затем начинается моделирование. Когда шаблоны
обработано, файл результатов в похлопывание формат производится.

Если в файле описания шаблона было запрошено действие сохранения (см. похлопывание (5)), асимут
создает также файл сохранения, представляющий состояние описания в конце
имитация последнего паттерна. Файл сохранения называется корневой_файл.sav, где корневой_файл is
название описания.

Файл сохранения можно использовать в более поздней последовательности моделирования для инициализации состояния
(такое же) описание оборудования перед началом моделирования. Используя этот механизм, большой
последовательность шаблонов может быть разбита на несколько небольших последовательностей, каждая из которых инициализирует
описание оборудования с файлом сохранения, полученное в результате предыдущей последовательности.

асимут читает несколько параметров из переменных среды:

MBK_CATA_LIB список каталогов, содержащих файлы описаний и шаблонов (с использованием
Синтаксис $ PATH). Путь по умолчанию - текущий каталог (см. MBK(1 г.)).

MBK_WORK_LIB указывает текущий рабочий каталог. Рабочий каталог
указывает место, где записываются все выходные файлы.

МБК_CATAL_NAME Указывает файл, в котором перечислены файлы описания поведения.
Этот файл используется для листовых ячеек структурного описания. (См.
MBK(1))

МБК_ИН_ЛО расширение файла для структурного объекта. (видеть MBK(1))

VH_BEHSFX список расширений файлов для поведенческих сущностей (с использованием синтаксиса $ PATH).
Расширение файла по умолчанию: vbe.

VH_PATSFX список расширений файлов для сущностей описания шаблонов (с использованием $ PATH
синтаксис). Расширение файла по умолчанию: похлопывание.

VH_DLYSFX список расширений файлов для сущностей описания задержек (с использованием $ PATH
синтаксис). Расширение файла по умолчанию: жественной.

VH_MAXERR максимальное количество ошибок, допустимых на этапе моделирования. Если
количество ошибок, возникших при моделировании, достигает VH_MAXERR, асимут
останавливает моделирование по окончании обработки текущего шаблона.
Паттерны, следующие за текущим паттерном, остаются необработанными и
воспроизводится в файле результатов. Значение по умолчанию VH_MAXERR это 10.

корневой_файл это название описания.

По умолчанию асимут ищет структурное описание. Он использует МБК_ИН_ЛО охрана окружающей среды
переменные для определения как формата, так и расширения файлов структурного описания.
Чтобы загрузить структурные файлы VHDL МБК_ИН_ЛО должен быть установлен на VST.

Чтобы загрузить чисто поведенческое описание -b опция должна быть указана. В таком случае асимут
загружает файл описания VHDL потока данных. В VH_BEHSFX переменная среды дает
расширения, которые будут использоваться.

файл_шаблона - это имя сущности описания шаблона. Файл, содержащий это
объект должен быть назван файл_шаблона.ext , Где Ext является одним из расширений, указанных в
VH_PATSFX.

файл_результатов файл результатов, созданный асимут. Полученный файл представляет собой шаблон
файл описания с расширением, указанным VH_PATSFX.

ДОПОЛНИТЕЛЬНЫЕ УСЛУГИ, НЕ ВКЛЮЧЕННЫЕ В ПАКЕТ

-b рассмотреть корневой_файл описание как поведенческое описание

-задержка [мин, Максимум, тип] файл_задержки
использовать файл файл_задержки.ext для задержек backannotation, где Ext один из
расширение, указанное в VH_DLYSFX.

-бдд используйте BDD (двоичную диаграмму решений) для представления выражений. С использованием
эта опция ускоряет симуляцию в два раза, но увеличивает
требование к памяти

-c запустить только этап компиляции

-core core_file при первой обнаруженной ошибке выгрузите состояние схемы в обоих
файл ascii (с суффиксом .cor) и двоичный файл сохранения (с суффиксом .sav)
который можно использовать в качестве файла инициализации в дальнейшем сеансе. Если
-норс указана опция, также создается файл шаблона.

-dbg [sbpldc] вызвать отладчик (использование разработчика)

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

-фиксированнаязадержка ценностное (-фд стоимость)
все задержки описания фиксируются на ценностное .

-h отобразить этот файл справки

-i ценностное инициализировать все сигналы описания с помощью ценностное . Значение может быть 0
или 1

-i сохранить файл прочитать файл сохранения и использовать его для инициализации состояния описания
перед обработкой первого шаблона (имя файла не может быть ни 1, ни 0)

-осмотреть имя_экземпляра
создать файл шаблона, соответствующий интерфейсу экземпляра
идентифицировано имя-экземпляра

-l n печатать самое большее n символы для шаблонных этикеток. Значение по умолчанию для n
это 15.

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

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

-t сигналы трассировки при создании BDD (использование разработчика).

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

-нулевая задержка (-зд) все задержки описания VHDL должны быть нулевыми.

ПРИМЕР

asimut -b -i init_add adder_32 adder_patterns res_add

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

ДИАГНОСТИКИ

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

Используйте asimut онлайн с помощью сервисов onworks.net