Fedora 21 Update: abc-1.01-3.hg20150101.fc21

updates at fedoraproject.org updates at fedoraproject.org
Sun Jan 11 10:56:33 UTC 2015

Fedora Update Notification
2015-01-03 17:50:16

Name        : abc
Product     : Fedora 21
Version     : 1.01
Release     : 3.hg20150101.fc21
URL         : http://www.eecs.berkeley.edu/~alanmi/abc/abc.htm
Summary     : Sequential logic synthesis and formal verification
Description :
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 toolbox rather than a complete tool.

Update Information:

A problem with the way the header files were installed has been corrected.  In addition, this update moves to a 2015-01-01 snapshot, which includes:
- Integration of barrier buffers
- New flavor of DSD-friendly eliminate
- Converting AIG with MUXes into a logic network
- New mapping feature
- Simplification of AIG with barrier buffers
- Gate sizing with barrier buffers
- Computing polynomials for AIGs representing arithmetic functions
- Small bug fixes

This update can be installed with the "yum" update program.  Use
su -c 'yum update abc' at the command line.
For more information, refer to "Managing Software with yum",
available at http://docs.fedoraproject.org/yum/.

All packages are signed with the Fedora Project GPG key.  More details on the
GPG keys used by the Fedora Project can be found at

More information about the package-announce mailing list