Fri, 06 Dec 2019 10:27:29 UTC

Information for RPM abc-1.01-22.git20190608.fc31.x86_64.rpm

ID17830824
Nameabc
Version1.01
Release22.git20190608.fc31
Epoch
Archx86_64
SummarySequential logic synthesis and formal verification
DescriptionABC 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 Time2019-06-13 02:15:52 GMT
Size18908
45e5cd372b71275c93511c67650065e6
LicenseMIT
Buildrootf31-build-16542816-1187859
Provides
abc = 1.01-22.git20190608.fc31
abc(x86-64) = 1.01-22.git20190608.fc31
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
abc-libs(x86-64) = 1.01-22.git20190608.fc31
libabc.so.0()(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
rtld(GNU_HASH)
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 8 of 8
Name ascending sort Size
/usr/bin/abc19712
/usr/lib/.build-id0
/usr/lib/.build-id/cd0
/usr/lib/.build-id/cd/6c3afc42629d1bf98dcbb9e282693eb0779ced23
/usr/share/doc/abc0
/usr/share/doc/abc/README.md5389
/usr/share/doc/abc/readmeaig3324
/usr/share/man/man1/abc.1.gz1968
Component of
1 through 13 of 13
Buildroot descending sort Created State
f31-build-17064756-1224044 2019-07-27 17:13:34 expired
f31-build-16960375-1222692 2019-07-24 08:54:03 expired
f31-build-16930508-1220878 2019-07-21 12:18:02 expired
f31-build-16900943-1219255 2019-07-19 01:49:21 expired
f31-build-16879243-1218107 2019-07-17 00:35:53 expired
f31-build-16862710-1216810 2019-07-14 13:47:28 expired
f31-build-16832915-1215476 2019-07-12 08:37:42 expired
f31-build-16810728-1213830 2019-07-09 11:42:33 expired
f31-build-16746880-1211537 2019-07-04 04:56:32 expired
f31-build-16681818-1208086 2019-06-28 09:01:13 expired
f31-build-16653916-1204592 2019-06-25 11:49:30 expired
f31-build-16607799-1198161 2019-06-21 18:12:51 expired
f31-build-16551294-1188546 2019-06-14 04:13:49 expired