SlackBuilds Repository

15.0 > Development > berkeley-abc (20221019)

  ABC is a growing software system for synthesis and verification of
binary sequential logic circuits appearing in synchronous hardware
designs. ABC 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.

ABC provides an experimental implementation of these algorithms
and a programming environment for building similar applications.
Future development will focus on improving the algorithms and making
most of the packages stand-alone. This will allow the user to
customize ABC for their needs as if it were a tool-box rather than
a complete tool.

Maintained by: William PC
Keywords: synthesis,verification,logic circuits,And-Inverter Graphs,binary sequential logic circuits
ChangeLog: berkeley-abc


Source Downloads:
abc-70cb339f869e485802159d7f2b886130793556c4.tar.gz (b68f658e12c37989fa1068ba12770878)

Download SlackBuild:
berkeley-abc.tar.gz.asc (FAQ)

(the SlackBuild does not include the source)

Validated for Slackware 15.0

See our HOWTO for instructions on how to use the contents of this repository.

Access to the repository is available via:
ftp git cgit http rsync

© 2006-2024 Project. All rights reserved.
Slackware® is a registered trademark of Patrick Volkerding
Linux® is a registered trademark of Linus Torvalds