شابک
شابک
1461478634
شماره کتابشناسی ملی
کد کشور
IR
شماره
EN-57478
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Correct-by-construction approaches for SoC design
نام عام مواد
[Book]
نام نخستين پديدآور
/ Roopak Sinha, Parthasarathi Roop, Samik Basu
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York
نام ناشر، پخش کننده و غيره
: Springer,
تاریخ نشرو بخش و غیره
, 2013?.
يادداشت کلی
متن يادداشت
Print version:: Sinha, Roopak.: Correct-by-construction system on chip design1461478634.
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Electronic
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index..
یادداشتهای مربوط به مندرجات
متن يادداشت
Summary: This book describes an approach for designing Systems-on-Chip such that the system meets precise mathematical requirements. The methodologies presented enable embedded systems designers to reuse intellectual property (IP) blocks from existing designs in an efficient, reliable manner, automatically generating correct SoCs from multiple, possibly mismatching, components. Provides a single-source reference to correct-by-construction SoC design; Enables optimized design cycles, with techniques to reuse IP blocks reliably; Uses realistic SoC case studies to highlight the concepts introduced; Demonstrates techniques using industrial standard SoC frameworks such as ARM AMBA.
متن يادداشت
System-on-A-Chip Design --The AMBA SOC Platform -- Automatic Verification using Model and Module Checking -- Models for SoCs and Specifications -- SoC Design Methodology -- Automatic Protocol Conversion -- Related Work and Outlook -- Appendix: Converter Generation Algorithm.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Systems on a chip, Design and construction
موضوع مستند نشده
COMPUTERS / General, bisacsh
رده بندی کنگره
شماره رده
E-BOOK
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
Sinha, Roopak
مستند نام اشخاص تاييد نشده
Roop, Parthasarathi
مستند نام اشخاص تاييد نشده
Basu, Samik
مبدا اصلی
کشور
ایران
دسترسی و محل الکترونیکی
نام ميزبان
9781461478638.pdf
شماره دسترسي
عادی
اطلاعات مختصر
عادی
تاريخ و ساعت مذاکره و دسترسي
9781461478638.pdf
نوع فرمت الکترونيکي
متن
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
e
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
