خرید و دانلود نسخه کامل کتاب Multicore Systems-on-chip: Practical Hardware/Software Design Issues

توضیحاتی در مورد کتاب

طراحی ارتباطات روی تراشه مرسوم عمدتاً از رویکردهای ad-hoc استفاده می‌کند که با چالش‌های ناشی از طراحی‌های نسل بعدی سیستم‌های چند هسته‌ای روی تراشه (MCSoC) مواجه نمی‌شوند. این چالش‌های اصلی شامل تاخیر سیم‌کشی، قابلیت پیش‌بینی، معماری‌های متنوع اتصال و اتلاف برق است. پارادایم شبکه روی تراشه (NoC) به عنوان راه حلی برای مشکلات اتصال ده ها هسته به یک سیستم واحد روی تراشه در حال ظهور است. با این حال، مشکلات زیادی در طراحی چنین سیستم هایی وجود دارد. این مشکلات از تأخیرهای سیم جهانی غیر مقیاس پذیر، عدم دستیابی به همگام سازی جهانی و مشکلات مرتبط با اتصالات عملکردی مبتنی بر گذرگاه غیر مقیاس پذیر ناشی می شوند.

این کتاب از سه بخش تشکیل شده است که هر بخش به چهار فصل تقسیم شده است. بخش اول به مسائل طراحی و روش شناسی می پردازد. معماری‌های مورد استفاده در روش‌های مرسوم طراحی MCsoC و معماری‌های چند پردازنده سفارشی به اندازه کافی انعطاف‌پذیر نیستند تا نیازهای حوزه‌های کاربردی مختلف را برآورده کنند و به اندازه کافی مقیاس‌پذیر نیستند تا نیازهای محاسباتی مختلف و پیچیدگی‌های مختلف برنامه‌های کاربردی مختلف را برآورده کنند. چندین فصل از بخش اول بر تکنیک ها و روش های طراحی تاکید می کند.

بخش دوم حیاتی ترین بخش طراحی MCsoCها، اتصالات را پوشش می دهد. یک رویکرد برای پرداختن به روش‌های طراحی، اتخاذ ویژگی به اصطلاح قابلیت استفاده مجدد برای افزایش بهره‌وری طراحی است. در سال‌های گذشته، واحدهای طراحی اولیه از ترانزیستورها به گیت‌ها، ماشین‌های حالت محدود و هسته‌های پردازنده تکامل یافتند. پارادایم شبکه روی تراشه این ویژگی جذاب را برای آینده ارائه می دهد و می تواند شکاف بهره وری را کاهش دهد.

بخش آخر این کتاب به اعتبارسنجی و بهینه سازی MCsoC ها می پردازد. یک رویکرد کیفی تر اعتبارسنجی سیستم مبتنی بر استفاده از تکنیک های رسمی برای طراحی سخت افزار است. مزیت اصلی روش های رسمی امکان اثبات اعتبار الزامات طراحی ضروری است. از آنجایی که زبان های رسمی دارای پایه ریاضی هستند، می توان به طور رسمی این ویژگی های مورد نظر فضای حالت انتزاعی کامل را استخراج و تأیید کرد. تکنیک‌های تست آنلاین برای شناسایی خطاهایی که می‌توانند منجر به خرابی سیستم شوند نیز بررسی می‌شوند. تأکید بر تکنیک‌های مبتنی بر افزونگی تحلیلی است که برای تشخیص و جداسازی عیب در ناحیه کنترل خودکار ایجاد شده‌اند.