معرفی شرکت ها

berkeley-abc_1.01+20181130git163bba5+dfsg-1_armhf.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

ABC - A System for Sequential Synthesis and Verification
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Buster-10
مخزن Debian main armhf
نام بسته berkeley-abc
نام فایل بسته berkeley-abc_1.01+20181130git163bba5+dfsg-1_armhf.deb
نسخه بسته 1.01+20181130git163bba5+dfsg
انتشار بسته 1
معماری بسته armhf
نگهدارنده Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://www.eecs.berkeley.edu/~alanmi/abc/
مجوز -
حجم دانلود 4767012
حجم نصب 10011
This 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.


جایگزین ها

بسته نسخه معماری مخزن
berkeley-abc_1.01+20181130git163bba5+dfsg-1_amd64.deb 1.01+20181130git163bba5+dfsg amd64 Debian main
berkeley-abc_1.01+20181130git163bba5+dfsg-1_arm64.deb 1.01+20181130git163bba5+dfsg arm64 Debian main
berkeley-abc_1.01+20181130git163bba5+dfsg-1_armel.deb 1.01+20181130git163bba5+dfsg armel Debian main
berkeley-abc_1.01+20181130git163bba5+dfsg-1_i386.deb 1.01+20181130git163bba5+dfsg i386 Debian main
berkeley-abc_1.01+20181130git163bba5+dfsg-1_mips.deb 1.01+20181130git163bba5+dfsg mips Debian main
berkeley-abc_1.01+20181130git163bba5+dfsg-1_mips64el.deb 1.01+20181130git163bba5+dfsg mips64el Debian main
berkeley-abc_1.01+20181130git163bba5+dfsg-1_mipsel.deb 1.01+20181130git163bba5+dfsg mipsel Debian main
berkeley-abc_1.01+20181130git163bba5+dfsg-1_ppc64el.deb 1.01+20181130git163bba5+dfsg ppc64el Debian main
berkeley-abc_1.01+20181130git163bba5+dfsg-1_s390x.deb 1.01+20181130git163bba5+dfsg s390x Debian main


نیازمندی

مقدار نام
- libbz2-1.0
>= 2.7 libc6
>= 1:3.5 libgcc1
>= 6.0 libreadline7
>= 5 libstdc++6
>= 1:1.1.4 zlib1g


نحوه نصب


نصب پکیج deb berkeley-abc:

    sudo apt-get install berkeley-abc_1.01+20181130git163bba5+dfsg-1_armhf.deb


فایل ها

مسیرها
./usr/bin/berkeley-abc
./usr/share/doc/berkeley-abc/README.md.gz
./usr/share/doc/berkeley-abc/changelog.Debian.gz
./usr/share/doc/berkeley-abc/copyright
./usr/share/lintian/overrides/berkeley-abc
./usr/share/man/man1/berkeley-abc.1.gz