GitHub - smpaiagua/covered: Covered is a Verilog code coverage utility using VCD/LXT/FST dumpfiles (or VPI interface) and the design to generate line, toggle, memory, combinational logic, FSM state/arc and assertion coverage report metrics viewable via GUI or ASCII format.

smpaiagua / covered Public

forked from chiphackers/covered

Notifications You must be signed in to change notification settings
Fork 0
Star 1

Covered is a Verilog code coverage utility using VCD/LXT/FST dumpfiles (or VPI interface) and the design to generate line, toggle, memory, combinational logic, FSM state/arc and assertion coverage report metrics viewable via GUI or ASCII format.

GPL-2.0 license

1 star 9 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 2,394 Commits
diags		diags
doc		doc
lib		lib
scripts		scripts
src		src
.gitignore		.gitignore
AUTHORS		AUTHORS
COPYING		COPYING
ChangeLog		ChangeLog
INSTALL		INSTALL
Makefile.am		Makefile.am
Makefile.in		Makefile.in
NEWS		NEWS
README		README
TODO		TODO
acinclude.m4		acinclude.m4
aclocal.m4		aclocal.m4
config.guess		config.guess
config.h.in		config.h.in
config.sub		config.sub
configure		configure
configure.in		configure.in
covered.spec		covered.spec
depcomp		depcomp
install-sh		install-sh
missing		missing
mkinstalldirs		mkinstalldirs
release.in		release.in
stamp-h.in		stamp-h.in

Repository files navigation

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 has been installed.
* Version information about Covered can be found by typing "covered -v" after Covered
  has been installed.

For Development documentation...

* HTML and LaTex are generated (if the doxygen -- http://www.doxygen.org -- utility exists
  in the user's bin path).
* HTML format can be found at ./doc/devel/html/index.html.
* LaTex format can be found at ./doc/devel/latex
* PDF format can be generated by following the following steps:

  1.  cd doc/devel/latex
  2.  make pdf   (the PDF file will be called refman.pdf)

For GUI documentation...

* The GUI User's Guide is available in HTML form at ./doc/html/index.html.
* This documentation can also be accessed by clicking on the "Help->User Guide" menu item 

The Covered website is located... 

* For members of SourceForge, you can get the project page at
  http://sourceforge.net/projects/covered

  - can submit/review bug reports
  - get to mailing lists
  - see CVS repository
  - check out other project related stuff

* Homepage can be found at
  http://covered.sourceforge.net