Il s'agit de la commande alliance-genpat qui peut être exécutée dans le fournisseur d'hébergement gratuit OnWorks en utilisant l'un de nos multiples postes de travail en ligne gratuits tels que Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS
PROGRAMME:
Nom
génpat, Un générateur de fichier de modèle procédural
SYNOPSIS
génpat [-v] [-k] [fichier]
DESCRIPTION
Génpat est un ensemble de fonctions C qui permet une description procédurale du fichier de modèle d'entrée
pour le simulateur logique ASIMUT. L'Unix génpat La commande accepte un fichier C en entrée et
produit un fichier de description de modèle en sortie. L'extension ".c" n'est pas à donner. Les
fichier généré par génpat est au format pat, donc IL EST FORTEMENT RECOMMANDÉ DE VOIR caresse(5)
AVANT CE MANUEL.
OPTIONS
-v mode verbeux
-k conserve l'exécutable avec la compilation Makefile après l'achèvement
GENPAT DOSSIER Format
Du point de vue de l'utilisateur, génpat est un langage de description de modèle utilisant tous les C standard
fonctions (inclure, définir, variables, boucle, ...). Fonctions fournies par génpat sont à
être utilisé dans un ordre donné. Les utiliser dans un ordre différent ne fera pas planter le système, mais
entraîner des erreurs d'exécution. Voici la description du fichier d'entrée.
A caresse Le fichier de format peut être divisé en deux parties : la partie déclaration et la partie description.
La partie déclaration est la liste des entrées, sorties, signaux internes et registres.
Les entrées doivent être forcées à une certaine valeur et toutes les autres doivent être observées pendant
simulation.
La partie description est un ensemble de modèles, où chaque modèle définit la valeur des entrées
et sorties. Le numéro de modèle représente en fait le temps absolu pour le simulateur.
De même, un génpat Le fichier peut être divisé en deux parties : la partie déclaration et la partie description.
Les fonctions liées à la déclaration doivent être appelées avant toute fonction liée à la
partie descriptive.
déclaration partie
La première chose à faire dans cette partie est de donner le nom du fichier de sortie
(voir DEF_GENPAT(3)). Ensuite, cette partie permet de déclarer les entrées, les
les sorties et les points d'observation internes (voir DÉCLARER(3)). Il est également possible de
créer des tableaux virtuels (voir TABLEAU(3)).
la description partie
Une fois tous les signaux déclarés, vous pouvez commencer à définir des valeurs d'entrée qui sont
à appliquer aux entrées du circuit ou aux valeurs de sortie qui doivent être
comparer avec les valeurs produites lors de la simulation. (voir AFFECTER(3)). Génpat
décrit le stimulus par événement : seules les transitions de signal sont décrites. Cette
partie vous permet également de donner des instructions à l'outil de simulation pour enregistrer le
état du circuit à la fin de la simulation. (voir SAUVEGARDER(3)). La dernière chose que tu
devrait faire dans cette partie est de générer le fichier de sortie (voir SAV_GENPAT(3)).
FONCTIONS
DEF_GENPAT() définit le nom du fichier de sortie.
SAV_GENPAT() faire en sorte que le fichier de sortie soit généré
DÉCLARER() déclare les entrées, les sorties et les points d'observation internes.
DÉPLOYER() permet de regrouper des signaux du même type dans un « tableau virtuel » dans
afin de faciliter leur manipulation
INIT() modifie les valeurs des registres entre deux motifs.
AFFECTER() attribue une valeur à un signal, à un numéro de motif donné. Cette valeur est conservée
sur le signal jusqu'à ce qu'une nouvelle valeur soit affectée au signal.
ENREGISTRER() informe l'outil de simulation de sauvegarder l'état du circuit en fin de
simulation
ÉTIQUETER() donne une étiquette au motif actuel
GETCPAT() renvoie le numéro du motif actuel
EXEMPLES
#inclut
#include "genpat.h"
char *inttostr(entier)
entier entier;
{
char * str;
str = (char *) mbkalloc (32 * sizeof (char));
sprintf (str, "%d",entier);
retour(chaîne);
}
/*-------------------------------*/
/* fin de la description */
/*-------------------------------*/
principale ()
{
int i;
entier j;
int cur_vect = 0 ;
DEF_GENPAT("exemple");
/* interface */
DECLARER ("a", ":2", "X", IN, "3 jusqu'à 0", "" );
DECLARER ("b", ":2", "X", IN, "3 jusqu'à 0", "" );
DECLARER ("s", ":2", "X", OUT, "3 jusqu'à 0", "" );
DECLARER ("vdd", ":2", "B", IN, "", "" );
DÉCLARER ("vss", ":2", "B", IN, "", "" );
LABEL ("additionneur");
AFFECT ("0", "vdd", "0b1");
AFFECT ("0", "vss", "0b0");
pour (i=0; i<16; i++)
{
pour (j=0; j<16; j++)
{
AFFECT (inttostr(cur_vect), "a", inttostr(i) );
AFFECT (inttostr(cur_vect), "b", inttostr(j) );
cur_vect++ ;
}
}
SAV_GENPAT();
}
ENVIRONNEMENT VARIABLES
Génpat lit la variable d'environnement VH_PATSFX pour donner une extension au fichier résultat.
Utilisez alliance-genpat en ligne en utilisant les services onworks.net
