asimut - Online nel Cloud

PROGRAMMA:

NOME

asimut - Uno strumento di simulazione per le descrizioni dell'hardware

SINOSSI

asimut [opzioni] [file_root] [file_modello] [file_risultato]

DESCRIZIONE

asimut è uno strumento di simulazione logica per le descrizioni dell'hardware. Compila e carica un file
descrizione completa dell'hardware scritta in VHDL (circuiti integrati ad altissima velocità
Linguaggio di descrizione hardware). La descrizione dell'hardware può essere strutturale (una gerarchia di
casi) o comportamentali. È supportato solo un sottoinsieme di VHDL. Descrizioni che non lo fanno
corrispondere a questo sottoinsieme causa un errore di sintassi durante la compilazione. Vedere vhdl(5) per dettagli
informazioni sul sottoinsieme supportato di VHDL.

Una volta caricata la descrizione dell'hardware, asimut cerca una descrizione del modello di simulazione
file. Questo file deve essere scritto colpetto formato. Il file viene compilato, caricato e collegato
con la descrizione dell'hardware. Successivamente viene avviata la simulazione. Quando i modelli sono
elaborato, un file di risultati in colpetto viene prodotto il formato.

Se è stata richiesta un'azione di salvataggio nel file di descrizione del modello (vedi colpetto (5)), asimut
crea anche un file di salvataggio che rappresenta lo stato della descrizione alla fine del file
simulazione dell'ultimo modello. Il file di salvataggio è denominato file_root.sav, dove file_root is
il nome della descrizione.

Il file di salvataggio può essere utilizzato in una sequenza di simulazione successiva per inizializzare lo stato del file
(stessa) descrizione dell'hardware prima dell'inizio della simulazione. Utilizzando questo meccanismo, un grande
sequenza di modelli può essere suddivisa in diverse piccole sequenze, ciascuna inizializzata
la descrizione dell'hardware con il file di salvataggio risulta dalla sequenza precedente.

asimut legge diversi parametri dalle variabili d'ambiente:

MBK_CATA_LIB elenco di directory contenenti file di descrizione e pattern (utilizzando
sintassi $PATH). Il percorso predefinito è la directory corrente (vedi MBK(1)).

MBK_WORK_LIB specifica la directory di lavoro corrente. La directory di lavoro
indica il luogo in cui vengono scritti tutti i file di output.

MBK_CTAL_NAME Indica il file in cui sono elencati i file di descrizione comportamentale.
Questo file viene utilizzato per sfogliare le celle di una descrizione strutturale. (vedi
MBK(1))

MBK_IN_LO estensione del file per l'entità strutturale. (vedere MBK(1))

VH_BEHSFX elenco di estensioni di file per entità comportamentali (utilizzando la sintassi $PATH).
L'estensione file predefinita è vbe.

VH_PATSFX elenco delle estensioni di file per le entità di descrizione del modello (utilizzando $PATH
sintassi). L'estensione file predefinita è colpetto.

VH_DLYSFX elenco delle estensioni di file per le entità di descrizione dei ritardi (usando $PATH
sintassi). L'estensione file predefinita è puntualmente.

VH_MAXERR numero massimo di errori consentiti durante la fase di simulazione. Se la
il numero di errori verificatisi durante la simulazione raggiunge VH_MAXERR, asimut
interrompe la simulazione al termine dell'elaborazione del modello corrente.
I modelli che seguono il modello corrente rimangono non elaborati e lo sono
riprodotto nel file dei risultati. Il valore predefinito di VH_MAXERR è 10.

file_root è il nome della descrizione.

Di default asimut cerca una descrizione strutturale. Utilizza il MBK_IN_LO ambiente
variabili per identificare sia il formato che l'estensione dei file di descrizione strutturale.
Per caricare file VHDL strutturali MBK_IN_LO deve essere impostato su vst.

Per caricare una pura descrizione comportamentale -b l'opzione deve essere specificata. In tal caso asimut
carica un file di descrizione VHDL del flusso di dati. IL VH_BEHSFX la variabile d'ambiente fornisce il file
estensioni da utilizzare.

file_modello è il nome dell'entità della descrizione del modello. Il file che contiene questo
l'entità deve essere nominata modello_file.ext , Dove ext è una delle estensioni specificate in
VH_PATSFX.

file_risultato è il file dei risultati prodotto da asimut. Il file risultato è un modello
file di descrizione con l'estensione specificata da VH_PATSFX.

VERSIONI

-b considera il file_root descrizione come descrizione comportamentale

-ritardo [minuto, max digitare] ritardo_file
utilizzare il file ritardo_file.ext per ritardi nell'annotazione, dove ext è uno dei
l'estensione specificata in VH_DLYSFX.

-bdd utilizzare BDD (Binary Decision Diagram) per rappresentare le espressioni. Utilizzando
questa opzione rende la simulazione due volte più veloce ma aumenta
requisito di memoria

-c eseguire solo la fase di compilazione

-nucleo core_file al primo errore riscontrato scarica lo stato del circuito in entrambi
un file ascii (con suffisso .cor) e un file di salvataggio binario (con suffisso .sav)
che può essere utilizzato come file di inizializzazione in una sessione successiva. Se la
-nore viene specificata l'opzione viene prodotto anche un file di pattern.

-dbg[sbpldc] chiamare il debugger (utilizzo dello sviluppatore)

-defaultdelay (-gg) vengono modificati solo i ritardi nulli (nessuna clausola after nel file VHDL) if
vengono specificati ritardi con annotazioni arretrate o ritardi fissi.

-ritardo fisso APPREZZIAMO (-fd valore)
tutti i ritardi della descrizione sono fissati APPREZZIAMO.

-h visualizzare questo file della guida

-i APPREZZIAMO inizializza tutti i segnali della descrizione con APPREZZIAMO. Valore può essere 0
o 1

-i salvare il file leggere un file di salvataggio e utilizzarlo per inizializzare lo stato della descrizione
prima di elaborare il primo pattern (il nome del file non può essere 1 né 0)

-ispezionare nome_istanza
produrre un file di modello corrispondente all'interfaccia dell'istanza
identificato da nome-istanza

-l n stampare al massimo n caratteri per le etichette dei modelli. Il valore predefinito per n
è 15.

-nore non generare il file dei risultati

-p n caricare al massimo n modelli dal file di pattern di input ogni volta. Usando questo
La funzionalità riduce l'allocazione di memoria quando sono presenti un gran numero di pattern
da simulare. Inoltre dopo il n i modelli sono stati elaborati,
il risultato della simulazione viene stampato nel file del modello dei risultati. IL
valore predefinito per n è 0 che fa caricare l'intero file di pattern.

-t tracciare i segnali durante la creazione di BDD (utilizzo da parte dello sviluppatore).

-trasporto utilizzare il modello di ritardo del trasporto (l'impostazione predefinita è inerziale).

-zero ritardo (-zd) si suppone che tutti i ritardi della descrizione VHDL siano ritardi nulli.

ESEMPIO

asimut -b -i init_add adder_32 adder_patterns res_add

simula una descrizione comportamentale contenuta nel file denominato 'adder_32.vbe utilizzando il pattern
file "adder_patterns.pat". I risultati della simulazione vengono scritti in "res_add.pat" e il file
la descrizione viene inizializzata con i valori contenuti in 'init_add.sav'.

DIAGNOSTICA

Le inizializzazioni dei registri nel file di pattern consentono di modificare il valore di un registro
un valore noto. Tuttavia, utilizzando questa funzionalità per inizializzare un registro prima di eseguire il file
il primo modello non è raccomandato. Registra il valore (definito dall'inizializzazione
istruzione) può essere sovrascritta poiché la descrizione non ha uno stato coerente prima della prima
pattern.

Utilizza asimut online utilizzando i servizi onworks.net