Package alanmi-abc: Information

Source package: alanmi-abc

Version: 20221019.0.70cb339f-alt1

Build time:  Oct 23, 2022, 07:08 PM in the task #308886

Category: Engineering

Gear: https://git.altlinux.org/gears/a/alanmi-abc.git?a=tree;hb=2f6b6b…

Home page: https://people.eecs.berkeley.edu/~alanmi/abc/

License: BSD-4-Clause

Summary: System for 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 tool-box rather than a complete tool.

List of rpms provided by this srpm:
alanmi-abc (x86_64, ppc64le, i586, armh, aarch64)
alanmi-abc-debuginfo (x86_64, ppc64le, i586, armh, aarch64)

Maintainer: Anton Midyukov

ACL:
Elvira Khabirova
@everybody