Fri, 06 Dec 2019 01:13:48 UTC

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

ID17830807
Nameabc
Version1.01
Release22.git20190608.fc31
Epoch
Archarmv7hl
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:17:22 GMT
Size18776
f85a095823bab865c0e9c39c4b50ece3
LicenseMIT
Buildrootf31-build-16542818-1187859
Provides
abc = 1.01-22.git20190608.fc31
abc(armv7hl-32) = 1.01-22.git20190608.fc31
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
abc-libs(armv7hl-32) = 1.01-22.git20190608.fc31
libabc.so.0
libc.so.6
libc.so.6(GLIBC_2.4)
libgcc_s.so.1
libgcc_s.so.1(GCC_3.5)
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/abc9920
/usr/lib/.build-id0
/usr/lib/.build-id/980
/usr/lib/.build-id/98/1320822b8261df230133de168b24b74f549f7523
/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 1 of 1
Buildroot descending sort Created State
f31-build-17067878-1224044 2019-07-28 04:27:50 expired