شابک
شابک
9781461413592
شماره کتابشناسی ملی
کد کشور
IR
شماره
EN-57589
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
System-Level Validatio
نام عام مواد
[Book]
ساير اطلاعات عنواني
:High-Level Modeling and Directed Test Generation Techniques
نام نخستين پديدآور
/ by Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York, NY
نام ناشر، پخش کننده و غيره
: Springer New York :Imprint: Springer,
تاریخ نشرو بخش و غیره
, 2013.
مشخصات ظاهری
نام خاص و کميت اثر
XXI, 247 p. 103 illus., 6 illus. in color., online resource.
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Electronic
یادداشتهای مربوط به مندرجات
متن يادداشت
This book covers state-of-the art techniques for high-level modeling and validation of complex hardware/software systems, including those with multicore architectures. Readers will learn to avoid time-consuming and error-prone validation from the comprehensive coverage of system-level validation, including high-level modeling of designs and faults, automated generation of directed tests, and efficient validation methodology using directed tests and assertions. The methodologies described in this book will help designers to improve the quality of their validation, performing as much validation as possible in the early stages of the design, while reducing the overall validation effort and cost.
متن يادداشت
Introduction -- Modeling and Specification of SoC Designs -- Automated Generation of Directed Tests -- Functional Test Compaction.-Property Clustering and Learning Techniques -- Decision Ordering Based Learning Techniques -- Synchronized Generation of Directed Tests -- Learning-Oriented Property Decomposition Approaches -- Directed Test Generation for Multicore Architectures -- Test Generation for Cache Coherence Validation.-Reuse of System-Level Tests for Implementation Validation -- Conclusion.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Engineering
موضوع مستند نشده
Computer science
موضوع مستند نشده
Electronics
موضوع مستند نشده
Systems engineering
موضوع مستند نشده
Electronic books
رده بندی کنگره
شماره رده
E-BOOK
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Chen, Mingsong.
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
Qin, Xiaoke
مستند نام اشخاص تاييد نشده
Koo, Heon-Mo
مستند نام اشخاص تاييد نشده
Mishra, Prabhat
مستند نام اشخاص تاييد نشده
SpringerLink (Online service)
مبدا اصلی
کشور
ایران
دسترسی و محل الکترونیکی
نام ميزبان
9781461413585.pdf
شماره دسترسي
عادی
اطلاعات مختصر
عادی
تاريخ و ساعت مذاکره و دسترسي
9781461413585.pdf
نوع فرمت الکترونيکي
متن
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
e
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
