debian/0000755000000000000000000000000011500162523007161 5ustar debian/watch0000644000000000000000000000043011500160101010175 0ustar version=3 http://sf.net/covered/covered-(0.*)\.tar\.gz opts="filenamemangle=s_.*(covered-[0-9.]+\.tar\.gz).*_$1_" \ http://sourceforge.net/projects/covered/files/ \ http://sourceforge.net/projects/covered/files/covered-stable/covered-[0-9.]+/covered-([0-9.]+).tar.gz/download debian/rules0000755000000000000000000000030711500160101010227 0ustar #!/usr/bin/make -f %: dh $@ override_dh_auto_configure: dh_auto_configure -- --with-iv=/usr --with-cver=/usr/include/cver LDFLAGS="$(LDFLAGS) -Wl,--as-needed" override_dh_auto_test: make check debian/control0000644000000000000000000000367711500160101010567 0ustar Source: covered Section: electronics Priority: optional Maintainer: Debian Electronics Team Uploaders: أحمد المحمودي (Ahmed El-Mahmoudy) DM-Upload-Allowed: yes Build-Depends: debhelper (>= 7.0.50~), autotools-dev, flex, bison, gperf, tcl8.5-dev, tk8.5-dev, libxft2-dev, iverilog | verilog, gplcver (>= 2.12a-1.1) Standards-Version: 3.9.1 Homepage: http://covered.sourceforge.net/ Vcs-Git: git://git.debian.org/git/pkg-electronics/covered.git Vcs-Browser: http://git.debian.org/?p=pkg-electronics/covered.git Package: covered Architecture: any Depends: ${shlibs:Depends}, ${misc:Depends}, tklib Recommends: iverilog | verilog | gplcver (>= 2.12a-1.1) 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. Package: covered-doc Section: doc Architecture: all Depends: ${misc:Depends} Description: Verilog code coverage analysis tool - documentation 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. . This package contains the documentation. debian/compat0000644000000000000000000000000211500160101010345 0ustar 7 debian/patches/0000755000000000000000000000000011500160101010576 5ustar debian/patches/outdated_config.diff0000644000000000000000000000144611500160101014573 0ustar Description: Patch config.{sub,guess} to call their up-to-date versions. Author: أحمد المحمودي (Ahmed El-Mahmoudy) --- a/config.guess +++ b/config.guess @@ -1,4 +1,8 @@ #! /bin/sh +if [ -x /usr/share/misc/config.guess ]; then + exec /usr/share/misc/config.guess "$@" +fi + # Attempt to guess a canonical system name. # Copyright (C) 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, # 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008 --- a/config.sub +++ b/config.sub @@ -1,4 +1,8 @@ #! /bin/sh +if [ -x /usr/share/misc/config.sub ]; then + exec /usr/share/misc/config.sub "$@" +fi + # Configuration validation subroutine script. # Copyright (C) 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, # 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008 debian/patches/manpage.diff0000644000000000000000000000147111500160101013043 0ustar Description: Escape a hyphen Forwarded: https://sourceforge.net/tracker/?group_id=51103&atid=462089 Author: أحمد المحمودي (Ahmed El-Mahmoudy) --- a/doc/covered.1 +++ b/doc/covered.1 @@ -349,7 +349,7 @@ .TP If you are compiling a NC-Verilog simulation, switch to NC-Verilog's irun command to load the covered shared object: '\-loadvpi /usr/local/libexec/covered.ncv.so:covered_register' and enable all access with '\-access +rwc'. You can hardcode the $covered_sim call into your RTL or you can run it dynamically using the CLI, by adding the \-input input.tcl switch to irun. Where the input.tcl file looks like the following and tb.dut is the coverage instance: .br -call -systf {$covered_sim} {"scored.cdd"} tb.dut +call \-systf {$covered_sim} {"scored.cdd"} tb.dut .br run .TP debian/patches/series0000644000000000000000000000004211500160101012007 0ustar outdated_config.diff manpage.diff debian/source/0000755000000000000000000000000011500160101010447 5ustar debian/source/format0000644000000000000000000000001411500160101011655 0ustar 3.0 (quilt) debian/README.source0000644000000000000000000000013611500160101011326 0ustar The used patch system is quilt. See /usr/share/doc/quilt/README.source for more information. debian/covered.install0000644000000000000000000000013111500160101012161 0ustar usr/bin/ usr/share/covered/scripts/ usr/share/man/ usr/lib/ usr/share/covered/.coveredrc debian/copyright0000644000000000000000000000546511500160101011114 0ustar Format-Specification: http://dep.debian.net/deps/dep5/ Name: covered Maintainer: Trevor Williams Source: http://covered.sourceforge.net Copyright: 2006-2009, Trevor Williams License: GPL-2+ On Debian systems, the complete text of the GNU GPL2 licenses can be found at `/usr/share/common-licenses/GPL-2'. Files: src/cexcept.h Copyright: 2000, Adam M. Costello and Cosmin Truta License: other Everyone is hereby granted permission to do whatever they like with this file, provided that if they modify it they take reasonable steps to avoid confusing or misleading people about the authors, version, and terms of use of the derived file. The copyright holders make no guarantees about the correctness of this file, and are not responsible for any damage resulting from its use. Files: src/lxt2_read.* Copyright: 2003-2004, Tony Bybell License: MIT Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions: The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software. THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. Files: debian/* Copyright: 2009, أحمد المحمودي (Ahmed El-Mahmoudy) License: GPL-2+ License: GPL-2+ This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with this program; if not, write to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. debian/changelog0000644000000000000000000000346711500160101011033 0ustar covered (0.7.10-1) unstable; urgency=low * New upstream release. * Refreshed manpage.diff patch. -- أحمد المحمودي (Ahmed El-Mahmoudy) Thu, 09 Dec 2010 15:56:49 +0200 covered (0.7.9-1) unstable; urgency=low * New upstream release. * debian/watch: Added a direct URL. * Bumped Standards-Version to 3.9.1, no changes needed. -- أحمد المحمودي (Ahmed El-Mahmoudy) Mon, 22 Nov 2010 17:51:27 +0200 covered (0.7.8-2) unstable; urgency=low * Updated my email address. * Change verilog dependency to iverilog | verilog -- أحمد المحمودي (Ahmed El-Mahmoudy) Wed, 28 Apr 2010 19:47:19 +0200 covered (0.7.8-1) unstable; urgency=low * New upstream release. * Switch to 3.0 (quilt) source format * debian/control: + Bumped Standards-Version to 3.8.4, no changes needed + Updated my email address. * Refreshed patch outdated_config.diff * Added manpage.diff patch to escape a hyphen. -- أحمد المحمودي (Ahmed El-Mahmoudy) Mon, 05 Apr 2010 12:02:20 +0200 covered (0.7.7-1) unstable; urgency=low * New upstream release. * Removed tclscript_install.diff patch, as it got applied upstream. * Added outdated_config.diff patch for config.{sub,guess} to call their up-to-date versions. (Closes: #551138) -- أحمد المحمودي (Ahmed El-Mahmoudy) Thu, 29 Oct 2009 07:58:27 +0200 covered (0.7.6-1) unstable; urgency=low * Initial release (Closes: #539883) * Added tclscript_install.diff to + install Tcl scripts without setting the executable bit + remove shebang from main_view.tcl -- أحمد المحمودي (Ahmed El-Mahmoudy) Thu, 27 Aug 2009 20:22:43 +0300 debian/covered-doc.install0000644000000000000000000000002711500160101012730 0ustar usr/share/covered/doc/ debian/docs0000644000000000000000000000002111500160101010013 0ustar NEWS README TODO