asimut - Online în cloud

PROGRAM:

NUME

asimut - Un instrument de simulare pentru descrierile hardware

REZUMAT

asimut [Opțiuni] [fișier_rădăcină] [fișier_model] [fișier_rezultat]

DESCRIERE

asimut este un instrument de simulare logică pentru descrierile hardware. Compilează și încarcă a
descriere hardware completă scrisă în VHDL (circuite integrate de foarte mare viteză
Limbajul de descriere hardware). Descrierea hardware poate fi structurală (o ierarhie a
cazuri) sau comportamentale. Este acceptat doar un subset de VHDL. Descrieri care nu
potrivirea acestui subset provoacă o eroare de sintaxă în timpul compilării. Vedea vhdl(5) pentru detalii
informații despre subsetul acceptat de VHDL.

Odată ce o descriere hardware este încărcată, asimut caută o descriere a modelului de simulare
fişier. Acest fișier trebuie să fie scris bătaie format. Fișierul este compilat, încărcat și legat
cu descrierea hardware-ului. Apoi, se începe simularea. Când modelele sunt
procesat, un fișier rezultat în bătaie este produs formatul.

Dacă a fost solicitată o acțiune de salvare în fișierul de descriere a modelului (vezi bătaie (5)), asimut
creează, de asemenea, un fișier de salvare reprezentând starea descrierii la sfârșitul
simularea ultimului model. Fișierul de salvare este numit fişier_rădăcină.sav, unde fişier_rădăcină is
numele descrierii.

Fișierul de salvare poate fi folosit într-o secvență ulterioară de simulare pentru a inițializa starea
(aceeași) descriere hardware înainte de începerea simulării. Folosind acest mecanism, un mare
secvența de modele poate fi împărțită în mai multe secvențe mici, fiecare inițialându-se
descrierea hardware cu fișierul de salvare a rezultat din secvența anterioară.

asimut citește mai mulți parametri din variabilele de mediu:

MBK_CATA_LIB lista de directoare care conțin fișiere de descriere și modele (folosind
sintaxa $PATH). Calea implicită este directorul curent (vezi MBK(1)).

MBK_WORK_LIB specifică directorul de lucru curent. Directorul de lucru
indică locul în care sunt scrise toate fișierele de ieșire.

MBK_CATAL_NAME Indică fișierul în care sunt listate fișierele de descriere comportamentală.
Acest fișier este folosit pentru a lăsa celule cu o descriere structurală. (vezi
MBK(1))

MBK_IN_LO extensie de fișier pentru entitatea structurală. (vedea MBK(1))

VH_BEHSFX lista de extensii de fișiere pentru entitățile comportamentale (folosind sintaxa $PATH).
Extensia de fișier implicită este VBE.

VH_PATSFX lista de extensii de fișiere pentru entitățile de descriere a modelului (folosind $PATH
sintaxă). Extensia implicită de fișier este bătaie.

VH_DLYSFX lista de extensii de fișiere pentru entitățile de descriere a întârzierilor (folosind $PATH
sintaxă). Extensia implicită de fișier este dly.

VH_MAXERR numărul maxim de erori permise în faza de simulare. Dacă
numărul de erori apărute în timpul simulării ajunge la VH_MAXERR, asimut
oprește simularea la sfârșitul procesării modelului curent.
Modelele care urmează modelul curent rămân neprocesate și sunt
reprodus în fișierul rezultat. Valoarea implicită a VH_MAXERR este 10.

fişier_rădăcină este numele descrierii.

În mod implicit asimut caută o descriere structurală. Acesta folosește MBK_IN_LO mediu inconjurator
variabile pentru a identifica atât formatul, cât și extensia fișierelor de descriere structurală.
Pentru a încărca fișiere VHDL structurale MBK_IN_LO trebuie setat la VST.

Pentru a încărca o descriere pur comportamentală -b trebuie specificată opțiunea. In acest caz asimut
încarcă un fișier de descriere VHDL a fluxului de date. The VH_BEHSFX variabila de mediu dă
extensii care urmează să fie utilizate.

fişier_model este numele entității din descrierea modelului. Fișierul care conține aceasta
entitatea trebuie denumită model_file.ext , În cazul în care ext este una dintre extensiile specificate în
VH_PATSFX.

fişier_rezultat este fișierul rezultat produs de asimut. Fișierul rezultat este un model
fişier de descriere cu extensia specificată de VH_PATSFX.

OPŢIUNI

-b considera fişier_rădăcină descrierea ca descriere comportamentală

-întârziere înapoi [min, max, tip] fişier_întârziere
utilizați fișierul delay_file.ext pentru întârzieri backannotation, unde ext este unul dintre
extensia specificată în VH_DLYSFX.

-bdd utilizați BDD (Diagrama de decizie binară) pentru a reprezenta expresii. Folosind
această opțiune face ca simularea să fie de două ori mai rapidă, dar crește
cerința de memorie

-c rulați doar etapa de compilare

-miez core_file la prima eroare întâlnită, descărcați starea circuitului în ambele
un fișier ascii (cu sufixul .cor) și un fișier de salvare binar (cu sufixul .sav)
care poate fi folosit ca fișier de inițializare într-o sesiune ulterioară. Dacă
-nores opțiunea este specificată un fișier model este, de asemenea, produs.

-dbg[sbpldc] apelați depanatorul (utilizarea dezvoltatorului)

-întârziere implicită (-dd) numai întârzierile nule (fără clauză after în fișierul VHDL) sunt modificate dacă
sunt specificate întârzierile adnotate înapoi sau întârzierile fixe.

-întârziere fixă valoare (-fd valoare)
toate întârzierile descrierii sunt fixate la valoare.

-h afișați acest fișier de ajutor

-i valoare inițializați toate semnalele descrierii cu valoare. Valoare poate fi 0
sau 1

-i Salvează fișierul citiți un fișier de salvare și utilizați-l pentru a inițializa starea descrierii
înainte de procesarea primului model (numele fișierului nu poate fi 1 sau 0)

-inspecta nume_instanță
produce un fișier model corespunzător interfeței instanței
identificat prin nume-instanță

-l n tipăriți cel mult n caractere pentru etichetele modelului. Valoarea implicită pentru n
este 15.

-nores nu generați fișierul cu rezultate

-p n incarca cel mult n modele din fișierul model de intrare de fiecare dată. Folosind asta
caracteristica reduce alocarea memoriei atunci când există un număr mare de modele
pentru a fi simulat. În plus, după n modelele au fost procesate,
rezultatul simulării este tipărit în fișierul model rezultat. The
valoarea implicită pentru n este 0, ceea ce face ca întregul fișier de model să fie încărcat.

-t urmărirea semnalelor la realizarea BDD-urilor (utilizarea dezvoltatorului).

-transport utilizați modelul de întârziere a transportului (implicit este inerțial).

-zeroîntârziere (-zd) toate întârzierile descrierii VHDL ar trebui să fie întârzieri nule.

EXEMPLU

asimut -b -i init_add adder_32 adder_patterns res_add

simulează o descriere comportamentală păstrată în fișierul numit „adder_32.vbe folosind modelul
fișierul `adder_patterns.pat'. Rezultatele simulării sunt scrise în „res_add.pat” și în
descrierea este inițializată cu valorile conținute în „init_add.sav”.

DIAGNOSTIC

Inițializările registrului în fișierul de modele permit schimbarea valorii unui registru în
o valoare cunoscută. Cu toate acestea, folosind această caracteristică pentru a inițializa un registru înainte de a executa
primul model nu este recomandat. Înregistrează valoarea (definită de inițializare
declarație) poate fi suprascris deoarece descrierea nu are o stare coerentă înaintea primei
model.

Utilizați asimut online folosind serviciile onworks.net