Paquet : yosys (0.33-5 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: libc6 (>= 2.38)

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

• dep: libffi8 (>= 3.4)

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

• dep: libgcc-s1 (>= 3.3.1)

  bibliothèque de prise en charge de GCC

• dep: libreadline8t64 (>= 6.0)

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

• dep: libstdc++6 (>= 13.1)

  bibliothèque standard C++ de GNU v3

• dep: libtcl8.6 (>= 8.6.0)

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

• dep: python3

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

• dep: python3-click

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

• dep: yosys-abc (>= 0.32-1)

  Sequential Logic Synthesis and Verification Algorithms

• dep: zlib1g (>= 1:1.2.0)

  Bibliothèque de compression - binaires

• 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
arm64	0.33-5+b3	2 647,7 ko	12 430,0 ko	[liste des fichiers]