Introduzione all'uso combinato di Gezel con un simulatore VHDL

Esercitazione 01 di Sistemi dedicati

Docente: Giuseppe Scollo

Università di Catania
Dipartimento di Matematica e Informatica
Corso di Laurea Magistrale in Informatica, AA 2017-18

argomenti dell'esercitazione

in questa esercitazione si trattano:

modelli di hardware in Gezel: caratteristiche, limiti, usi pratici
installazione del software Gezel
traduzione di modelli Gezel in modelli VHDL
installazione del software Quartus
compilazione, analisi e tuning di modelli VHDL in Quartus
creazione di forme d'onda di test in Quartus
simulazione funzionale con il ModelSim di Quartus

modelli di hardware in Gezel

circuiti digitali sincroni a singolo clock, composti da interconnessione di:

reti combinatorie
flip-flop

dunque anche componenti di largo uso quali: registri, addizionatori, multiplatori ecc.

livello di astrazione: cicli di clock, modelli RTL

non si possono modellare: circuiti asincroni, con latch, con clock multifase ecc.

i modelli RTL sono comunque sufficienti in gran parte di casi pratici, per descrivere realizzazioni hardware di algoritmi

esempio:

Schema di un componente hardware

Modello Gezel del componente hardware

Comportamento del componente hardware

Schaumont, Fig. 1.1 - Modelli e comportamento di un componente hardware

esempio: traiettorie di Collatz

riconsideriamo l'esempio visto nella prima lezione:

Datapath hardware per la traiettoria di Collatz da <i>x</i><sub>0</sub>

dp collatz ( in start : ns(1) ; in x0 : ns(16) ;
out t ns(32)) {
reg r : ns(32) ;
sig x : ns(32) ;
always {
t = r ;
x = start ? x0 : r ;
r = x[0] ? x + (x >> 1) + 1 : x >> 1 ;
}
}

che uso possiamo farne?

e.g., come possiamo visualizzare il suo comportamento?

gli strumenti di sviluppo industriali richiedono descrizioni in linguaggi standard, quali VHDL o Verilog...

traduzione automatica in VHDL e simulazione

il generatore di codice della piattaforma Gezel produce una traduzione in VHDL sintetizzabile

esperienza di laboratorio:

installare Gezel
reperire il file sorgente collatz.fdl contenente la descrizione Gezel dell'esempio
eseguire da linea di comando: fdlvhd collatz.fdl
installare Quartus Prime Lite 16.1 prodotto da Intel Corp. e lanciarlo, quindi in tale sistema:
creare un nuovo progetto di nome collatz
copiare i file .vhd prodotti al passo 3 nella cartella del progetto
assegnare i file suddetti al progetto e compilare
controllare eventuali messaggi di errore o warning
impostare il clock a una frequenza che assicuri un valore positivo per lo slack di caso peggiore
creare forme d'onda di test per il circuito, con un input di clock corrispondente alla frequenza del passo precedente e il valore 27 per l'inizio della traiettoria
lanciare l'esecuzione della simulazione funzionale
ripetere la simulazione per differenti valori di inizio della traiettoria

note operative

alcune note per l'esecuzione dell'esperienza su Ubuntu 16.04:

le note che seguono, in inglese, indicano alcuni accorgimenti pratici per superare piccoli problemi che altrimenti possono presentarsi nell'esecuzione dell'esperienza di laboratorio
- è disponibile il download dell'archivio ZIP di tutte le note

riferimenti

letture raccomandate:

Schaumont (2012) Cap. 1, Sez. 1.1.1; App. A.1
Quartus Prime Introduction Using VHDL Designs - For Quartus Prime 16.1; Intel FPGA University Program
Using TimeQuest Timing Analyzer - For Quartus Prime 16.1, Sez. 1-2, 4; Intel FPGA University Program

per ulteriore consultazione:

Schaumont (2012) App. A.2

altri materiali utili per l'esperienza di laboratorio proposta: