abc-1.01-9.hg20160905.fc25.i686.rpm


Advertisement

Description

abc - Sequential logic synthesis and formal verification

Distribution: Fedora 25
Repository: Fedora i386
Package name: abc
Package version: 1.01
Package release: 9.hg20160905.fc25
Package architecture: i686
Package type: rpm
Installed size: 16.31 KB
Download size: 18.12 KB
Official Mirror: dl.fedoraproject.org
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.

Alternatives

Provides

  • abc = 1.01-9.hg20160905.fc25
  • abc(x86-32) = 1.01-9.hg20160905.fc25
  • abc-python2 = 1.01-9.hg20160905.fc25

Obsoletes

  • abc-python2 < 1.01-8.hg20160203.fc25

    Install Howto

    Install the abc rpm package:

    # dnf install abc

    Files

    • /usr/bin/abc
    • /usr/share/doc/abc/readme.md
    • /usr/share/doc/abc/readmeaig
    • /usr/share/man/man1/abc.1.gz

    Changelog

    2016-09-10 - Eric Smith <brouhaha@fedoraproject.org> - 1.01-9.hg20160905 - Update to latest mercurial snapshot

    2016-02-05 - Jerry James <loganjerry@gmail.com> - 1.01-8.hg20160203 - Update to latest mercurial snapshot - Drop the python2 subpackage; upstream moved support to a separate project

    2016-02-03 - Fedora Release Engineering <releng@fedoraproject.org> - 1.01-7.hg20150306 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild

    2015-06-16 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.01-6.hg20150306 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild

    2015-05-02 - Kalev Lember <kalevlember@gmail.com> - 1.01-5.hg20150306 - Rebuilt for GCC 5 C++11 ABI change

    2015-03-07 - Jerry James <loganjerry@gmail.com> - 1.01-4.hg20150306 - Update to latest mercurial snapshot

    2015-01-01 - Jerry James <loganjerry@gmail.com> - 1.01-3.hg20150101 - Update to latest mercurial snapshot - Fix installation of header files

    2014-12-03 - Jerry James <loganjerry@gmail.com> - 1.01-2.hg20141130 - Drop unnecessary jquery Provides - Fix file permissions

    2014-12-01 - Jerry James <loganjerry@gmail.com> - 1.01-1.hg20141130 - Initial RPM

    Advertisement
    Advertisement