[ Source: verilator ]
Package: verilator (5.024-1 and others)
Links for verilator
Debian Resources:
Download Source Package verilator:
Maintainers:
External Resources:
- Homepage [www.veripool.org]
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.
Other Packages Related to verilator
|
|
|
|
-
- dep: libc6 (>= 2.29) [m68k, x32]
- GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.31) [sh4]
-
- dep: libc6.1 (>= 2.29) [alpha]
- GNU C Library: Shared libraries
also a virtual package provided by libc6.1-udeb
- dep: libc6.1 (>= 2.37) [ia64]
-
- dep: libjs-sphinxdoc (>= 5.2) [ia64]
- JavaScript support for Sphinx documentation
- dep: libjs-sphinxdoc (>= 7.4) [not alpha, ia64, m68k, sh4, x32]
-
- dep: perl [not alpha, m68k, sh4, x32]
- Larry Wall's Practical Extraction and Report Language
-
- dep: python3 [not alpha, m68k, sh4, x32]
- interactive high-level object-oriented language (default python3 version)
-
- dep: sphinx-rtd-theme-common (>= 1.2.2+dfsg) [ia64]
- sphinx theme from readthedocs.org (common files)
- dep: sphinx-rtd-theme-common (>= 2.0.0+dfsg) [not alpha, ia64, m68k, sh4, x32]
-
- rec: libsystemc-dev
- Development files for SystemC library
-
- sug: gtkwave
- VCD (Value Change Dump) file waveform viewer
Download verilator
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| alpha (unofficial port) | 4.038-1 | 4,195.0 kB | 20,285.0 kB | [list of files] |
| amd64 | 5.024-1+b2 | 1,405.5 kB | 4,191.0 kB | [list of files] |
| arm64 | 5.024-1+b2 | 1,405.3 kB | 4,191.0 kB | [list of files] |
| armel | 5.024-1+b2 | 1,405.1 kB | 4,191.0 kB | [list of files] |
| armhf | 5.024-1+b2 | 1,405.3 kB | 4,191.0 kB | [list of files] |
| hppa (unofficial port) | 5.024-1+b2 | 1,405.2 kB | 4,191.0 kB | [list of files] |
| i386 | 5.024-1+b2 | 1,405.4 kB | 4,191.0 kB | [list of files] |
| ia64 (unofficial port) | 5.012-1+b1 | 8,612.6 kB | 75,801.0 kB | [list of files] |
| m68k (unofficial port) | 4.038-1 | 3,252.1 kB | 16,161.0 kB | [list of files] |
| mips64el | 5.024-1+b2 | 1,405.4 kB | 4,191.0 kB | [list of files] |
| ppc64 (unofficial port) | 5.024-1+b2 | 1,405.4 kB | 4,191.0 kB | [list of files] |
| ppc64el | 5.024-1+b2 | 1,405.4 kB | 4,191.0 kB | [list of files] |
| riscv64 | 5.024-1+b2 | 1,405.4 kB | 4,191.0 kB | [list of files] |
| s390x | 5.024-1+b2 | 1,405.2 kB | 4,191.0 kB | [list of files] |
| sh4 (unofficial port) | 4.038-1 | 3,654.3 kB | 14,478.0 kB | [list of files] |
| sparc64 (unofficial port) | 5.024-1+b2 | 1,405.4 kB | 4,191.0 kB | [list of files] |
| x32 (unofficial port) | 4.038-1 | 3,889.3 kB | 15,404.0 kB | [list of files] |