شاركنا تاريخ ميلادك!
تاريخ الميلاد
تاريخ الميلاد المدخل غير مكتمل يرجى ادخال تاريخ ميلاد صحيح
×
Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring by Marc Boule, Zeljko Zilic, Marc Boula‫(c) - Hardcover
762.06 درهم

Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring by Marc Boule, Zeljko Zilic, Marc Boula‫(c) - Hardcover

كن أول من يقيِّم هذا المنتج 

762.06 درهم 

  - ستوفر -762.06 درهم
الأسعار تشمل ضريبة القيمة المضافة  التفاصيل
رقم ال ISBN
9781402085857
الفئات
التكنولوجيا الصناعية
الكاتب
Marc Boule, Zeljko Zilic, Marc Boula(c)
الناشر
Springer
الوصف:

Assertion-based design is a powerful new paradigm that is facilitating quality improvement in electronic design. Assertions are statements used to describe properties of the design (I.e., design intent), that can be included to actively check correctness throughout the design cycle and even the lifecycle of the product. With the appearance of two new languages, PSL and SVA, assertions have ...

تشحن من الولايات المتحدة
اشحن الى دبي (تغيير المدينة)
التوصيل خلال الأربعاء ٢٩ أغسطس - الجمعة ٣١ أغسطس الي دبي

حالة السلعة:
جديدة
البائع:
InternationalBookStore (87% تقييم ايجابي)

معلومات المنتج

  •  

    المواصفات

    رقم ال ISBN
    9781402085857
    الفئات
    التكنولوجيا الصناعية
    اللغات
    الانجليزية
    الرقم المميز للسلعة
    2724432031323
    المؤلفين
    الكاتب
    Marc Boule, Zeljko Zilic, Marc Boula(c)
    رقم ال ISBN
    9781402085857
    الفئات
    التكنولوجيا الصناعية
    اللغات
    الانجليزية
    الرقم المميز للسلعة
    2724432031323
    المؤلفين
    الكاتب
    Marc Boule, Zeljko Zilic, Marc Boula(c)
    المؤلفين
    الناشر
    Springer
    معلومات تقنية
    غلاف الكتاب
    غلاف صلب
    اللغات والبلدان
    لغة الكتاب
    الانجليزية
    إقرأ المزيد
  •  

    الوصف:

    Assertion-based design is a powerful new paradigm that is facilitating quality improvement in electronic design. Assertions are statements used to describe properties of the design (I.e., design intent), that can be included to actively check correctness throughout the design cycle and even the

    Assertion-based design is a powerful new paradigm that is facilitating quality improvement in electronic design. Assertions are statements used to describe properties of the design (I.e., design intent), that can be included to actively check correctness throughout the design cycle and even the lifecycle of the product. With the appearance of two new languages, PSL and SVA, assertions have already started to improve verification quality and productivity.

    This is the first book that presents an under-the-hood view of generating assertion checkers, and as such provides a unique and consistent perspective on employing assertions in major areas, such as: specification, verification, debugging, on-line monitoring and design quality improvement.

    خصائص المنتج:
    • الفئات: التكنولوجيا الصناعية
    • غلاف الكتاب: غلاف صلب
    • لغة الكتاب: الانجليزية
    • الكاتب: Marc Boule, Zeljko Zilic, Marc Boula(c)
    • الناشر: Springer
    • رقم ال ISBN: 9781402085857
    • عدد الصفحات: 280
    • لأبعاد (الارتفاع*العرض*العمق): 9.21 x 6.14 x 0.69 inches
 

تقييمات المستخدمين

0
لا يوجد تقييمات بعد
كن أول من يقيِّم هذا المنتج
قيِّم هذا المنتج:

إعلانات مُموَّلة لك

×

الرجاء تأكيد رقم هاتفك الجوال لإكمال عملية الشراء

سنقوم بإرسال رسالة نصية تحتوي على رمز التفعيل، الرجاء التأكد من رقم هاتفك الجوال ادناه، ثم انقر على زر "أرسل رمز التفعيل".