Fedora 21 Update: abc-1.01-2.hg20141130.fc21

[updates at fedoraproject.org]

--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-17128
2014-12-18 04:55:16
--------------------------------------------------------------------------------

Name        : abc
Product     : Fedora 21
Version     : 1.01
Release     : 2.hg20141130.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:

This new package 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.
--------------------------------------------------------------------------------
References:

  [ 1 ] Bug #1169492 - Review Request: abc - Sequential logic synthesis and formal verification
        https://bugzilla.redhat.com/show_bug.cgi?id=1169492
--------------------------------------------------------------------------------

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
https://fedoraproject.org/keys
--------------------------------------------------------------------------------