Paquet : yosys (0.52-1 et autres)

[ Paquet source : yosys  ]

cadriciel pour la synthèse RTL Verilog

Il s’agit d’un cadriciel pour la synthèse RTL Verilog. Actuellement, il prend en charge de manière importante Verilog-2005 et fournit un ensemble basique d’algorithmes de synthèse pour des domaines d’applications variés.

Yosys peut être adapté pour réaliser tout travail de synthèse en combinant les passages existants (algorithmes) en utilisant des scripts de synthèse et en ajoutant des passages, selon les besoins, en étendant la base codée en C++ de yosys.

Autres paquets associés à yosys

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

  ABC − système de synthèse et de vérification de séquences

  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]

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par libc6-udeb

  dep: libc6 (>= 2.29) [ppc64]

  dep: libc6 (>= 2.33) [hppa]

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

  dep: libc6 (>= 2.40) [sh4]

  dep: libc6 (>= 2.41) [loong64]

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

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par libc6.1-udeb

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

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

  Paquet indisponible

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

  Bibliothèque d'exécution de l'interface de fonction étrangère (FFI)

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

  bibliothèque de prise en charge de GCC

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

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

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

  bibliothèque de prise en charge de GCC

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

  bibliothèque de prise en charge de GCC

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

  Paquet indisponible

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

  Paquet indisponible

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

  bibliothèques GNU readline et GNU history (exécutables)

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

  bibliothèques GNU readline et GNU history (exécutables)

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

  bibliothèque standard C++ de GNU v3

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

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

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

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

• dep: libtcl8.6 (>= 8.6.0)

  Tcl (the Tool Command Language) v8.6 - run-time library files

• dep: libunwind8 [ia64]

  bibliothèque pour déterminer la chaîne d'appel d'un programme –⋅exécutable

• dep: python3

  langage orienté objet interactif de haut niveau – version par défaut de Python 3

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

  kit de création d’interface en ligne de commande – Python 3.x

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

  visualisateur interactif de fichiers de tracé Graphviz

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

  Sequential Logic Synthesis and Verification Algorithms

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

  Bibliothèque de compression - binaires

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

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

• rec: xdot

  visualisateur interactif de fichiers de tracé Graphviz

Télécharger yosys

Télécharger pour toutes les architectures proposées

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	0.52-1	5 489,4 ko	28 313,0 ko	[liste des fichiers]
amd64	0.52-1	6 079,7 ko	25 753,0 ko	[liste des fichiers]
arm64	0.52-1	5 232,3 ko	24 305,0 ko	[liste des fichiers]
armel	0.52-1	5 218,2 ko	24 560,0 ko	[liste des fichiers]
armhf	0.52-1	5 446,9 ko	19 952,0 ko	[liste des fichiers]
hppa (portage non officiel)	0.12-1	3 017,8 ko	16 641,0 ko	[liste des fichiers]
i386	0.52-1	6 274,3 ko	26 722,0 ko	[liste des fichiers]
ia64 (portage non officiel)	0.23-6	3 401,3 ko	22 772,0 ko	[liste des fichiers]
loong64 (portage non officiel)	0.52-1	5 405,9 ko	24 497,0 ko	[liste des fichiers]
m68k (portage non officiel)	0.52-1	5 410,5 ko	24 360,0 ko	[liste des fichiers]
mips64el	0.52-1	4 808,0 ko	27 018,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	0.9-2+b1	2 026,7 ko	9 448,0 ko	[liste des fichiers]
ppc64el	0.52-1	5 700,9 ko	27 505,0 ko	[liste des fichiers]
riscv64	0.52-1	5 895,2 ko	22 201,0 ko	[liste des fichiers]
sh4 (portage non officiel)	0.33-6	3 737,9 ko	13 130,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	0.6-7+b1	1 267,7 ko	5 329,0 ko	[liste des fichiers]
x32 (portage non officiel)	0.52-1	5 902,7 ko	24 639,0 ko	[liste des fichiers]