دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Methods in Circuit Design
دانلود کتاب روشهای رسمی در طراحی مدار
مشخصات کتاب
Formal Methods in Circuit Design
ویرایش:
نویسندگان: Victoria Stavridou
سری: Cambridge Tracts in Theoretical Computer Science 37
ISBN (شابک) : 0521443369, 9780521443364
ناشر: Cambridge University Press
سال نشر: 1993
تعداد صفحات: 210
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 33,000
در صورت تبدیل فایل کتاب Formal Methods in Circuit Design به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روشهای رسمی در طراحی مدار نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روشهای رسمی در طراحی مدار
رشد سریع در بازار VLSI به این معنی است که تولید کنندگان برای ارائه محصولات پیچیده، قابل اعتماد و مقرون به صرفه تحت فشار هستند. با تبدیل شدن رایانه ها به بخش جدایی ناپذیر سیستم های حیاتی ایمنی، قابلیت اطمینان روز به روز اهمیت بیشتری پیدا می کند. تکنیک‌های رسمی که در تأیید نرم‌افزار استفاده شده‌اند، به حوزه سخت‌افزاری مهاجرت کرده‌اند، جایی که به دلایل مختلف، از برخی جهات موفق‌تر بوده‌اند. این کتاب عوامل پشت سر این موفقیت را تحلیل می‌کند و مجموعه‌ای از معیارها را تدوین می‌کند که رویکردهای مختلف تأیید سخت‌افزار را می‌توان بر اساس آن مورد قضاوت قرار داد. این شامل شناسایی نیازمندی‌های سخت‌افزاری و مسائل مؤثر بر استفاده صنعتی از روشهای رسمی است. دکتر استاوریدو همچنین یک چشم انداز کلی از این زمینه را ارائه می دهد، مطالعات موردی فرمالیسم های مختلف را ارائه می دهد و در نهایت یک رویکرد جبری برای مشخصات و تأیید سیستم های دیجیتال همزمان را توصیف می کند. این کتاب منحصربه‌فرد می‌تواند توسط دانش‌آموزان و معلمان برای دوره‌های تأیید سخت‌افزار، توسط طراحان سخت‌افزاری که به دنبال آشنایی با روشهای رسمی هستند، و توسط محققان علاقه‌مند به مشخصات جبری مورد استفاده قرار گیرد.
توضیحاتی درمورد کتاب به خارجی
The rapid growth in the VLSI market has meant that manufacturers are under pressure to deliver increasingly complex, reliable, and cost effective products. Dependability is becoming more and more important as computers become an integral part of safety critical systems. Formal techniques that have been used in software verification have migrated into the hardware domain, where for a variety of reasons, they have been in some respects more successful. This book analyzes the factors behind this success and formulates a set of criteria against which various approaches to hardware verification may be judged. This involves identifying the hardware requirements and the issues affecting the industrial use of formal methods. Dr. Stavridou also provides an overall perspective of the field, supplies case studies of various formalisms and finally describes an algebraic approach to the specification and verification of synchronous digital systems. This unique book can be used by students and teachers for courses in hardware verification, by hardware designers seeking an introduction to formal methods, and by researchers interested in algebraic specification.
