Tue, 10 Dec 2019 00:14:28 UTC

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

ID5830951
Nameabc
Version1.01
Release2.hg20141130.fc22
Epoch
Archsrc
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:25:55 GMT
Size5594054
90ba1ca058cb3b2f07ebd03554ca15af
LicenseGPLv3+
Buildrootf22-build-2717210-439934
Provides No Provides
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
bzip2-devel
python2-devel
readline-devel
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
swig
zlib-devel
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 5 of 5
Name ascending sort Size
9d6335cdb362.zip5786524
abc-bundlelib.patch2722
abc-sharedlib.patch1003
abc.14513
abc.spec5468
Component of No Buildroots