Filewatcher File Search File Search
Catalog
Content Search
» » » » »

covered

Verilog code coverage analysis tool

Variants:
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:
Package version:0.7.10-1
Architecture:i386
Distribution:Debian
Filename:covered_0.7.10-1_i386.deb

/usr/share/doc/covered/README

For information regarding...

* the installation of Covered, see the INSTALL file.
* a list of the developers of Covered, see the AUTHORS file.
* the CVS change list, see the ChangeLog file.
* project-specific news, see the NEWS file.

For User documentation...

* User's Guide can be found in HTML form at ./doc/html/index.html.
* Command-line help can be found by typing "covered -h" after Covered 
more»

/usr/share/doc/covered/NEWS.gz

Covered-Related NEWS
====================

    * 12/2/2010

Stable release covered-0.7.10 made.  This release updates the FST library to the latest version which contains some fixes and
enhancements.


/usr/share/man/man1/covered.1.gz

Covered(1)                  Code Analysis                 Covered(1)



NAME
       Covered - Verilog Code Coverage Analyzer

SYNTAX
       covered [global_options] score [options]
       covered  [global_options]  merge  [options] existing_database
       database_to_merge+
       covered [global_options] report [options] database_file
       covered  [global_options]  rank  [options]   database_
more»

/usr/share/doc/covered/changelog.Debian.gz

covered (0.7.10-1) unstable; urgency=low

  * New upstream release.
  * Refreshed manpage.diff patch
more»

/usr/share/doc/covered/changelog.gz

2010-12-02 00:48  phase1geo

	Updating files to 0.7.10 version for next stable release.

2010-11-30 
more»

/usr/share/doc/covered/TODO

The following items are known to be problems in the current code that need to be fixed
or features t
more»

/usr/share/doc/covered/copyright

Format-Specification: http://dep.debian.net/deps/dep5/
Name: covered
Maintainer: Trevor Williams <ph
more»

Browse inside covered_0.7.10-1_i386.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (3)  65535+ mirrors

Download covered_0.7.10-1_i386.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com