برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Vlsi Specification, Verification and Synthesis

دانلود کتاب مشخصات، تأیید و سنتز Vlsi

مشخصات کتاب

Vlsi Specification, Verification and Synthesis

دسته بندی: الکترونیک: VLSI
ویرایش: illustrated edition 
نویسندگان: Graham Birtwistle. P.A. Subrahmanyam  
سری: Kluwer International Series in Engineering and Computer Science 
ISBN (شابک) : 0898382467, 9780898382464 
ناشر: Kluwer Academic Publishers 
سال نشر: 1987 
تعداد صفحات: 406 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

قیمت کتاب (تومان) : 34,000

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 15

در صورت تبدیل فایل کتاب Vlsi Specification, Verification and Synthesis به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مشخصات، تأیید و سنتز Vlsi نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب مشخصات، تأیید و سنتز Vlsi

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

توضیحاتی درمورد کتاب به خارجی

VLSI Specification, Verification and Synthesis Proceedings of a workshop held in Calgary from 12-16 January 1987. The collection of papers in this book represents some of the discussions and presentations at a workshop on hardware verification held in Calgary, January 12-16 1987. The thrust of the workshop was to give the floor to a few leading researchers involved in the use of formal approaches to VLSI design, and provide them ample time to develop not only their latest ideas but also the evolution of these ideas. In contrast to simulation, where the objective is to assist in detecting errors in system behavior in the case of some selected inputs, the intent of hardware verification is to formally prove that a chip design meets a specification of its intended behavior (for all acceptable inputs). There are several important applications where formal verification of designs may be argued to be cost-effective. Examples include hardware components used in "safety critical" applications such as flight control, industrial plants, and medical life-support systems (such as pacemakers). The problems are of such magnitude in certain defense applications that the UK Ministry of Defense feels it cannot rely on commercial chips and has embarked on a program of producing formally verified chips to its own specification. Hospital, civil aviation, and transport boards in the UK will also use these chips. A second application domain for verification is afforded by industry where specific chips may be used in high volume or be remotely placed.