معرفی شرکت ها

alanmi-abc-20180617.0.g28a1307-alt1.x86_64.rpm

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

System for Sequential Logic Synthesis and Formal Verification
ویژگی مقدار
سیستم عامل Linux
توزیع ALT p9
مخزن ALTLinux classic x86_64
نام بسته alanmi-abc
نام فایل بسته alanmi-abc-20180617.0.g28a1307-alt1.x86_64.rpm
نسخه بسته 20180617.0.g28a1307
انتشار بسته alt1
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Tue 19 Jun 2018 08
هاست سازنده lineprinter-sisyphus.hasher.altlinux.org
نوع بسته .rpm
آدرس صفحه اصلی https://people.eecs.berkeley.edu/~alanmi/abc/
مجوز BSD-style
حجم دانلود 5.0M
حجم نصب 13.974M
ABC 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 tool-box rather than a complete tool.


جایگزین ها

بسته نسخه معماری مخزن
alanmi-abc-20180617.0.g28a1307-alt1.i586.rpm 20180617.0.g28a1307 i586 ALT classic
alanmi-abc-20180617.0.g28a1307-alt1.ppc64le.rpm 20180617.0.g28a1307 ppc64le ALT classic


نیازمندی

مقدار نام
- /lib64/ld-linux-x86-64.so.2
- libc.so.6(GLIBC_2.14)(64bit)
- libc.so.6(GLIBC_2.2.5)(64bit)
- libc.so.6(GLIBC_2.3)(64bit)
- libc.so.6(GLIBC_2.3.4)(64bit)
- libc.so.6(GLIBC_2.4)(64bit)
- libc.so.6(GLIBC_2.7)(64bit)
- libdl.so.2(GLIBC_2.2.5)(64bit)
- libgcc_s.so.1(GCC_3.0)(64bit)
- libm.so.6(GLIBC_2.2.5)(64bit)
- libpthread.so.0(GLIBC_2.2.5)(64bit)
>= set:nlIfCiwp4 libreadline.so.7()(64bit)
- rpmlib(SetVersions)
>= set:jiq20 librt.so.1()(64bit)
- librt.so.1(GLIBC_2.2.5)(64bit)
- libstdc++.so.6(CXXABI_1.3)(64bit)
- libstdc++.so.6(CXXABI_1.3.8)(64bit)
- libstdc++.so.6(CXXABI_1.3.9)(64bit)
- libstdc++.so.6(GLIBCXX_3.4)(64bit)
- rtld(GNU_HASH)
- rpmlib(PayloadIsLzma)


ارائه دهنده

مقدار نام
- berkeley-abc
= 20180617.0.g28a1307-alt1 alanmi-abc


نحوه نصب


نصب پکیج rpm alanmi-abc:

    sudo apt-get install alanmi-abc-20180617.0.g28a1307-alt1.x86_64.rpm


فایل ها

مسیرها
/usr/bin/abc
/usr/share/doc/alanmi-abc-20180617.0.g28a1307
/usr/share/doc/alanmi-abc-20180617.0.g28a1307/README.md
/usr/share/doc/alanmi-abc-20180617.0.g28a1307/copyright.txt


گزارش تغییرات

تاریخ آخرین تغییر جزئیات
2018-06-19

New version
Upstream moved to github

2017-02-10

Initial build