دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Vlsi Design Methods: International Workshop Proceedings: Formal Very Large Scale Integration Specification and Synthesis
دانلود کتاب روش های طراحی Vlsi: مجموعه مقالات کارگاه بین المللی: مشخصات ادغام و سنتز رسمی در مقیاس بسیار بزرگ
مشخصات کتاب
Vlsi Design Methods: International Workshop Proceedings: Formal Very Large Scale Integration Specification and Synthesis
ویرایش: [v. 1]
نویسندگان: Luc J. M. Claesen
سری:
ISBN (شابک) : 0444886893, 9780444886897
ناشر: Elsevier Science Ltd
سال نشر: 1990
تعداد صفحات: 417
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 4 Mb
قیمت کتاب (تومان) : 42,000
در صورت تبدیل فایل کتاب Vlsi Design Methods: International Workshop Proceedings: Formal Very Large Scale Integration Specification and Synthesis به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش های طراحی Vlsi: مجموعه مقالات کارگاه بین المللی: مشخصات ادغام و سنتز رسمی در مقیاس بسیار بزرگ نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روش های طراحی Vlsi: مجموعه مقالات کارگاه بین المللی: مشخصات ادغام و سنتز رسمی در مقیاس بسیار بزرگ
تأیید عملکردی و رفتاری صحت، گلوگاه را در سیستم‌های طراحی فعلی VLSI تشکیل می‌دهد. به دلایل اقتصادی، طراحی مدارهای VLSI باید قبل از ساخت کاملاً تأیید شود. اعتبار سنجی فعلی VLSI عمدتاً از طریق شبیه سازی گسترده انجام می شود. جایگزین در حال ظهور بر اساس طراحی رسمی و روش های تأیید است که صحت را تضمین می کند. این کتاب کار اصلی را در تمام جنبه های روش های طراحی سخت افزار رسمی توصیف می کند. موضوعات تحت پوشش عبارتند از مشخصات سطح بالا، زبان‌های توصیف سخت‌افزار، روش‌های تأیید سخت‌افزار رسمی، روش‌های سنتز هدایت‌شده، تبدیل‌های حفظ صحت، استفاده از اثبات‌کننده‌های قضیه برای تأیید، اثبات رسمی صحت، روش‌های تأیید زمان‌بندی MOS، طراحی برای تأییدپذیری، و تجربیات عملی.
توضیحاتی درمورد کتاب به خارجی
Functional and behavioral verification of correctness forms the bottleneck in current VLSI design systems. For economical reasons, design of VLSI circuits must be completely validated before manufacturing. Current VLSI validation is mainly done through extensive simulation. The emerging alternative is based on formal design and verification methods that guarantee correctness. This book describes original work in all aspects of formal hardware design methods. Topics covered include high-level specification, hardware description languages, formal hardware verification methods, guided synthesis methods, correctness preserving transformations, use of theorem provers for verification, formal proof of correctness, MOS timing verification methods, design for verifiability, and practical experiences.
