خرید و دانلود نسخه کامل کتاب Vlsi Specification, Verification and Synthesis

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

مشخصات VLSI، تأیید و ترکیب مجموعه مقالات یک کارگاه آموزشی که از 12 تا 16 ژانویه 1987 در کلگری برگزار شد. مجموعه مقالات این کتاب برخی از بحث ها و ارائه ها را در کارگاهی در مورد تأیید سخت افزار که در کلگری، 12 تا 16 ژانویه 1987 برگزار شد، نشان می دهد. هدف این کارگاه این بود که به چند محقق برجسته که در استفاده از رویکردهای رسمی در طراحی VLSI دخیل بودند، صحبت کنند و زمان کافی برای آنها فراهم شود تا نه تنها آخرین ایده های خود را توسعه دهند، بلکه تکامل این ایده ها را نیز توسعه دهند. برخلاف شبیه‌سازی، جایی که هدف کمک به شناسایی خطاها در رفتار سیستم در مورد برخی از ورودی‌های انتخاب‌شده است، هدف راستی‌آزمایی سخت‌افزار این است که به طور رسمی ثابت کند که طراحی تراشه با مشخصات رفتار مورد نظر خود (برای همه ورودی‌های قابل قبول) مطابقت دارد. ). چندین کاربرد مهم وجود دارد که در آنها تأیید رسمی طرح ها ممکن است مقرون به صرفه باشد. به عنوان مثال می توان به اجزای سخت افزاری مورد استفاده در برنامه های کاربردی “مهم ایمنی” مانند کنترل پرواز، کارخانه های صنعتی و سیستم های پشتیبانی حیات پزشکی (مانند ضربان سازها) اشاره کرد. مشکلات در برخی کاربردهای دفاعی به حدی است که وزارت دفاع بریتانیا احساس می‌کند نمی‌تواند به تراشه‌های تجاری تکیه کند و برنامه تولید تراشه‌های تایید شده رسمی مطابق با مشخصات خود را آغاز کرده است. هیئت‌های بیمارستانی، هواپیمایی کشوری و حمل‌ونقل در بریتانیا نیز از این تراشه‌ها استفاده خواهند کرد. دومین دامنه کاربردی برای تأیید توسط صنعت ارائه می شود که در آن تراشه های خاص ممکن است در حجم بالا استفاده شوند یا از راه دور قرار گیرند.