Package: yosys-abc (0.33-6~exp3 and others)

[ Source: yosys  ]

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.

Sequential Logic Synthesis and Verification Algorithms

ABC is a system for synthesis and verification of binary sequential logic circuits appearing in synchronous hardware designs. It combines scalable logic optimization based on And-Inverter Graphs (AIGs), optimal-delay DAG-based technology mapping for look-up tables and standard cells, and innovative algorithms for sequential synthesis and verification.

This is a fork of berkeley-abc maintained by the YosysHQ team for use in the yosys RTL synthesis framework.

Other Packages Related to yosys-abc

• dep: libbz2-1.0

  high-quality block-sorting file compressor library - runtime

• dep: libc6 (>= 2.38) [not alpha, sh4]

  GNU C könyvtár: megosztott könyvtárak
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.40) [sh4]

• dep: libc6.1 (>= 2.34) [alpha]

  GNU C könyvtár: megosztott könyvtárak
  also a virtual package provided by libc6.1-udeb

• dep: libgcc-s1 (>= 3.3.1) [not armel, armhf, m68k]

  GCC támogató programkönyvtár

  dep: libgcc-s1 (>= 3.5) [armel, armhf]

• dep: libgcc-s2 (>= 4.2.1) [m68k]

  GCC támogató programkönyvtár

• dep: libreadline8 (>= 6.0) [alpha]

  GNU sorolvasó és 'hisztori' futásidejű programkönyvtárak

• dep: libreadline8t64 (>= 6.0) [not alpha]

  GNU sorolvasó és 'hisztori' futásidejű programkönyvtárak

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

  GNU Standard C++ Library v3

• dep: zlib1g (>= 1:1.1.4) [not armel, armhf, m68k, sh4]

  tömörítő könyvtár - futásidejű

  dep: zlib1g (>= 1:1.2.3.3) [armel, armhf, m68k, sh4]

Download yosys-abc

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	0.33-6~exp2	5,096.9 kB	17,498.0 kB	[list of files]
amd64	0.33-6~exp3	5,350.4 kB	14,895.0 kB	[list of files]
arm64	0.33-6~exp3	4,783.5 kB	14,568.0 kB	[list of files]
armel	0.33-6~exp3	4,562.9 kB	13,817.0 kB	[list of files]
armhf	0.33-6~exp3	4,738.7 kB	10,561.0 kB	[list of files]
i386	0.33-6~exp3	5,570.0 kB	16,564.0 kB	[list of files]
m68k (unofficial port)	0.33-6~exp3	5,107.4 kB	15,827.0 kB	[list of files]
mips64el	0.33-6~exp3	4,886.4 kB	18,461.0 kB	[list of files]
ppc64el	0.33-6~exp3	5,527.1 kB	18,472.0 kB	[list of files]
riscv64	0.33-6~exp3	5,403.6 kB	13,023.0 kB	[list of files]
sh4 (unofficial port)	0.33-6~exp3	5,831.0 kB	13,788.0 kB	[list of files]