GitHub - chiphackers/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.

chiphackers / covered Public

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

30 stars 10 forks Branches Tags Activity

Star

Notifications

1 Branch 0 Tags

Name	Name	Last commit message	Last commit date
Latest commit udara28 Adding the patch https://sourceforge.net/p/covered/patches/2/ Oct 18, 2018 0746c17 · Oct 18, 2018 History 2,394 Commits
diags	diags	Fixing several issues with the new inline generator.	Aug 28, 2010
doc	doc	Adding the Covered banner to the top of each User Manual page.	Aug 5, 2010
lib	lib	Initial work to get FST dumpfile handling in. Things compile and the …	May 23, 2010
scripts	scripts	Starting to work on inlining toggle coverage into the main window (st…	Jul 19, 2010
src	src	Adding the patch https://sourceforge.net/p/covered/patches/2/	Oct 18, 2018
.gitignore	.gitignore	Adding gitignore file	Oct 18, 2018
AUTHORS	AUTHORS	Adding Jason Jorstad to the list of Covered developers.	Jun 13, 2009
COPYING	COPYING	Initial creation of Covered project.	Apr 19, 2002
ChangeLog	ChangeLog	Updates for new covered-20090802 development release.	Aug 2, 2009
INSTALL	INSTALL	Updating INSTALL file.	Jun 11, 2009
Makefile.am	Makefile.am	Starting to break VPI and RUN libraries apart.	Dec 3, 2009
Makefile.in	Makefile.in	Initial work to get FST dumpfile handling in. Things compile and the …	May 23, 2010
NEWS	NEWS	Updating the NEWS for the 0.7.8 stable release.	Mar 25, 2010
README	README	Updating files from stable branch.	May 6, 2009
TODO	TODO	Updating TODO list.	Nov 19, 2008
acinclude.m4	acinclude.m4	Integrating changes from development release branch to main developme…	Aug 18, 2008
aclocal.m4	aclocal.m4	Initial work to get FST dumpfile handling in. Things compile and the …	May 23, 2010
config.guess	config.guess	Updating build files per Ubuntu downstream needs.	Oct 17, 2009
config.h.in	config.h.in	Updating copyright information.	Apr 28, 2010
config.sub	config.sub	Updating build files per Ubuntu downstream needs.	Oct 17, 2009
configure	configure	Initial work to get FST dumpfile handling in. Things compile and the …	May 23, 2010
configure.in	configure.in	Integrating changes to support NC-Verilog with VPI.	Jan 5, 2010
covered.spec	covered.spec	Updating from stable branch.	May 11, 2009
depcomp	depcomp	Updating build files per Ubuntu downstream needs.	Oct 17, 2009
install-sh	install-sh	Updating build files per Ubuntu downstream needs.	Oct 17, 2009
missing	missing	Updating build files per Ubuntu downstream needs.	Oct 17, 2009
mkinstalldirs	mkinstalldirs	Updating build files per Ubuntu downstream needs.	Oct 17, 2009
release.in	release.in	Updating files from stable branch.	May 6, 2009
stamp-h.in	stamp-h.in	Adding patches for 64-bit compatibility. Reformatted parser.y for easier	Oct 29, 2002

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