معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

توضیحات

CoreIR Symbolic Analyzer

ویژگی	مقدار
سیستم عامل	-
نام فایل	CoSA-0.4
نام	CoSA
نسخه کتابخانه	0.4
نگهدارنده	[]
ایمیل نگهدارنده	[]
نویسنده	Cristian Mattarei
ایمیل نویسنده	cristian.mattarei@gmail.com
آدرس صفحه اصلی	http://github.com/cristian-mattarei/CoSA
آدرس اینترنتی	https://pypi.org/project/CoSA/
مجوز	BSD

================================ CoSA: CoreIR Symbolic Analyzer ================================ CoSA is an SMT-based symbolic model checker for hardware design. Supported Input Formats ======================= * CoreIR (https://github.com/rdaly525/coreir) * Verilog * SystemVerilog * Symbolic Transition System * Explicit Transition System * BTOR2 (https://github.com/Boolector/btor2tools) Supported Verifications ======================= * Invariant Properties * LTL Properties * Proving capabilities * Equivalence Checking * Parametric (Invariant) Model Checking * Fault Analysis * Automated Lemma Extraction CoSA relies on PySMT (http://www.pysmt.org), which is a solver agnostic library to interface with SMT solvers. For more information visit http://github.com/cristian-mattarei/CoSA

نیازمندی

مقدار	نام
-	six
-	pyparsing
-	pysmt
-	coreir
-	hwtypes

نحوه نصب

نصب پکیج whl CoSA-0.4:

pip install CoSA-0.4.whl

نصب پکیج tar.gz CoSA-0.4:

pip install CoSA-0.4.tar.gz