Fri, 06 Dec 2019 03:20:51 UTC

Information for RPM abc-1.01-2.hg20141130.fc22.armv7hl.rpm

ID5830954
Nameabc
Version1.01
Release2.hg20141130.fc22
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 Time2014-12-16 15:51:54 GMT
Size16192
36b0177714fffab50ed691e2e03228f4
LicenseGPLv3+
Buildrootf22-build-2717210-439934
Provides
abc = 1.01-2.hg20141130.fc22
abc(armv7hl-32) = 1.01-2.hg20141130.fc22
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
abc-libs(armv7hl-32) = 1.01-2.hg20141130.fc22
libabc.so.0
libc.so.6
libc.so.6(GLIBC_2.4)
libgcc_s.so.1
libgcc_s.so.1(GCC_3.5)
libm.so.6
libstdc++.so.6
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 5 of 5
Name ascending sort Size
/usr/bin/abc4392
/usr/share/doc/abc4096
/usr/share/doc/abc/readme.md5031
/usr/share/doc/abc/readmeaig3324
/usr/share/man/man1/abc.1.gz1966
Component of No Buildroots