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 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
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
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.
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
Pour plus d'informations, vous pouvez consulter
© Alexis Polti, COMELEC 2005