Paquet : verilator (5.032-1 et autres)

[ Paquet source : verilator  ]

simulateur Verilog libre et rapide

Verilator est le simulateur Verilog HDL libre le plus rapide, dépassant beaucoup de simulateurs commerciaux. Il compile du Verilog synthétisable (mais pas du code de banc d’essai !), plus quelques assertions PSL, SystemVerilog ou Synthesis dans du code C++ ou SystemC. Il est conçu pour de vastes projets où des performances rapides de simulation sont le souci principal, et il convient parfaitement pour créer des modèles d’exécutables de CPU pour des équipes concevant des logiciels embarqués.

Étiquettes: Domaine: Électronique, Mis en œuvre en: C++, implemented-in::perl, interface::commandline, Rôle: Programme, But: Simulation

Autres paquets associés à verilator

• dep: ccache

  Compiler cache for fast recompilation of C/C++ code

• dep: g++

  compilateur C++ GNU

• dep: libc6 (>= 2.38)

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par libc6-udeb

• dep: libjs-sphinxdoc (>= 8.1)

  prise en charge de JavaScript pour la documentation de Sphinx

• dep: perl

  langage de rapports et d'extractions pratiques de Larry Wall

• dep: python3

  interactive high-level object-oriented language (default python3 version)

• dep: sphinx-rtd-theme-common (>= 3.0.2+dfsg)

  sphinx theme from readthedocs.org (common files)

• rec: libsystemc-dev

  Development files for SystemC library

• sug: gtkwave

  afficheur de fichier d'onde VCD (« Value Change Dump »)

Télécharger verilator

Télécharger pour toutes les architectures proposées

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	5.032-1+b1	7 397,2 ko	33 157,0 ko	[liste des fichiers]
arm64	5.032-1+b1	6 659,4 ko	33 836,0 ko	[liste des fichiers]
armel	5.032-1+b1	6 171,6 ko	27 495,0 ko	[liste des fichiers]
armhf	5.032-1+b1	6 142,7 ko	22 247,0 ko	[liste des fichiers]
i386	5.032-1+b1	7 581,8 ko	30 687,0 ko	[liste des fichiers]
mips64el	5.032-1+b1	6 523,0 ko	44 047,0 ko	[liste des fichiers]
ppc64el	5.032-1+b1	7 147,8 ko	39 020,0 ko	[liste des fichiers]
riscv64	5.032-1	7 374,8 ko	30 035,0 ko	[liste des fichiers]
s390x	5.032-1+b1	7 063,2 ko	34 708,0 ko	[liste des fichiers]