Package: yosys (0.52-1 and others)

[ Source: yosys  ]

infrastruttura per la sintesi di RTL Verilog

Questa è un'infrastruttura per la sintesi di RTL Verilog. Attualmente ha una gestione ampia di Verilog-2005 e fornisce un insieme di base di algoritmi di sintesi per svariati domini d'applicazione.

Yosys può essere adattato per eseguire qualsiasi lavoro di sintesi combinando i passaggi esistenti (algoritmi) usando script di sintesi e aggiungendo i passaggi aggiuntivi necessari estendendo la base di codice C++ di Yosys.

Other Packages Related to yosys

• dep: berkeley-abc (>= 1.01) [sparc64]

  ABC - un sistema per verifica e sintesi sequenziale

  dep: berkeley-abc (>= 1.01+20161002hgeb6eca6+dfsg) [ppc64]

  dep: berkeley-abc (>= 1.01+20211229git48498af+dfsg) [hppa]

  dep: berkeley-abc (>= 1.01+20221019git70cb339+dfsg-3) [ia64]

• dep: libc6 (>= 2.11) [sparc64]

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.29) [ppc64]

  dep: libc6 (>= 2.33) [hppa]

  dep: libc6 (>= 2.38) [not alpha, hppa, ia64, loong64, ppc64, sh4, sparc64]

  dep: libc6 (>= 2.40) [sh4]

  dep: libc6 (>= 2.41) [loong64]

• dep: libc6.1 (>= 2.36) [ia64]

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6.1-udeb

  dep: libc6.1 (>= 2.38) [alpha]

• dep: libffi6 (>= 3.0.4) [sparc64]

  Package not available

• dep: libffi8 (>= 3.4) [not sparc64]

  libreria eseguibile Foreign Function Interface

• dep: libgcc-s1 (>= 3.0) [ppc64]

  libreria di supporto a GCC

  dep: libgcc-s1 (>= 3.3.1) [not armel, armhf, hppa, ia64, m68k, ppc64, sparc64]

  dep: libgcc-s1 (>= 3.5) [armel, armhf]

• dep: libgcc-s2 (>= 4.2.1) [m68k]

  libreria di supporto a GCC

• dep: libgcc-s4 (>= 4.1.1) [hppa]

  libreria di supporto a GCC

• dep: libgcc1 (>= 1:3.0) [sparc64]

  Package not available

• dep: libreadline7 (>= 6.0) [sparc64]

  Package not available

• dep: libreadline8 (>= 6.0) [hppa, ia64, ppc64]

  librerie GNU readline ed history, librerie eseguibili

• dep: libreadline8t64 (>= 6.0) [not hppa, ia64, ppc64, sparc64]

  librerie GNU readline ed history, librerie eseguibili

• dep: libstdc++6 (>= 11) [hppa, ia64]

  libreria GNU Standard C++, versione 3

  dep: libstdc++6 (>= 13.1) [m68k, sh4]

  dep: libstdc++6 (>= 14) [not hppa, ia64, m68k, ppc64, sh4, sparc64]

  dep: libstdc++6 (>= 5.2) [sparc64]

  dep: libstdc++6 (>= 9) [ppc64]

• dep: libtcl8.6 (>= 8.6.0)

  Tcl (Tool Command Language) v 8.6 - file di libreria runtime

• dep: libunwind8 [ia64]

  libreria per tracciare la catena di chiamate di un programma - runtime

• dep: python3

  linguaggio interattivo di alto livello orientato agli oggetti (versione python3 predefinita)

• dep: python3-click [not hppa, ppc64, sparc64]

  kit per la creazione di interfacce a riga di comando - Python 3.x

• dep: xdot [hppa, ia64, ppc64, sparc64]

  visualizzatore interattivo di file dot di Graphviz

• dep: yosys-abc (>= 0.32-1) [not hppa, ia64, ppc64, sparc64]

  Sequential Logic Synthesis and Verification Algorithms

• dep: zlib1g (>= 1:1.1.4) [hppa]

  libreria di compressione - runtime

  dep: zlib1g (>= 1:1.2.0) [not armel, armhf, hppa, m68k, ppc64, sh4, sparc64]

  dep: zlib1g (>= 1:1.2.3.3) [armel, armhf, m68k, sh4]

• rec: xdot

  visualizzatore interattivo di file dot di Graphviz

Download yosys

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	0.52-1	5,489.4 kB	28,313.0 kB	[list of files]
amd64	0.52-1	6,079.7 kB	25,753.0 kB	[list of files]
arm64	0.52-1	5,232.3 kB	24,305.0 kB	[list of files]
armel	0.52-1	5,218.2 kB	24,560.0 kB	[list of files]
armhf	0.52-1	5,446.9 kB	19,952.0 kB	[list of files]
hppa (unofficial port)	0.12-1	3,017.8 kB	16,641.0 kB	[list of files]
i386	0.52-1	6,274.3 kB	26,722.0 kB	[list of files]
ia64 (unofficial port)	0.23-6	3,401.3 kB	22,772.0 kB	[list of files]
loong64 (unofficial port)	0.52-1	5,405.9 kB	24,497.0 kB	[list of files]
m68k (unofficial port)	0.52-1	5,410.5 kB	24,360.0 kB	[list of files]
mips64el	0.52-1	4,808.0 kB	27,018.0 kB	[list of files]
ppc64 (unofficial port)	0.9-2+b1	2,026.7 kB	9,448.0 kB	[list of files]
ppc64el	0.52-1	5,700.9 kB	27,505.0 kB	[list of files]
riscv64	0.52-1	5,895.2 kB	22,201.0 kB	[list of files]
sh4 (unofficial port)	0.33-6	3,737.9 kB	13,130.0 kB	[list of files]
sparc64 (unofficial port)	0.6-7+b1	1,267.7 kB	5,329.0 kB	[list of files]
x32 (unofficial port)	0.52-1	5,902.7 kB	24,639.0 kB	[list of files]