deb_control_files:
- control
- md5sums
deb_fields:
Architecture: arm64
Depends: libc6 (>= 2.34), libtcl8.6 (>= 8.6.0), libtk8.6 (>= 8.6.0), zlib1g (>=
1:1.1.4), tklib
Description: |-
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.
Homepage: http://covered.sourceforge.net/
Installed-Size: '2501'
Maintainer: Debian Electronics Team <pkg-electronics-devel@lists.alioth.debian.org>
Package: covered
Priority: optional
Recommends: iverilog | verilog | gplcver (>= 2.12a-1.1)
Section: electronics
Version: 0.7.10-5
srcpkg_name: covered
srcpkg_version: 0.7.10-5