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

ПРОГРАММА:

ИМЯ

генпат, Генератор файлов процедурных шаблонов

СИНТАКСИС

генпат [-в] [-к] [файл]

ОПИСАНИЕ

Генпат представляет собой набор функций C, которые позволяют процедурное описание входного файла шаблона
для логического симулятора АСИМУТ, Unix генпат команда принимает файл C в качестве входных данных и
создает файл описания шаблона в качестве вывода. Расширение ".c" не должно быть указано. В
файл, созданный генпат в формате pat, поэтому НАСТОЯТЕЛЬНО РЕКОМЕНДУЕТСЯ ПОСМОТРЕТЬ похлопывание(5)
ПЕРЕД ДАННЫМ РУКОВОДСТВОМ.

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

-v подробный режим

-k сохраняет исполняемый файл вместе с Makefile компиляции после завершения

ГЕНПАТ ФАЙЛОВ ФОРМАТ

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

A похлопывание Файл формата можно разделить на две части: декларацию и часть описания.

Часть декларации - это список входов, выходов, внутренних сигналов и регистров.
Входы должны быть установлены на определенное значение, а все остальные должны соблюдаться во время
моделирование.

Часть описания представляет собой набор шаблонов, где каждый шаблон определяет значение входных данных.
и выходы. Номер шаблона представляет собой фактически абсолютное время для симулятора.

Аналогичным образом, генпат Файл можно разделить на две части: часть описания и часть описания.
Функции, связанные с объявлением, должны вызываться перед любой функцией, связанной с
описание часть.

заявление часть
Первое, что вам нужно сделать в этой части, - дать имя выходному файлу.
(См. DEF_GENPAT(3)). Затем эта часть позволяет вам объявлять входы,
выходы и внутренние точки наблюдения (см. ЗАЯВИТЬ(3)). Также возможно
создавать виртуальные массивы (см. МНОЖЕСТВО(3 г.)).

описание часть
После объявления всех сигналов вы можете приступить к определению входных значений, которые
быть примененным к входам схемы или выходным значениям, которые должны быть
сравните со значениями, полученными во время моделирования. (видеть ВЛИЯТЬ(3)). Генпат
описывает стимул за событием: описываются только сигнальные переходы. Этот
часть также позволяет дать инструкции инструменту моделирования для сохранения
состояние схемы в конце моделирования. (видеть СПАСТИ(3)). Последнее, что ты
в этой части следует сгенерировать выходной файл (см. SAV_GENPAT(3 г.)).

ФУНКЦИИ

DEF_GENPAT () определяет имя выходного файла.

SAV_GENPAT () создать выходной файл

ЗАЯВИТЬ () объявляет входы, выходы и внутренние точки наблюдения.

МНОЖЕСТВО() позволяет группировать однотипные сигналы в "виртуальный массив" в
чтобы облегчить их манипуляции

В ЭТОМ() изменяет значения регистров между двумя шаблонами.

ОКАЗЫВАТЬ ВОЗДЕЙСТВИЕ() присваивает значение сигналу по заданному номеру шаблона. Это значение сохраняется
на сигнале, пока сигналу не будет присвоено новое значение.

СПАСТИ() информирует инструмент моделирования о необходимости сохранения состояния схемы в конце
моделирование

МЕТКА() дает метку текущему шаблону

GETCPAT () вернуть номер текущего паттерна

ПРИМЕРЫ

#включает в себя
#include "genpat.h"

char * inttostr (entier)
интьер;
{
char * str;
str = (char *) mbkalloc (32 * sizeof (char));
sprintf (str, "% d", entier);
возврат (стр.);
}
/ * ------------------------------ * /
/ * конец описания * /
/ * ------------------------------ * /

основной ()
{
инт я;
интервал j;
интервал cur_vect = 0;

DEF_GENPAT («пример»);

/ * интерфейс * /
DECLAR ("a", ": 2", "X", IN, "3 вниз до 0", "");
DECLAR ("b", ": 2", "X", IN, "3 вниз до 0", "");
DECLAR ("s", ": 2", "X", OUT, "3 вниз до 0", "");
DECLAR ("vdd", ": 2", "B", IN, "", "");
DECLAR ("vss", ": 2", "B", IN, "", "");

LABEL ("сумматор");
AFFECT («0», «vdd», «0b1»);
AFFECT («0», «vss», «0b0»);

для (я = 0; я <16; я ++)
{
для (j = 0; j <16; j ++)
{
AFFECT (inttostr (cur_vect), «a», inttostr (i));
AFFECT (inttostr (cur_vect), «b», inttostr (j));
cur_vect ++;
}
}

SAV_GENPAT ();
}

ОКРУЖАЮЩАЯ СРЕДА ПЕРЕМЕННЫЕ

Генпат читает переменную среды VH_PATSFX, чтобы дать файлу результата расширение.

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