alliance-genpat - Online na nuvem

PROGRAMA:

NOME

genpat, Um gerador de arquivo de padrão de procedimento

SINOPSE

genpat [-v] [-k] [Arquivo]

DESCRIÇÃO

Genpat é um conjunto de funções C que permite uma descrição de procedimento do arquivo de padrão de entrada
para o simulador lógico ASIMUT. O Unix genpat comando aceita um arquivo C como entrada e
produz um arquivo de descrição de padrão como saída. A extensão ".c" não deve ser fornecida. o
arquivo gerado por genpat está no formato pat, por isso É FORTEMENTE RECOMENDADO VER pancadinha(5)
ANTES DESTE MANUAL.

OPÇÕES

-v modo verboso

-k mantém o executável junto com o Makefile de compilação após o término

GENPAT ARQUIVO FORMATO

Do ponto de vista do usuário, genpat é uma linguagem de descrição de padrão usando todos os padrões C
facilidades (incluir, definir, variáveis, loop, ...). Funções fornecidas por genpat são para
ser usado em uma determinada ordem. Usá-los em uma ordem diferente não travará o sistema, mas irá
resultar em erros de execução. Aqui segue a descrição do arquivo de entrada.

A pancadinha O arquivo formatado pode ser dividido em duas partes: declaração e descrição.

A parte da declaração é a lista de entradas, saídas, sinais internos e registros.
As entradas devem ser forçadas a um determinado valor e todos os outros devem ser observados durante
simulação.

A parte da descrição é um conjunto de padrões, onde cada padrão define o valor das entradas
e saídas. O número do padrão representa, na verdade, o tempo absoluto do simulador.

Da mesma forma, genpat o arquivo pode ser dividido em duas partes: parte da declaração e parte da descrição.
As funções relacionadas à declaração devem ser chamadas antes de qualquer função relacionada ao
parte da descrição.

declaração parte
A primeira coisa que você deve fazer nesta parte é dar o nome do arquivo de saída
(Vejo DEF_GENPAT(3)). Então, esta parte permite que você declare as entradas, o
saídas e pontos de observação internos (ver DECLARAR(3)). Também é possível
criar matrizes virtuais (ver ARRAY(3)).

descrição parte
Depois que todos os sinais são declarados, você pode começar a definir os valores de entrada que são
a ser aplicado às entradas do circuito ou valores de saída que devem ser
compare com os valores produzidos durante a simulação. (Vejo AFETA(3)). Genpat
descreve o estímulo por evento: apenas as transições de sinal são descritas. Esse
parte também permite que você dê instruções à ferramenta de simulação para salvar o
estado do circuito no final da simulação. (Vejo SAVE(3)). Última coisa que você
deve fazer nesta parte é gerar o arquivo de saída (ver SAV_GENPAT(3)).

FUNÇÕES

DEF_GENPAT () define o nome do arquivo de saída.

SAV_GENPAT () fazer o arquivo de saída ser gerado

DECLAR () declara entradas, saídas e os pontos de observação internos.

VARIEDADE() permite que sinais do mesmo tipo sejam agrupados em uma "matriz virtual" em
a fim de facilitar sua manipulação

INICIAR() muda os valores dos registros entre dois padrões.

AFFECT () atribui um valor a um sinal, em um determinado número de padrão. Este valor é mantido
no sinal até que um novo valor seja atribuído ao sinal.

SALVE () informa a ferramenta de simulação para salvar o estado do circuito no final do
simulação

RÓTULO() dá um rótulo para o padrão atual

GETCPAT () retorna o número do padrão atual

EXEMPLOS

#includes
#include "genpat.h"

char * inttostr (entier)
inteiro;
{
char * str;
str = (char *) mbkalloc (32 * sizeof (char));
sprintf (str, "% d", entier);
return (str);
}
/ * ------------------------------ * /
/ * fim da descrição * /
/ * ------------------------------ * /

a Principal ()
{
int i;
intj;
int cur_vect = 0;

DEF_GENPAT ("exemplo");

/ * interface * /
DECLAR ("a", ": 2", "X", IN, "3 até 0", "");
DECLAR ("b", ": 2", "X", IN, "3 até 0", "");
DECLAR ("s", ": 2", "X", OUT, "3 até 0", "");
DECLAR ("vdd", ": 2", "B", IN, "", "");
DECLAR ("vss", ": 2", "B", IN, "", "");

LABEL ("adicionador");
AFFECT ("0", "vdd", "0b1");
AFFECT ("0", "vss", "0b0");

para (i = 0; i <16; i ++)
{
para (j = 0; j <16; j ++)
{
AFFECT (inttostr (cur_vect), "a", inttostr (i));
AFFECT (inttostr (cur_vect), "b", inttostr (j));
cur_vect ++;
}
}

SAV_GENPAT();
}

MEIO AMBIENTE VARIÁVEIS

Genpat lê a variável de ambiente VH_PATSFX para fornecer uma extensão ao arquivo de resultado.

Use alliance-genpat online usando serviços onworks.net