toutes les options
[  bullseye  ] [  trixie  ] [  forky  ] [  sid  ]
[ Paquet source : covered  ]

Paquet : covered (0.7.10-5)

Liens pour covered

Screenshot

Ressources Debian :

Télécharger le paquet source covered :

Responsables :

Ressources externes :

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

Télécharger covered

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
amd64 544,2 ko2 409,0 ko [liste des fichiers]
arm64 463,7 ko2 501,0 ko [liste des fichiers]
armhf 465,4 ko1 828,0 ko [liste des fichiers]
i386 533,6 ko2 544,0 ko [liste des fichiers]
ppc64el 512,5 ko2 949,0 ko [liste des fichiers]
riscv64 511,8 ko2 181,0 ko [liste des fichiers]
s390x 519,4 ko2 565,0 ko [liste des fichiers]