alliance-genpat: en línea en la nube

PROGRAMA:

NOMBRE

Genpat, Un generador de archivos de patrones de procedimiento

SINOPSIS

Genpat [-v] [-k] [expediente]

DESCRIPCIÓN

Genpat es un conjunto de funciones C que permite una descripción de procedimiento del archivo de patrón de entrada
para el simulador de lógica ASIMUT. El Unix Genpat El comando acepta un archivo C como entrada y
produce un archivo de descripción de patrón como salida. No se debe dar la extensión ".c". los
archivo generado por Genpat está en formato pat, por lo que SE RECOMIENDA ENCARECIDAMENTE VER palmadita(5)
ANTES DE ESTE MANUAL.

CAMPUS

-v modo detallado

-k mantiene el ejecutable junto con la compilación Makefile después de la finalización

GENPAT ARCHIVO FORMATO

Desde el punto de vista del usuario, Genpat es un lenguaje de descripción de patrones que utiliza todos los estándares C
instalaciones (incluir, definir, variables, bucle, ...). Funciones proporcionadas por Genpat son a
utilizarse en un orden determinado. Usarlos en un orden diferente no bloqueará el sistema, pero sí
dar lugar a errores de ejecución. A continuación, se muestra la descripción del archivo de entrada.

A palmadita El archivo de formato se puede dividir en dos partes: declaración y parte de descripción.

La parte de declaración es la lista de entradas, salidas, señales internas y registros.
Las entradas deben forzarse a un cierto valor y todas las demás deben observarse durante
simulación.

La parte de descripción es un conjunto de patrones, donde cada patrón define el valor de las entradas.
y salidas. El número de patrón representa en realidad el tiempo absoluto para el simulador.

Similarmente, un Genpat El archivo se puede dividir en dos partes: declaración y descripción.
Las funciones relacionadas con la declaración deben llamarse antes que cualquier función relacionada con la
parte de descripción.

declaración parte
Lo primero que debe hacer en esta parte es dar el nombre del archivo de salida
(consulta: DEF_GENPAT(3)). Entonces, esta parte le permite declarar las entradas, el
salidas y puntos de observación internos (ver DECLARAR(3)). También es posible
crear matrices virtuales (ver FORMACIÓN(3)).

descripción parte
Después de declarar todas las señales, puede comenzar a definir valores de entrada que son
que se aplicará a las entradas del circuito o valores de salida que se van a
comparar con los valores producidos durante la simulación. (ver AFECTAR(3)). Genpat
describe el estímulo por evento: solo se describen las transiciones de señal. Esta
también le permite dar instrucciones a la herramienta de simulación para guardar el
estado del circuito al final de la simulación. (ver SAVE(3)). Lo ultimo que tu
debe hacer en esta parte es generar el archivo de salida (ver SAV_GENPAT(3)).

Las funciones

DEF_GENPAT () define el nombre del archivo de salida.

SAV_GENPAT () hacer que se genere el archivo de salida

DECLAR () declara entradas, salidas y los puntos de observación internos.

FORMACIÓN() permite agrupar señales del mismo tipo en una "matriz virtual" en
para facilitar su manipulación

EN ESO() cambia los valores de los registros entre dos patrones.

AFECTAR() asigna un valor a una señal, en un número de patrón dado. Este valor se mantiene
en la señal hasta que se asigne un nuevo valor a la señal.

AHORRAR() informa a la herramienta de simulación para guardar el estado del circuito al final de
simulación

ETIQUETA() da una etiqueta al patrón actual

GETCPAT () devuelve el número del patrón actual

EJEMPLOS

#incluye
#include "genpat.h"

char * inttostr (entier)
entero entero;
{
char * str;
str = (char *) mbkalloc (32 * tamaño de (char));
sprintf (str, "% d", entier);
retorno (str);
}
/ * ------------------------------ * /
/ * fin de la descripción * /
/ * ------------------------------ * /

principal ()
{
int i;
intj;
int cur_vect = 0;

DEF_GENPAT ("ejemplo");

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

LABEL ("sumador");
AFECTAR ("0", "vdd", "0b1");
AFECTAR ("0", "vss", "0b0");

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

SAV_GENPAT ();
}

MEDIO AMBIENTE VARIABLES

Genpat lee la variable de entorno VH_PATSFX para darle una extensión al archivo de resultados.

Use alliance-genpat en línea usando los servicios de onworks.net