[Blends-commit] r1736 - projects/science/trunk/debian-science/tasks

[Debian Pure Blends Subversion Commit]

Author: tille
Date: Thu Aug  6 06:23:52 2009
New Revision: 1736
URL: http://svn.debian.org/viewsvn/blends?rev=1736&view=rev

Log:
Added covered as prospective package - thanks to Ahmed El-Mahmoudy


Modified:
   projects/science/trunk/debian-science/tasks/electronics

Modified: projects/science/trunk/debian-science/tasks/electronics
URL: http://svn.debian.org/viewsvn/blends/projects/science/trunk/debian-science/tasks/electronics?rev=1736&view=diff&r1=1736&r2=1735&p1=projects/science/trunk/debian-science/tasks/electronics&p2=projects/science/trunk/debian-science/tasks/electronics
==============================================================================
--- projects/science/trunk/debian-science/tasks/electronics	(original)
+++ projects/science/trunk/debian-science/tasks/electronics	Thu Aug  6 06:23:52 2009
@@ -48,7 +48,7 @@
 WNPP: 516928
 Homepage: http://www.banu.com/herb
 License: GNU GPLv3
-Responsible: Ahmed El-Mahmoudy <aelmahmoudy at users.sourceforge.net>
+Responsible: أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy at users.sourceforge.net>
 Pkg-Description: complete set of CAD programs for design of VLSI circuits
  Herb is a complete set of CAD programs and libraries for the specification,
  design and validation of VLSI circuits. It includes a VHDL simulator, logic
@@ -62,3 +62,17 @@
     Verilog (output-only)
   * Symbolic layout: Alliance, COMPASS
   * Physical layout: CIF (output-only) and GDSII (output-only)
+
+Depends: covered
+WNPP: 539883
+Homepage: http://covered.sourceforge.net
+License: GNU GPLv2
+Responsible: أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy at users.sourceforge.net>
+Pkg-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.