Paquet : covered (0.7.10-6 et autres)

Liens pour covered

Ressources Debian :

Télécharger le paquet source covered :

Responsables :

Ressources externes :

Page d'accueil [covered.sourceforge.net]

Paquets similaires :

outil d’analyse de couverture de code Verilog

Covered est un utilitaire de couverture de code Verilog qui lit une conception Verilog et un fichier généré de vidage VCD/LXT, et crée un fichier de couverture pouvant être fusionné avec d’autres fichiers ou utilisé pour générer un rapport de couverture. Covered fournit aussi un utilitaire graphique de rapport de couverture qui lit dans un fichier de couverture pour permettre une exploration interactive de couverture. Les domaines de couverture mesurés par Covered sont la couverture de lignes, de bascules, de mémoires, de logique combinatoire, les transitions d’état à état de machine à états fines et les assertions.

Étiquettes: Domaine: Électronique, Mis en œuvre en: C, Interface utilisateur: interface::commandline, interface::graphical, Système X Window, Rôle: Programme, Boîte à outils d'interface utilisateur: uitoolkit::tk, use::viewing, Système X Window: Application

Autres paquets associés à covered

dépendances

recommandations

suggestions

enhances

dep: libc6 (>= 2.34) [non alpha, ia64, loong64, sh4]

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

dep: libc6 (>= 2.41) [loong64, sh4]
dep: libc6.1 (>= 2.34) [alpha]

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

dep: libc6.1 (>= 2.36) [ia64]
dep: libtcl8.6 (>= 8.6.0)

Tcl (the Tool Command Language) v8.6 - run-time library files
dep: libtk8.6 (>= 8.6.0)

Tk toolkit for Tcl and X11 v8.6 - run-time files
dep: tklib

standard Tk Library
dep: zlib1g (>= 1:1.1.4)

Bibliothèque de compression - binaires

rec: iverilog

compilateur Verilog Icarus

ou verilog

paquet virtuel fourni par iverilog

ou gplcver (>= 2.12a-1.1)

Verilog simulator

Télécharger covered

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	0.7.10-6	432,6 ko	2 695,0 ko	[liste des fichiers]
amd64	0.7.10-6	495,6 ko	2 377,0 ko	[liste des fichiers]
arm64	0.7.10-6	432,7 ko	2 501,0 ko	[liste des fichiers]
armel	0.7.10-6	432,5 ko	2 472,0 ko	[liste des fichiers]
armhf	0.7.10-6	433,9 ko	1 960,0 ko	[liste des fichiers]
hppa (portage non officiel)	0.7.10-6	451,6 ko	2 350,0 ko	[liste des fichiers]
i386	0.7.10-6	486,0 ko	2 520,0 ko	[liste des fichiers]
ia64 (portage non officiel)	0.7.10-4	591,7 ko	4 022,0 ko	[liste des fichiers]
loong64 (portage non officiel)	0.7.10-6	452,5 ko	2 501,0 ko	[liste des fichiers]
m68k (portage non officiel)	0.7.10-6	410,1 ko	2 025,0 ko	[liste des fichiers]
mips64el	0.7.10-6	402,2 ko	2 652,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	0.7.10-6	451,0 ko	2 965,0 ko	[liste des fichiers]
ppc64el	0.7.10-6	456,5 ko	2 821,0 ko	[liste des fichiers]
riscv64	0.7.10-6	480,6 ko	2 185,0 ko	[liste des fichiers]
s390x	0.7.10-6	446,8 ko	2 549,0 ko	[liste des fichiers]
sh4 (portage non officiel)	0.7.10-6	465,6 ko	2 087,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	0.7.10-5	435,1 ko	4 703,0 ko	[liste des fichiers]
x32 (portage non officiel)	0.7.10-6	475,6 ko	2 174,0 ko	[liste des fichiers]