alliance-genpat - Інтернет у хмарі

ПРОГРАМА:

ІМ'Я

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

СИНТАКСИС

генпат [-v] [-k] [файл]

ОПИС

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

ВАРІАНТИ

-v багатослівний режим

-k зберігає виконуваний файл разом із Makefile компіляції після завершення

ГЕНПАТ Фото ФОРМАТ

З точки зору користувача, генпат це мова опису шаблонів, яка використовує всі стандартні C
засоби (включити, визначити, змінні, цикл, ...). Функції, надані генпат є
використовувати в заданому порядку. Використання їх у іншому порядку не призведе до збою системи, але призведе
призводять до помилок виконання. Тут слідує опис вхідного файлу.

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

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

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

Аналогічно, a генпат Файл можна розділити на дві частини: декларацію та опис.
Функції, пов’язані з декларацією, мають бути викликані перед будь-якою функцією, пов’язаною з
частина опису.

декларація частина
Перше, що ви повинні зробити в цій частині, це дати назву вихідного файлу
(Див. DEF_GENPAT(3)). Тоді ця частина дозволяє вам оголосити вхідні дані,
виходи та внутрішні пункти спостереження (див ЗАЯВИТИ(3)). Це також можливо
створювати віртуальні масиви (див МАСІВ(3)).

description частина
Після того, як усі сигнали оголошено, ви можете почати визначати вхідні значення, які є
застосовувати до входів схеми або вихідних значень, які мають бути
порівняти зі значеннями, отриманими під час моделювання. (побачити АФЕКТ(3)). Генпат
описує стимул за подією: описуються лише переходи сигналу. Це
частина також дозволяє давати інструкції інструменту моделювання для збереження
стан схеми наприкінці моделювання. (побачити ЗБЕРЕГТИ(3)). Ви останнє
у цій частині потрібно створити вихідний файл (див SAV_GENPAT(3)).

ФУНКЦІЇ

DEF_GENPAT() визначає назву вихідного файлу.

SAV_GENPAT() створити вихідний файл

ОГОЛОШИТИ() оголошує входи, виходи та внутрішні точки спостереження.

ARRAY() дозволяє групувати сигнали одного типу у «віртуальний масив».
щоб полегшити маніпуляції з ними

В ЦЬОМУ() змінює значення регістрів між двома шаблонами.

ВПЛИВАТИ() призначає значення сигналу за заданим номером зразка. Це значення зберігається
на сигналі, доки йому не буде призначено нове значення.

ЗБЕРЕГТИ() інформує інструмент моделювання для збереження стану схеми в кінці
моделювання

LABEL() дає мітку поточному шаблону

GETCPAT() повертає номер поточного шаблону

ПРИКЛАДИ

#включати
#include "genpat.h"

char *inttostr(entier)
int entier;
{
char *str;
str = (char *) mbkalloc (32 * sizeof (char));
sprintf (str, "%d",entier);
return(str);
}
/*------------------------------*/
/* кінець опису */
/*------------------------------*/

головний ()
{
int i;
int j;
int cur_vect = 0;

DEF_GENPAT("приклад");

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

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

для (i=0; i<16; i++)
{
для (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