[Pkg-electronics-devel] RFS: NEW: verilator 3.801-1
أحمد المحمودي
aelmahmoudy at sabily.org
Wed Apr 21 17:50:53 UTC 2010
I am looking for a sponsor for my package "verilator".
This package is NEW to Debian. The ITP number is: 577187
* Package name : verilator
Version : 3.801
Debian Revision : 1
Upstream Author : Wilson Snyder <wsnyder at wsnyder.org>
* URL : http://www.veripool.org/wiki/verilator
* License : Artistic-2.0 or LGPL-3
Languages : C++, Perl
Long description:
Verilator is the fastest free Verilog HDL simulator, and beats many commercial
simulators. It compiles synthesizable Verilog (not test-bench code!), plus
some PSL, SystemVerilog and Synthesis assertions into C++ or SystemC code.
It is designed for large projects where fast simulation performance is of
primary concern, and is especially well suited to generate executable models
of CPUs for embedded software design teams.
This package is based on the work of Iztok Jeras [1], actually I
started working on it upon his suggestion. I'd like to list the pros &
cons of this software to help decide wether it should enter Debian or
not:
== Pros ==
* It supports more SystemVerilog than any other open source simulator,
and it has integrated coverage support (although there might be some
dependency problems that should be tested).
* Support for SystemC (I don't think Icarus supports that).
There is an issue though, is that it needs to be compiled against
SystemC to get the SystemC functionality, and SystemC is not
available yet.
* It is faster simulator than Icarus Verilog
* It is actively maintained (compared to gplcver, which is also faster
than Icarus, but maintainer stopped maintaining, and actually removed
it from his website)
== Cons ==
* Does not supporting behavioural verilog code, except for something
like clock & reset generation.
It builds these binary packages:
verilator - fast free Verilog simulator
The latest entry in the Debian changelog is:
verilator (3.801-1) unstable; urgency=low
* New upstream release (Closes: #577187)
* Switched to 3.0 (quilt) source format.
* debian/control:
+ Set pkg-electronics as Maintainer and add myself to Uploaders.
+ Bumped Standards-Version to 3.8.4
+ Added proper Vcs-* fields.
+ Removed "the" from package description.
* debian/docs:
+ Remove README & readme.pod since they do not provide useful information
to user.
+ Added verilator.html & verilator.pdf
* debian/watch: set the upstream URL to one that can be checked.
* Added manpage for verilator_profcfunc
* Added debian/links
* Added debian/doc-base
* Added debian/manpages
* Remove debian/dirs
* debian/rules:
+ No more need to override dh_auto_test since upstream now skips SystemC
tests if SystemC is not installed.
+ No need to override dh_auto_install
* Added install_perms.diff patch to install data files without executable
permissions.
* Added typos.diff patch to fix some spelling mistakes in verilator
executable & manpage.
* Added shebang.diff patch to add proper shebangs.
* debian/copyright:
+ Converted to machine-readable format.
+ Changed packaging license to match that of upstream.
As required, I tested the package against unstable's version of lintian and it
is lintian clean.
The package can be found on git:
ssh://git.debian.org/git/pkg-electronics/verilator.git
I would be glad if someone uploaded this package for me.
Kind regards,
[1] https://launchpad.net/~iztok.jeras/+archive/ppa/+packages
--
أحمد المحمودي (Ahmed El-Mahmoudy)
Digital design engineer
GPG KeyID: 0xEDDDA1B7 (@ subkeys.pgp.net)
GPG Fingerprint: 8206 A196 2084 7E6D 0DF8 B176 BC19 6A94 EDDD A1B7
More information about the Pkg-electronics-devel
mailing list