tüm seçenekler
buster  ] [  bullseye  ] [  sid  ]
[ Kaynak: covered  ]

Paket: covered (0.7.10-4 ve diğerleri)

covered için bağlantılar

Screenshot

Debian Kaynakları:

covered Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Benzer paketler:

Verilog code coverage analysis tool

Covered is a Verilog code coverage utility that reads in a Verilog design and a generated VCD/LXT dumpfile from that design and generates a coverage file that can be merged with other coverage files or used to create a coverage report. Covered also contains the GUI coverage report utility that reads in a coverage file to allow interactive coverage discovery. Areas of coverage measured by Covered are: line, toggle, memory, combinational logic, FSM state/state-transition and assertion coverage.

Etiketler: Alan: Elektronik, Geliştirildiği dil: C, Kullanıcı Arayüzü: interface::commandline, interface::graphical, X Pencere Sistemi, Rol: Program, Arayüz Araç Takımı: uitoolkit::tk, use::viewing, X Pencere Sistemi: Uygulama

covered ile İlgili Diğer Paketler

  • bağımlılıklar
  • tavsiye edilen
  • önerilen
  • enhances

covered indir

Tüm mevcut mimariler için indir
Mimari Sürüm Paket Boyutu Kurulu Boyut Dosyalar
alpha (resmi olmayan port) 0.7.10-4 507,0 kB2.759,0 kB [dosya listesi]
amd64 0.7.10-4 539,7 kB2.381,0 kB [dosya listesi]
arm64 0.7.10-4 469,8 kB2.437,0 kB [dosya listesi]
armel 0.7.10-4 459,9 kB2.216,0 kB [dosya listesi]
armhf 0.7.10-4 462,8 kB1.796,0 kB [dosya listesi]
hppa (resmi olmayan port) 0.7.10-4 503,0 kB2.358,0 kB [dosya listesi]
i386 0.7.10-4 532,0 kB2.528,0 kB [dosya listesi]
ia64 (resmi olmayan port) 0.7.10-4 591,7 kB4.022,0 kB [dosya listesi]
m68k (resmi olmayan port) 0.7.10-4 435,7 kB2.066,0 kB [dosya listesi]
mips64el 0.7.10-4 444,8 kB2.647,0 kB [dosya listesi]
ppc64 (resmi olmayan port) 0.7.10-4 504,3 kB3.029,0 kB [dosya listesi]
ppc64el 0.7.10-4 512,3 kB2.949,0 kB [dosya listesi]
riscv64 0.7.10-4+b1 515,9 kB2.214,0 kB [dosya listesi]
s390x 0.7.10-4 472,5 kB2.517,0 kB [dosya listesi]
sh4 (resmi olmayan port) 0.7.10-4 530,0 kB2.088,0 kB [dosya listesi]
sparc64 (resmi olmayan port) 0.7.10-4 436,4 kB4.703,0 kB [dosya listesi]
x32 (resmi olmayan port) 0.7.10-4 526,5 kB2.186,0 kB [dosya listesi]