دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal System Verification: State-of the-Art and Future Trends
دانلود کتاب تأیید رسمی سیستم: روندهای پیشرفته و آینده
مشخصات کتاب
Formal System Verification: State-of the-Art and Future Trends
ویرایش:
نویسندگان: Drechsler. Rolf
سری:
ISBN (شابک) : 9783319576831, 3319576852
ناشر: Springer International Publishing : Imprint : Springer
سال نشر: 2018
تعداد صفحات: 0
زبان: English
فرمت فایل : EPUB (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 39,000
کلمات کلیدی مربوط به کتاب تأیید رسمی سیستم: روندهای پیشرفته و آینده: مدارهای الکترونیکی، الکترونیک، مهندسی، میکروالکترونیک، ریزپردازنده ها، کتاب های الکترونیکی
در صورت تبدیل فایل کتاب Formal System Verification: State-of the-Art and Future Trends به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید رسمی سیستم: روندهای پیشرفته و آینده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تأیید رسمی سیستم: روندهای پیشرفته و آینده
تکنیک های رسمی برای تأیید و تجزیه و تحلیل پوشش سیستم های آنالوگ -- تأیید طرح های ناقص -- بررسی مدل احتمالی: پیشرفت ها و کاربردها -- نرم افزار از دیدگاه سخت افزار -- تأیید رسمی -- دیدگاه صنعتی مقدمه ای بر تایید رسمی سخت افزار و نرم افزار کارشناسان پیشرو جهان از حوزه تکنیک‌های اثبات رسمی آخرین پیشرفت‌ها را از توصیف سطح سیستم الکترونیکی (ESL) تا سطح انتقال ثبت (RTL) نشان می‌دهند. نویسندگان در لایه های مختلف انتزاع نشان می دهند که چگونه روش های رسمی می توانند به اطمینان از صحت عملکرد کمک کنند. پوشش شامل آخرین نتایج تحقیقات دانشگاهی و همچنین توصیف ابزارهای صنعتی و مطالعات موردی است. ارائه آخرین نتایج در مورد روش های رسمی در طول جریان طراحی کامل. لایه های انتزاعی مختلف، از ESL تا RTL را پوشش می دهد. به تأیید رسمی در هر دو زمینه دیجیتال و آنالوگ می پردازد. تکنیک هایی را در استفاده صنعتی فعلی نشان می دهد.
توضیحاتی درمورد کتاب به خارجی
Formal Techniques for Verification and Coverage Analysis of Analog Systems -- Verification of Incomplete Designs -- Probabilistic Model Checking: Advances and Applications -- Software in a Hardware View -- Formal Verification -- The Industrial Perspective.;This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level (RTL). The authors demonstrate at different abstraction layers how formal methods can help to ensure functional correctness. Coverage includes the latest academic research results, as well as descriptions of industrial tools and case studies. Provides latest results on formal methods along the complete design flow; Covers different abstraction layers, from ESL to RTL; Addresses formal verification in both digital and analog contexts; Demonstrates techniques in current industrial use.
فهرست مطالب
Front Matter....Pages i-xvi
Formal Techniques for Verification and Coverage Analysis of Analog Systems....Pages 1-35
Verification of Incomplete Designs....Pages 37-72
Probabilistic Model Checking: Advances and Applications....Pages 73-121
Software in a Hardware View....Pages 123-154
Formal Verification—The Industrial Perspective....Pages 155-182
