Information for RPM abc-1.01-18.git20180708.fc29.src.rpm
ID | 205050 | ||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | abc | ||||||||||||||||
Version | 1.01 | ||||||||||||||||
Release | 18.git20180708.fc29 | ||||||||||||||||
Epoch | |||||||||||||||||
Arch | src | ||||||||||||||||
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. | ||||||||||||||||
Build Time | 2018-07-21 15:45:45 GMT | ||||||||||||||||
Size | 5.39 MB | ||||||||||||||||
1e239f36e80354ffa8e332e4f2fbe245 | |||||||||||||||||
License | MIT | ||||||||||||||||
Buildroot | f29-build-18745-10118 | ||||||||||||||||
Provides | No Provides | ||||||||||||||||
Obsoletes | No Obsoletes | ||||||||||||||||
Conflicts | No Conflicts | ||||||||||||||||
Requires |
|
||||||||||||||||
Recommends | No Recommends | ||||||||||||||||
Suggests | No Suggests | ||||||||||||||||
Supplements | No Supplements | ||||||||||||||||
Enhances | No Enhances | ||||||||||||||||
Files |
|
||||||||||||||||
Component of | No Buildroots |