asimut - En ligne dans le Cloud

PROGRAMME:

Nom

asimout - Un outil de simulation pour les descriptions matérielles

SYNOPSIS

asimout [choix] [fichier_racine] [fichier_modèle] [fichier_résultat]

DESCRIPTION

asimout est un outil de simulation logique pour les descriptions de matériel. Il compile et charge un
description complète du matériel écrite en VHDL (circuits intégrés à très haute vitesse
Langage de description du matériel). La description du matériel peut être structurelle (une hiérarchie de
cas) ou comportementales. Seul un sous-ensemble de VHDL est pris en charge. Des descriptions qui ne
correspondre à ce sous-ensemble provoque une erreur de syntaxe lors de la compilation. Voir vhdl(5) pour plus de détails
informations sur le sous-ensemble de VHDL pris en charge.

Une fois la description du matériel chargée, asimout recherche une description de modèle de simulation
déposer. Ce fichier doit être écrit dans caresse format. Le fichier est compilé, chargé et lié
avec la description du matériel. Ensuite, la simulation est lancée. Lorsque les motifs sont
traité, un fichier de résultat dans caresse format est produit.

Si une action de sauvegarde a été demandée dans le fichier de description du modèle (voir caresse (5)), asimout
crée également un fichier de sauvegarde représentant l'état de la description à la fin du
simulation du dernier motif. Le fichier de sauvegarde est nommé fichier_racine.sav, où fichier_racine is
le nom de la description.

Le fichier de sauvegarde peut être utilisé dans une séquence de simulation ultérieure pour initialiser l'état du
(même) description du matériel avant le début de la simulation. Grâce à ce mécanisme, une grande
séquence de motifs peut être divisée en plusieurs petites séquences, chacune initialisant
la description du matériel avec le fichier de sauvegarde résulte de la séquence précédente.

asimout lit plusieurs paramètres à partir des variables d'environnement :

MBK_CATA_LIB liste des répertoires contenant les fichiers de description et de modèle (en utilisant
$PATH syntaxe). Le chemin par défaut est le répertoire courant (voir mbk(1)).

MBK_WORK_LIB spécifie le répertoire de travail courant. Le répertoire de travail
indique l'endroit où tous les fichiers de sortie sont écrits.

MBK_CATAL_NAME Indique le fichier dans lequel les fichiers de description comportementale sont répertoriés.
Ce fichier est utilisé pour feuilleter les cellules d'une description structurelle. (voir
mbk(1))

MBK_IN_LO extension de fichier pour l'entité structurelle. (voir mbk(1))

VH_BEHSFX liste des extensions de fichiers pour les entités comportementales (en utilisant la syntaxe $PATH).
L'extension de fichier par défaut est vb.

VH_PATSFX liste des extensions de fichier pour les entités de description de modèle (en utilisant $PATH
syntaxe). L'extension de fichier par défaut est caresse.

VH_DLYSFX liste des extensions de fichiers pour les entités de description des retards (en utilisant $PATH
syntaxe). L'extension de fichier par défaut est délire.

VH_MAXERR nombre maximum d'erreurs autorisées pendant la phase de simulation. Si la
le nombre d'erreurs survenues lors de la simulation atteint VH_MAXERR, asimout
arrête la simulation à la fin du traitement du motif courant.
Les motifs suivant le motif actuel ne sont pas traités et sont
reproduit dans le fichier résultat. La valeur par défaut de VH_MAXERR est 10.

fichier_racine est le nom de la description.

Par défaut asimout cherche une description structurelle. Il utilise le MBK_IN_LO sûr, heureux et sain
variables pour identifier à la fois le format et l'extension des fichiers de description structurelle.
Pour charger des fichiers VHDL structurels MBK_IN_LO doit être réglé sur vst.

Pour charger une description comportementale pure -b l'option doit être spécifiée. Dans ce cas asimout
charge un fichier de description VHDL de flux de données. Les VH_BEHSFX variable d'environnement donne le
extensions à utiliser.

fichier_modèle est le nom d'entité de la description du modèle. Le fichier contenant ce
l'entité doit être nommée fichier_modèle.ext , Où poste est l'une des extensions spécifiées dans
VH_PATSFX.

fichier_résultat est le fichier résultat produit par asimout. Le fichier résultat est un modèle
fichier de description avec l'extension spécifiée par VH_PATSFX.

OPTIONS

-b Prendre en compte fichier_racine description comme description comportementale

-retard [min, max type] fichier_delay
utiliser le fichier fichier_delay.ext pour les retards de rétro-annotation, où poste fait partie de
l'extension spécifiée dans VH_DLYSFX.

-bdd utiliser des BDD (Binary Decision Diagram) pour représenter des expressions. À l'aide de
cette option rend la simulation deux fois plus rapide mais augmente
Mémoire nécessaire

-c exécuter uniquement l'étape de compilation

-coeur fichier_core à la première erreur rencontrée, vider l'état du circuit dans les deux
un fichier ascii (suffixe .cor) et un fichier de sauvegarde binaire (suffixe .sav)
qui peut être utilisé comme fichier d'initialisation dans une session ultérieure. Si la
-nores L'option est spécifiée, un fichier de signatures est également produit.

-dbg[sbpldc] appeler le débogueur (usage développeur)

- délai par défaut (-jj) seuls les délais nuls (pas de clause after dans le fichier VHDL) sont modifiés si
des retards rétro-annotés ou des retards fixes sont spécifiés.

-délai fixe Plus-value (-fd valeur)
tous les délais de la description sont fixés à Plus-value.

-h afficher ce fichier d'aide

-i Plus-value initialiser tous les signaux de la description avec Plus-value. Valeur peut être 0
ou 1

-i enregistrer_fichier lire un fichier de sauvegarde et l'utiliser pour initialiser l'état de la description
avant de traiter le premier motif (le nom du fichier ne peut pas être 1 ni 0)

-inspecter nom de l'instance
produire un fichier de signatures correspondant à l'interface de l'instance
identifié par nom de l'instance

-l n imprimer au maximum n caractères pour les étiquettes de motif. La valeur par défaut pour n
est 15.

-nores ne pas générer de fichier de résultat

-p n charge au maximum n modèles du fichier de modèle d'entrée à chaque fois. En utilisant ce
fonction réduit l'allocation de mémoire lorsqu'un grand nombre de modèles sont
à simuler. De plus après la n les motifs ont été traités,
le résultat de la simulation est imprimé dans le fichier de modèle de résultat. Les
valeur par défaut pour n est 0, ce qui fait que tout le fichier de modèle est chargé.

-t tracer des signaux lors de la création de BDD (utilisation développeur).

-le transport utiliser le modèle de délai de transport (la valeur par défaut est inertielle).

-zérodélai (-zd) tous les délais de la description VHDL sont supposés être des délais nuls.

EXEMPLE

asimut -b -i init_add adder_32 adder_patterns res_add

simule une description comportementale contenue dans le fichier nommé 'adder_32.vbe en utilisant le modèle
fichier `adder_patterns.pat'. Les résultats de la simulation sont écrits dans 'res_add.pat' et le
description est initialisée avec les valeurs contenues dans 'init_add.sav'.

DIAGNOSTIC

Les initialisations de registre dans le fichier de signatures permettent de changer la valeur d'un registre en
une valeur connue. Cependant, en utilisant cette fonction pour initialiser un registre avant d'exécuter le
le premier motif n'est pas recommandé. Valeur des registres (définie par l'initialisation
déclaration) peut être écrasée car la description n'a pas d'état cohérent avant le premier
motif.

Utilisez asimut en ligne en utilisant les services onworks.net