مشخصات کتاب

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 مگابایت 

کلمات کلیدی مربوط به کتاب تأیید رسمی سیستم: روندهای پیشرفته و آینده: مدارهای الکترونیکی، الکترونیک، مهندسی، میکروالکترونیک، ریزپردازنده ها، کتاب های الکترونیکی

در صورت تبدیل فایل کتاب 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

نظرات کاربران

کتاب های تصادفی

دانلود کتاب The life extension revolution: the new science of growing older without aging

دانلود کتاب Gentrifizierung und Verdrängung. Aktuelle theoretische, methodische und politische Herausforderungen

دانلود کتاب Still Here - The madcap, nervy, singular life of Elaine Strich

دانلود کتاب 10th International Conference on Vibrations in Rotating Machinery : 11-13 September 2012, IMechE, London

دانلود کتاب Finale Power!