Les simulateurs

Icarus Verilog

Un simulateur Verilog GPL en développement actif. Il supporte Verilog IEEE-1364, et quelques unes des extensions Verilog 2001. Il tourne sous Windows / Linux.
Dans la version Windows, il génère un code virtuel qui est ensuite exécuté dans une machine virtuelle.
Dans la version Linux, il peut aussi générer directement un fichier exécutable, qui est ensuite lancé pour effectuer la simulation.

Il permet aussi de synthétiser du Verilog, mais pour un nombre de cibles limité...

Exemple de simulation :

iverilog testbench.v adder.v -o sim
./sim

Icarus Verilog est installé sur toutes les machines Linux du département COMELEC.

Pour plus d'informations, voir le site web d'Icarus Verilog.

 
Cver

Cver est un simulateur Verilog distribué sous license GPL. Le développement de cette version a été arrêté, et continue pour une version payante. Il supporte la totalité de la nome IEEE 1364-1995, et la majorité des extensions 2001, dont les trois interfaces PLI (tf_, acc_ et vpi_).

Il est aussi installé sur les machines du département COMELEC. Il interprète directement Verilog, sans passer par un exécutable.

Attention : il est nécessaire d'utiliser au moins la version 2.11a. Les version antérieures possèdent un bug majeur dans le scheduler !

Exemple de simulation :

cver testbench.v adder.v

Pour plus d'informations, voir le site web de Cver .

 

Modelsim

Modelsim est un simulateur mixte (Verilog, VHDL et SystemC) commercial. Il est aussi installé sur les machines du département COMELEC.
Pour l'utilisation de Modelsim, on pourra se référer au lien suivant uniquement accessible localement: file:///comelec/softs/opt/mentor/modelsim/current/docs/htmldocs/wwhelp.htm (copiez le lien), au site de Modelsim, ou au tutorial.

Exemple de simulation :

vlib work
vlog +acc adder.v
vlog +acc testbench.v
vsim test

Back to Top

Les outils graphiques

IVI

Un front-end interactif graphique libre pour Cver ou Icarus Verilog. Il permet à l'utilisateur de contrôler graphiquement la simulation et de visionner les chronogrammes au fur et à mesure de leur production par la simulation.

Fonctionne sous Linux. Plus d'informations ici.


GtkWave

Un visionneur de chronogrammes libre. Il fonctionne sous Linux et Windows. Il permet de visionner les fichiers de chronogrammes *.vcd produits par Cver ou Icarus Verilog.
Il est installé sur toutes les machines Linux du département COMELEC.

Exemple d'utilisation :

gtkwave dump.vcd

 

Back to Top

Le reste...

Pour plus d'informations, vous pouvez consulter

Back to Top