berkeley-abc: System for Sequential Logic Synthesis and Formal Verification¹

System for Sequential Logic Synthesis and Formal Verification. Features: formal verification, technology mapping and more.

... part of T2, get it here

URL: https://github.com/berkeley-abc/abc

Author: Alan Mishchenko <alanmi [at] berkeley [dot] edu>
Author: Yukio Miyasaka <yoyuohlhjl [at] yahoo [dot] co [dot] jp>
Maintainer: Alexander Nutz <alexandernutz68 [at] gmail [dot] com>

License: MIT
Status: Stable
Version: 0e4a0807

Remark: Does cross compile (as setup and patched in T2).

Download: https://github.com/berkeley-abc/abc/ berkeley-abc-0e4a0807.tar.gz

T2 source: berkeley-abc.cache
T2 source: berkeley-abc.desc
T2 source: install.patch

Build time (on reference hardware): 175% (relative to binutils)²

Installed size (on reference hardware): 73.74 MB, 602 files

Dependencies (build time detected): bash binutils coreutils diffutils gawk gcc grep gzip linux-header make openssl readline rsync sed tar tbb

Installed files (on reference hardware): n.a.

¹) This page was automatically generated from the T2 package source. Corrections, such as dead links, URL changes or typos need to be performed directly on that source.

²) Compatible with Linux From Scratch's "Standard Build Unit" (SBU).