Paquet : yosys-dev (0.33-5 et autres)

[ Paquet source : yosys  ]

cadriciel pour la synthèse RTL Verilog — fichiers de développement

Yosys est un environnement pour la synthèse RTL Verilog. Il prend actuellement en charge Verilog-2005 et fournit un ensemble basique d'algorithmes de synthèse pour divers domaines d'application.

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.

Ce paquet fournit les en-têtes et les programmes requis pour construire des greffons yosys.

Autres paquets associés à yosys-dev

• dep: libffi-dev

  Foreign Function Interface library (development files)

• dep: libreadline-dev

  Bibliothèques GNU readline et GNU history, fichiers de développement

• dep: tcl-dev

  Tool Command Language (default version) - development files

Télécharger yosys-dev

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.33-5+b2	99,8 ko	507,0 ko	[liste des fichiers]
amd64	0.33-5+b2	99,9 ko	507,0 ko	[liste des fichiers]
arm64	0.33-5+b2	99,9 ko	507,0 ko	[liste des fichiers]
armel	0.33-5+b2	99,9 ko	507,0 ko	[liste des fichiers]
armhf	0.33-5+b2	99,9 ko	507,0 ko	[liste des fichiers]
hppa (portage non officiel)	0.12-1	87,9 ko	446,0 ko	[liste des fichiers]
i386	0.33-5+b2	99,9 ko	507,0 ko	[liste des fichiers]
ia64 (portage non officiel)	0.23-6	93,0 ko	475,0 ko	[liste des fichiers]
m68k (portage non officiel)	0.33-5+b2	99,9 ko	507,0 ko	[liste des fichiers]
mips64el	0.33-5+b2	99,9 ko	507,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	0.9-2+b1	60,7 ko	323,0 ko	[liste des fichiers]
ppc64el	0.33-5+b2	99,9 ko	507,0 ko	[liste des fichiers]
riscv64	0.33-5+b3	99,9 ko	507,0 ko	[liste des fichiers]
sh4 (portage non officiel)	0.33-5	99,7 ko	506,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	0.6-7+b1	50,5 ko	286,0 ko	[liste des fichiers]
x32 (portage non officiel)	0.33-5	99,7 ko	506,0 ko	[liste des fichiers]