دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Correct-by-Construction Approaches for SoC Design
دانلود کتاب رویکردهای صحیح در ساخت و ساز برای طراحی SoC
مشخصات کتاب
Correct-by-Construction Approaches for SoC Design
ویرایش: 1 نویسندگان: Roopak Sinha, Parthasarathi Roop, Samik Basu (auth.) سری: ISBN (شابک) : 9781461478638, 9781461478645 ناشر: Springer-Verlag New York سال نشر: 2014 تعداد صفحات: 163 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 89,000
کلمات کلیدی مربوط به کتاب رویکردهای صحیح در ساخت و ساز برای طراحی SoC: مدارها و سیستم ها، معماری پردازنده، الکترونیک و میکروالکترونیک، ابزار دقیق
در صورت تبدیل فایل کتاب Correct-by-Construction Approaches for SoC Design به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب رویکردهای صحیح در ساخت و ساز برای طراحی SoC نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب رویکردهای صحیح در ساخت و ساز برای طراحی SoC
این کتاب رویکردی را برای طراحی سیستمهای روی تراشه به گونهای توصیف میکند که سیستم الزامات دقیق ریاضی را برآورده کند. روشهای ارائهشده به طراحان سیستمهای جاسازیشده امکان میدهد تا از بلوکهای مالکیت معنوی (IP) از طرحهای موجود به شیوهای کارآمد و قابل اعتماد مجدد استفاده کنند، و بهطور خودکار SoCهای صحیح را از چندین مؤلفه، احتمالاً ناسازگار، تولید کنند.
توضیحاتی درمورد کتاب به خارجی
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.
فهرست مطالب
Front Matter....Pages i-xxi
System-on-a-Chip Design....Pages 1-10
The AMBA SOC Platform....Pages 11-23
Automatic Verification Using Model and Module Checking....Pages 25-54
Models for SoCs and Specifications....Pages 55-72
SoC Design Methodology....Pages 73-85
Automatic Protocol Conversion....Pages 87-106
Related Work and Outlook....Pages 107-119
Back Matter....Pages 121-144
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Operation Indigo Sky: A Conspiracy Theory
دانلود کتاب Sip: Understanding the Session Initiation Protocol
دانلود کتاب Inequality: An Entangled Political Economy Perspective
دانلود کتاب How Countries Count Crime: An Exercise in Police Discretion
