Paquet : covered (0.7.10-4) [debports]
Liens pour covered
Ressources Debian :
Télécharger le paquet source :
IntrouvableResponsables :
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.
Autres paquets associés à covered
|
|
|
|
-
- dep: libc6 (>= 2.34)
- bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
-
- 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
Télécharger covered
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| ppc64 (portage non officiel) | 504,3 ko | 3 029,0 ko | [liste des fichiers] |