Пакет: yosys (0.6-7 и другие) [debports]

[ Источник:  ]

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.

Другие пакеты, относящиеся к yosys

• dep: berkeley-abc (>= 1.01)

  ABC - A System for Sequential Synthesis and Verification

• dep: libc6 (>= 2.11)

  библиотека GNU C: динамически подключаемые библиотеки
  также виртуальный пакет, предоставляемый libc6-udeb

• dep: libffi6 (>= 3.0.4)

  Пакет недоступен

• dep: libgcc1 (>= 1:3.0)

  Пакет недоступен

• dep: libreadline7 (>= 6.0)

  Пакет недоступен

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

  стандартная библиотека GNU C++ версии 3

• dep: libtcl8.6 (>= 8.6.0)

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

• dep: python3

  интерактивный высокоуровневый объектно-ориентированный язык (версия python3 по умолчанию)

• dep: xdot

  interactive viewer for Graphviz dot files

Загрузка yosys

Загрузить для всех доступных архитектур

Архитектура	Версия	Размер пакета	В установленном виде	Файлы
sparc64 (неофициальный перенос)	0.6-7+b1	1 267,7 Кб	5 329,0 Кб	[список файлов]