معرفی شرکت ها


berkeley-abc_1.01+20221019git70cb339+dfsg-4_amd64.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 Bookworm-12
مخزن Debian main amd64
نام بسته berkeley-abc
نام فایل بسته berkeley-abc_1.01+20221019git70cb339+dfsg-4_amd64.deb
نسخه بسته 1.01+20221019git70cb339+dfsg
انتشار بسته 4
معماری بسته amd64
نگهدارنده Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://www.eecs.berkeley.edu/~alanmi/abc/
مجوز -
حجم دانلود 5687656
حجم نصب 15580
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+20221019git70cb339+dfsg-4_arm64.deb 1.01+20221019git70cb339+dfsg arm64 Debian main
berkeley-abc_1.01+20221019git70cb339+dfsg-4_armel.deb 1.01+20221019git70cb339+dfsg armel Debian main
berkeley-abc_1.01+20221019git70cb339+dfsg-4_armhf.deb 1.01+20221019git70cb339+dfsg armhf Debian main
berkeley-abc_1.01+20221019git70cb339+dfsg-4_i386.deb 1.01+20221019git70cb339+dfsg i386 Debian main
berkeley-abc_1.01+20221019git70cb339+dfsg-4_mips64el.deb 1.01+20221019git70cb339+dfsg mips64el Debian main
berkeley-abc_1.01+20221019git70cb339+dfsg-4_mipsel.deb 1.01+20221019git70cb339+dfsg mipsel Debian main
berkeley-abc_1.01+20221019git70cb339+dfsg-4_ppc64el.deb 1.01+20221019git70cb339+dfsg ppc64el Debian main
berkeley-abc_1.01+20221019git70cb339+dfsg-4_s390x.deb 1.01+20221019git70cb339+dfsg s390x Debian main


نیازمندی

مقدار نام
- libbz2-1.0
>= 2.34 libc6
>= 3.4 libgcc-s1
>= 6.0 libreadline8
>= 11 libstdc++6
>= 1:1.1.4 zlib1g


نحوه نصب


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

    sudo apt-get install berkeley-abc_1.01+20221019git70cb339+dfsg-4_amd64.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