[ Source: yosys ]
Package: yosys (0.9-1 and others)
Links for yosys
Debian Resources:
Download Source Package yosys:
Maintainers:
- Debian Science Maintainers (QA Page, Mail Archive)
- Ruben Undheim (QA Page)
- Sebastian Kuzminsky (QA Page)
External Resources:
- Homepage [www.clifford.at]
Similar packages:
Framework for Verilog RTL synthesis
This is a framework for Verilog RTL synthesis. It currently has extensive Verilog-2005 support and provides a basic set of synthesis algorithms for various application domains.
Yosys can be adapted to perform any synthesis job by combining the existing passes (algorithms) using synthesis scripts and adding additional passes as needed by extending the yosys C++ code base.
Other Packages Related to yosys
|
|
|
|
-
- dep: berkeley-abc (>= 1.01+20161002hgeb6eca6+dfsg)
- ABC - A System for Sequential Synthesis and Verification
-
- dep: libc6 (>= 2.29)
- GNU C 라이브러리: 공유 라이브러리
also a virtual package provided by libc6-udeb
-
- dep: libffi7 (>= 3.3~20180313)
- 외부 함수 인터페이스 라이브러리 런타임
-
- dep: libgcc1 (>= 1:3.5)
- Package not available
-
- dep: libreadline8 (>= 6.0)
- GNU readline과 history 라이브러리, 런타임 라이브러리
-
- dep: libstdc++6 (>= 9)
- GNU 표준 C++ 라이브러리 v3
-
- dep: libtcl8.6 (>= 8.6.0)
- Tcl (Tool Command Language) v8.6 - 런타임 라이브러리 파일들
-
- dep: python3
- interactive high-level object-oriented language (default python3 version)
-
- dep: xdot
- Graphviz dot 파일용 대화식 뷰어
Download yosys
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| armel | 0.9-1+b1 | 1,764.8 kB | 6,975.0 kB | [list of files] |