Mon, 16 Dec 2019 09:57:42 UTC

Information for RPM abc-1.01-16.hg20180228.fc29.x86_64.rpm

ID13282649
Nameabc
Version1.01
Release16.hg20180228.fc29
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 Time2018-03-04 02:16:47 GMT
Size19164
849198048295afda0acffc347a563525
LicenseMIT
Buildrootf29-build-11685460-869568
Provides
abc = 1.01-16.hg20180228.fc29
abc(x86-64) = 1.01-16.hg20180228.fc29
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
abc-libs(x86-64) = 1.01-16.hg20180228.fc29
libabc.so.0()(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libgcc_s.so.1()(64bit)
libm.so.6()(64bit)
libstdc++.so.6()(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/abc7600
/usr/lib/.build-id0
/usr/lib/.build-id/820
/usr/lib/.build-id/82/3338b4ddcd6fdd28248076ca6bfa059275d59823
/usr/share/doc/abc0
/usr/share/doc/abc/readme.md5156
/usr/share/doc/abc/readmeaig3324
/usr/share/man/man1/abc.1.gz1966
Component of
1 through 14 of 14
Buildroot descending sort Created State
f29-build-11983982-885906 2018-03-31 02:57:06 expired
f29-build-11960084-884546 2018-03-28 14:02:58 expired
f29-build-11943802-882915 2018-03-26 04:14:30 expired
f29-build-11928545-882544 2018-03-25 03:42:23 expired
f29-build-11867619-879601 2018-03-20 02:23:30 expired
f29-build-11819741-877156 2018-03-15 21:22:41 expired
f29-build-11803727-876102 2018-03-14 15:34:33 expired
f29-build-11775822-874445 2018-03-11 20:10:39 expired
f29-build-11762474-873999 2018-03-10 21:06:41 expired
f29-build-11753087-873843 2018-03-10 06:52:48 expired
f29-build-11745574-873546 2018-03-09 16:52:28 expired
f29-build-11741117-873244 2018-03-09 08:12:14 expired
f29-build-11727823-872360 2018-03-07 23:11:09 expired
f29-build-11685641-869578 2018-03-04 03:22:49 expired