Fri, 03 May 2024 17:22:49 UTC | login

Information for RPM abc-1.01-18.git20180708.fc29.riscv64.rpm

ID205053
Nameabc
Version1.01
Release18.git20180708.fc29
Epoch
Archriscv64
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-07-21 16:17:44 GMT
Size17.77 KB
ceea03fd9016e7891194e43e97763065
LicenseMIT
Buildrootf29-build-18745-10118
Provides
abc = 1.01-18.git20180708.fc29
abc(riscv-64) = 1.01-18.git20180708.fc29
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
abc-libs(riscv-64) = 1.01-18.git20180708.fc29
libabc.so.0()(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.27)(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/abc7.69 KB
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/f60.00 B
/usr/lib/.build-id/f6/907df416cee4c4b861791aa39243e506580b6b23.00 B
/usr/share/doc/abc0.00 B
/usr/share/doc/abc/README.md5.26 KB
/usr/share/doc/abc/readmeaig3.25 KB
/usr/share/man/man1/abc.1.gz1.92 KB
Component of No Buildroots