verilator_3.833-1_i386.deb


Advertisement

Description

verilator - fast free Verilog simulator

Property Value
Distribution Debian 7 (Wheezy)
Repository Debian Main i386
Package name verilator
Package version 3.833
Package release 1
Package architecture i386
Package type deb
Installed size 7.45 KB
Download size 2.79 MB
Official Mirror ftp.br.debian.org
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.

Alternatives

Package Version Architecture Repository
verilator_3.833-1_amd64.deb 3.833 amd64 Debian Main
verilator - - -

Requires

Name Value
libc6 >= 2.4
libgcc1 >= 1:4.1.1
libstdc++6 >= 4.6

Download

Type URL
Binary Package verilator_3.833-1_i386.deb
Source Package verilator

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install verilator deb package:
    # sudo apt-get install verilator

Files

Path
/usr/bin/verilator
/usr/bin/verilator_bin
/usr/bin/verilator_bin_dbg
/usr/bin/verilator_profcfunc
/usr/share/doc-base/verilator
/usr/share/doc/verilator/TODO.gz
/usr/share/doc/verilator/changelog.Debian.gz
/usr/share/doc/verilator/changelog.gz
/usr/share/doc/verilator/copyright
/usr/share/doc/verilator/internals.txt.gz
/usr/share/doc/verilator/verilator.html
/usr/share/doc/verilator/verilator.pdf.gz
/usr/share/doc/verilator/verilator.txt.gz
/usr/share/doc/verilator/examples/test_c/Makefile
/usr/share/doc/verilator/examples/test_c/Makefile_obj
/usr/share/doc/verilator/examples/test_c/sim_main.cpp
/usr/share/doc/verilator/examples/test_c/vlt_dump.vcd
/usr/share/doc/verilator/examples/test_sc/Makefile
/usr/share/doc/verilator/examples/test_sc/Makefile_obj
/usr/share/doc/verilator/examples/test_sc/sc_main.cpp
/usr/share/doc/verilator/examples/test_sp/Makefile
/usr/share/doc/verilator/examples/test_sp/Makefile_obj
/usr/share/doc/verilator/examples/test_v/input.vc
/usr/share/doc/verilator/examples/test_v/t.v
/usr/share/doc/verilator/examples/test_v/t_chg.v
/usr/share/doc/verilator/examples/test_v/t_clk.v
/usr/share/doc/verilator/examples/test_v/t_clk_flop.v
/usr/share/doc/verilator/examples/test_v/t_clk_two.v
/usr/share/doc/verilator/examples/test_v/t_inst.v
/usr/share/doc/verilator/examples/test_v/t_inst_a.v
/usr/share/doc/verilator/examples/test_v/t_inst_b.v
/usr/share/doc/verilator/examples/test_v/t_netlist.v
/usr/share/doc/verilator/examples/test_v/t_param.v
/usr/share/doc/verilator/examples/test_v/t_param_a.v
/usr/share/doc/verilator/examples/test_v/t_param_b.v
/usr/share/doc/verilator/examples/test_v/top.v
/usr/share/man/man1/verilator.1.gz
/usr/share/man/man1/verilator_bin.1.gz
/usr/share/man/man1/verilator_bin_dbg.1.gz
/usr/share/man/man1/verilator_profcfunc.1.gz
/usr/share/verilator/bin/verilator_includer
/usr/share/verilator/include/verilated.cpp
/usr/share/verilator/include/verilated.h
/usr/share/verilator/include/verilated.mk
/usr/share/verilator/include/verilated.v
/usr/share/verilator/include/verilated_dpi.cpp
/usr/share/verilator/include/verilated_dpi.h
/usr/share/verilator/include/verilated_heavy.h
/usr/share/verilator/include/verilated_imp.h
/usr/share/verilator/include/verilated_sc.h
/usr/share/verilator/include/verilated_syms.h
/usr/share/verilator/include/verilated_vcd_c.cpp
/usr/share/verilator/include/verilated_vcd_c.h
/usr/share/verilator/include/verilated_vcd_sc.cpp
/usr/share/verilator/include/verilated_vcd_sc.h
/usr/share/verilator/include/verilated_vpi.cpp
/usr/share/verilator/include/verilated_vpi.h
/usr/share/verilator/include/verilatedos.h
/usr/share/verilator/include/vltstd/svdpi.h
/usr/share/verilator/include/vltstd/vpi_user.h

Changelog

2012-04-18 - أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy@sabily.org>
verilator (3.833-1) unstable; urgency=low
* New upstream release.
2012-03-08 - أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy@sabily.org>
verilator (3.832-1) unstable; urgency=low
* New upstream release.
* Bumped compat level to 9.
* debian/control: Updated Standards-Version to 3.9.3
* debian/copyright: Updated copyright format & years.
2012-02-11 - أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy@sabily.org>
verilator (3.831-1) unstable; urgency=low
* New upstream release.
* Refreshed patch: shebang.diff
2011-11-29 - أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy@sabily.org>
verilator (3.830-1) unstable; urgency=low
* New upstream release.
2011-10-26 - أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy@sabily.org>
verilator (3.824-1) unstable; urgency=low
* New upstream release.
2011-09-18 - أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy@sabily.org>
verilator (3.821-1) unstable; urgency=low
* New upstream release.
* Dropped Fix-PowerPC-runtime-error.patch patch as it is included in new
upstream release
* debian/copyright: Updated copyright format
2011-08-23 - أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy@sabily.org>
verilator (3.820-2) unstable; urgency=low
* Cherry-picked Fix-PowerPC-runtime-error.patch from upstream VCS
(Closes: #598256)
2011-07-31 - أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy@sabily.org>
verilator (3.820-1) unstable; urgency=low
* New upstream release.
2011-07-07 - أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy@sabily.org>
verilator (3.813-1) unstable; urgency=low
* New upstream release.
2011-04-09 - أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy@sabily.org>
verilator (3.812-1) unstable; urgency=low
* New upstream release.
* debian/copyright: Updated copyright years
* debian/control: Bumped Standards-Version to 3.9.2

See Also

Package Description
verilog_0.9.5-1_all.deb Icarus verilog compiler (transitional package)
veromix-common_0.18.3-1_all.deb Mixer for the PulseAudio sound server (common)
veromix_0.18.3-1_all.deb Mixer for the PulseAudio sound server (GTK+)
verse_0.22.6_i386.deb Daily Devotional Verse from KJV Bible
veusz-helpers_1.15-1_i386.deb Architecture-specific helper module for Veusz
veusz_1.15-1_all.deb 2D scientific plotting application with graphical interface
vflib3-bin_3.6.14.dfsg-3+b1_i386.deb Sample programs using VFlib3
vflib3-dev_3.6.14.dfsg-3+b1_i386.deb Development files for VFlib3
vflib3-doc_3.6.14.dfsg-3_all.deb Documentation for VFlib3
vflib3_3.6.14.dfsg-3+b1_i386.deb Versatile Font Library
vftool_2.0alpha-4.1_i386.deb a tool to generate VF files for dvi2ps/dvi2dvi
vfu_4.10-1.1_i386.deb A versatile text-based filemanager
vgabios_0.7a-3_all.deb VGA BIOS software for the Bochs and Qemu emulated VGA card
vgrabbj_0.9.6-5.1_i386.deb grabs an image from a camera and puts it in jpg/png format
via-bin_2.0.4-2_i386.deb tools for volumetric image analysis
Advertisement
Advertisement