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
FEDORA-2015-0064
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
https://fedoraproject.org/keys
--------------------------------------------------------------------------------
More information about the package-announce
mailing list