مكتبة جرير

Robustness and Usability in Modern Design Flows

كتاب مطبوع
561ر.س.
شامل ضريبة القيمة المضافة
وحدة البيع: EACH
34ر.س.شهرياً/24 شهر
المؤلف:Drechsler, Rolf
تاريخ النشر: 2010
تصنيف الكتاب:كتب الهندسة,الكتب الانجليزية,
عدد الصفحات:186 Pages
الصيغة:غلاف ورقي
هذا الكتاب يُطبع عند الطلب وغير قابل للاسترجاع بعد الشراء

الصيغ المتوفرة:

كتاب مطبوع

سيتم إرسال الطلب الى عنوانك

561ر.س.
شامل الضريبة

حدد خيار التوصيل الذي تفضله

أو

عن المنتج

Dedication. List of Figures. List of Tables. Preface. 1. Introduction. 2. Preliminaries. 2.1 Boolean Reasoning. 2.2 Circuits. 2.3 Formal Verification. 2.4 Automatic Test Pattern Generation. 3. Algorithms and Data Structures. 3.1 Combining SAT and BDD Provers. 3.2 Summary and Future Work. 4. Synthesis. 4.1 Synthesis of SystemC. 4.2 Synthesis for Testability. 4.3 Summary and Future Work. 5. Property Generation. 5.1 Detecting Gaps in Testbenches. 5.2 Design Understanding. 5.3 Summary and Future Work. 6. Diagnosis. 6.1 Comparing SAT-based and Simulation-based Approaches. 6.2 Generating Counterexamples for Diagnosis. 6.3 Debugging Properties. 6.4 Summary and Future Work. 7. Summary and Conclusions. References. Index of Symbols. Index.
عرض أكثر

المواصفات

رقم الصنف9789048176625
رقم المصنع9789048176625
تاريخ النشر2010
عرض أكثر

أبلغ عن مشكلة مع هذا المنتج

مراجعات العملاء