wszystkie opcje
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Pakiet źródłowy: verilator  ]

Pakiet: verilator (5.024-1 i inne)

Odnośniki dla verilator

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego verilator:

Opiekunowie:

Zasoby zewnętrzne:

Podobne pakiety:

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.

Znaczniki: Dziedzina: Elektronika, Zaimplementowane w: C++, implemented-in::perl, interface::commandline, Rola: Program, Przeznaczenie: Symulowanie

Inne pakiety związane z verilator

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie verilator

Pobierz dla wszystkich dostępnych architektur
Architektura Wersja Rozmiar pakietu Rozmiar po instalacji Pliki
alpha (port nieoficjalny) 4.038-1 4 195,0 KiB20 285,0 KiB [lista plików]
amd64 5.024-1 1 407,4 KiB4 182,0 KiB [lista plików]
arm64 5.024-1 1 407,4 KiB4 182,0 KiB [lista plików]
armel 5.024-1 1 407,4 KiB4 182,0 KiB [lista plików]
armhf 5.024-1 1 407,4 KiB4 182,0 KiB [lista plików]
hppa (port nieoficjalny) 5.024-1 1 407,4 KiB4 182,0 KiB [lista plików]
i386 5.024-1 1 407,4 KiB4 182,0 KiB [lista plików]
ia64 (port nieoficjalny) 5.012-1+b1 8 612,6 KiB75 801,0 KiB [lista plików]
m68k (port nieoficjalny) 4.038-1 3 252,1 KiB16 161,0 KiB [lista plików]
mips64el 5.024-1 1 407,4 KiB4 182,0 KiB [lista plików]
ppc64 (port nieoficjalny) 5.024-1 1 407,4 KiB4 182,0 KiB [lista plików]
ppc64el 5.024-1 1 407,4 KiB4 182,0 KiB [lista plików]
riscv64 5.024-1 1 407,4 KiB4 182,0 KiB [lista plików]
s390x 5.024-1 1 407,4 KiB4 182,0 KiB [lista plików]
sh4 (port nieoficjalny) 4.038-1 3 654,3 KiB14 478,0 KiB [lista plików]
sparc64 (port nieoficjalny) 5.024-1 1 407,4 KiB4 182,0 KiB [lista plików]
x32 (port nieoficjalny) 4.038-1 3 889,3 KiB15 404,0 KiB [lista plików]