[ Source: yosys ]
Package: yosys-dev (0.33-6~exp2 and others)
Links for yosys-dev
Debian Resources:
Download Source Package yosys:
- [yosys_0.33-6~exp2.dsc]
- [yosys_0.33.orig-abc.tar.gz]
- [yosys_0.33.orig.tar.gz]
- [yosys_0.33-6~exp2.debian.tar.xz]
Maintainers:
- Debian Science Maintainers (QA Page, Mail Archive)
- Ruben Undheim (QA Page)
- Sebastian Kuzminsky (QA Page)
- Daniel Gröber (QA Page)
External Resources:
- Homepage [github.com]
Similar packages:
Experimental package
Warning: This package is from the experimental distribution. That means it is likely unstable or buggy, and it may even cause data loss. Please be sure to consult the changelog and other possible documentation before using it.
infrastruttura per la sintesi di RTL Verilog (file di sviluppo)
Yosys è 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.
Questo pacchetto contiene gli header e i programmi necessari per compilare plugin per yosys.
Other Packages Related to yosys-dev
|
|
|
|
-
- dep: libffi-dev
- libreria Foreign Function Interface (file di sviluppo)
-
- dep: libreadline-dev
- librerie GNU readline ed history, file di sviluppo
-
- dep: tcl-dev
- Tool Command Language (default version) - development files
Download yosys-dev
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| alpha (unofficial port) | 0.33-6~exp2 | 99.7 kB | 506.0 kB | [list of files] |
| amd64 | 0.33-6~exp2 | 99.7 kB | 506.0 kB | [list of files] |
| arm64 | 0.33-6~exp2 | 99.7 kB | 506.0 kB | [list of files] |
| armel | 0.33-6~exp2+b1 | 100.0 kB | 507.0 kB | [list of files] |
| armhf | 0.33-6~exp2+b1 | 100.0 kB | 507.0 kB | [list of files] |
| i386 | 0.33-6~exp2 | 99.7 kB | 506.0 kB | [list of files] |
| m68k (unofficial port) | 0.33-6~exp2+b1 | 100.0 kB | 507.0 kB | [list of files] |
| mips64el | 0.33-6~exp2 | 99.7 kB | 506.0 kB | [list of files] |
| ppc64el | 0.33-6~exp2 | 99.7 kB | 506.0 kB | [list of files] |
| riscv64 | 0.33-6~exp2+b1 | 100.0 kB | 507.0 kB | [list of files] |
| sh4 (unofficial port) | 0.33-6~exp2+b1 | 100.0 kB | 507.0 kB | [list of files] |
| x32 (unofficial port) | 0.33-6~exp2 | 99.8 kB | 506.0 kB | [list of files] |