all options
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ Source: verilator  ]

Package: verilator (3.856-1 and others)

Links for verilator

Screenshot

Debian Resources:

Download Source Package verilator:

Maintainers:

External Resources:

Similar packages:

fast free Verilog simulator

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.

Tags: Field: Electronics, Implemented in: C++, implemented-in::perl, interface::commandline, Role: Program, Purpose: Simulating

Other Packages Related to verilator

  • depends
  • recommends
  • suggests
  • enhances

Download verilator

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 3.856-1 2,218.6 kB12,091.0 kB [list of files]
amd64 3.856-1 2,192.3 kB8,778.0 kB [list of files]
arm64 (unofficial port) 3.856-1 1,998.3 kB8,678.0 kB [list of files]
armel 3.856-1 1,884.5 kB7,750.0 kB [list of files]
armhf 3.856-1 1,871.1 kB6,214.0 kB [list of files]
hppa (unofficial port) 3.856-1 2,531.8 kB13,992.0 kB [list of files]
hurd-i386 3.856-1 2,145.7 kB8,206.0 kB [list of files]
i386 3.856-1 2,143.1 kB8,132.0 kB [list of files]
kfreebsd-amd64 3.856-1 2,223.9 kB8,712.0 kB [list of files]
kfreebsd-i386 3.856-1 2,145.1 kB8,140.0 kB [list of files]
m68k (unofficial port) 3.856-1 1,703.6 kB8,004.0 kB [list of files]
mips 3.856-1 2,133.2 kB16,602.0 kB [list of files]
mipsel 3.856-1 2,226.4 kB16,614.0 kB [list of files]
powerpc 3.856-1 1,993.8 kB9,479.0 kB [list of files]
powerpcspe (unofficial port) 3.856-1 1,999.4 kB9,507.0 kB [list of files]
ppc64 (unofficial port) 3.856-1 2,070.9 kB11,498.0 kB [list of files]
s390x 3.856-1 2,200.9 kB10,830.0 kB [list of files]
sh4 (unofficial port) 3.856-1 2,179.0 kB9,202.0 kB [list of files]
sparc64 (unofficial port) 3.850-1 3,027.1 kB9,513.0 kB [list of files]
x32 (unofficial port) 3.855-1 2,233.7 kB8,536.0 kB [list of files]