معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

دانلود نسخه باینری

توضیحات

System for Sequential Logic Synthesis and Formal Verification

ویژگی	مقدار
سیستم عامل	Linux
توزیع	ALT p9
مخزن	ALTLinux classic i586
نام بسته	alanmi-abc
نام فایل بسته	alanmi-abc-20180617.0.g28a1307-alt1.i586.rpm
نسخه بسته	20180617.0.g28a1307
انتشار بسته	alt1
معماری بسته	i586
نگهدارنده	-
تاریخ ساخت	Tue 19 Jun 2018 08
هاست سازنده	lineprinter-sisyphus.hasher.altlinux.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://people.eecs.berkeley.edu/~alanmi/abc/
مجوز	BSD-style
حجم دانلود	5.1M
حجم نصب	15.620M

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.ppc64le.rpm	20180617.0.g28a1307	ppc64le	ALT classic
alanmi-abc-20180617.0.g28a1307-alt1.x86_64.rpm	20180617.0.g28a1307	x86_64	ALT classic

نیازمندی

مقدار	نام
-	/lib/ld-linux.so.2
-	libc.so.6(GLIBC_2.0)
-	libc.so.6(GLIBC_2.1)
-	libc.so.6(GLIBC_2.1.3)
-	libc.so.6(GLIBC_2.3)
-	libc.so.6(GLIBC_2.3.4)
-	libc.so.6(GLIBC_2.4)
-	libc.so.6(GLIBC_2.7)
-	libdl.so.2(GLIBC_2.0)
-	libdl.so.2(GLIBC_2.1)
-	libgcc_s.so.1(GCC_3.0)
-	libgcc_s.so.1(GLIBC_2.0)
-	libm.so.6(GLIBC_2.0)
-	libpthread.so.0(GLIBC_2.0)
-	libpthread.so.0(GLIBC_2.1)
>= set:nlIfCiwp4	libreadline.so.7
-	rpmlib(SetVersions)
>= set:jiq20	librt.so.1
-	librt.so.1(GLIBC_2.2)
-	libstdc++.so.6(CXXABI_1.3)
-	libstdc++.so.6(CXXABI_1.3.8)
-	libstdc++.so.6(CXXABI_1.3.9)
-	libstdc++.so.6(GLIBCXX_3.4)
-	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.i586.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