Package alanmi-abc: Information

Binary package: alanmi-abc

Version: 20221019.0.70cb339f-alt1

Architecture: i586

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

Source package: alanmi-abc

Category: Engineering

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

Download: alanmi-abc-20221019.0.70cb339f-alt1.i586.rpm

Build log: https://git.altlinux.org/tasks/308886/build/100/i586/log

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.

Maintainer: Anton Midyukov

ACL:
Elvira Khabirova
@everybody