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 | ||||||||||||||||
