Information for RPM abc-1.01-9.hg20160905.fc25.src.rpm
| ID | 322 | ||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Name | abc | ||||||||||||||
| Version | 1.01 | ||||||||||||||
| Release | 9.hg20160905.fc25 | ||||||||||||||
| 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 | 2016-09-30 06:03:57 GMT | ||||||||||||||
| Size | 5.75 MB | ||||||||||||||
| 9f95e2dab1f4370a89a310f840c8976a | |||||||||||||||
| License | MIT | ||||||||||||||
| 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 | ||||||||||||||
