Fedora 22 Update: abc-1.01-4.hg20150306.fc22
updates at fedoraproject.org
updates at fedoraproject.org
Fri Mar 13 17:20:06 UTC 2015
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2015-3414
2015-03-09 04:40:41
--------------------------------------------------------------------------------
Name : abc
Product : Fedora 22
Version : 1.01
Release : 4.hg20150306.fc22
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 is an update to a later mercurial snapshot. Changes include:
- Returning multiple counter-examples.
- Implementation of CE extraction for multiple MUXes driving D-inputs of FFs
- Organizing commands for barbuf-aware flow.
- Support of init-state in AIGs derived from word-level designs in Wlc_Ntk_t.
- New assertions and bug fix in DSD balancing.
- Pre-processing for multi-output PLA tables.
- Major rehash of the CBA code.
- Added SMT parser for Wlc_Ntk_t.
- Adding resource limits to fx and sop.
- Modifications to read SMTLIB file from stdin.
- Adding switch -x to command &fadds.
- Experiments with SAT-based cube enumeration.
--------------------------------------------------------------------------------
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