مشخصات کتاب

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

ویرایش:  
نویسندگان: Vladimir Herdt,  Daniel Große,  Rolf Drechsler  
سری:  
ISBN (شابک) : 9783030548278, 9783030548285 
ناشر: Springer 
سال نشر: 2021 
تعداد صفحات: 247
[257] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 Mb 

در صورت تبدیل فایل کتاب Enhanced Virtual Prototyping: Featuring RISC-V Case Studies به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب نمونه سازی مجازی پیشرفته: دارای مطالعات موردی RISC-V نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب نمونه سازی مجازی پیشرفته: دارای مطالعات موردی RISC-V

این کتاب مجموعه ای جامع از تکنیک ها را ارائه می دهد که تمام جنبه های کلیدی جریان طراحی مبتنی بر نمونه اولیه مجازی (VP) را بهبود می بخشد. نویسندگان بر روش‌های تأیید رسمی خودکار، و همچنین تکنیک‌های تجزیه و تحلیل و آزمایش با هدایت پوشش پیشرفته، که برای VP‌های مبتنی بر SystemC و همچنین نرم‌افزار مرتبط (SW) طراحی شده است، تأکید می‌کنند. پوشش همچنین شامل تکنیک‌های مدل‌سازی VP است که جنبه‌های عملکردی و غیرعملکردی را مدیریت می‌کند و همچنین تحلیل‌های متناظر بین سطح سخت‌افزار و VP را برای استفاده از اطلاعات موجود در سطوح مختلف انتزاع توصیف می‌کند. همه رویکردها به تفصیل مورد بحث قرار گرفته و به طور گسترده مورد ارزیابی قرار می گیرند، با استفاده از چندین آزمایش برای نشان دادن اثربخشی آنها در افزایش جریان طراحی مبتنی بر VP. علاوه بر این، این کتاب تمرکز ویژه‌ای بر RISC-V ISA مدرن دارد، با چندین مطالعه موردی که مدل‌سازی و همچنین جنبه‌های تأیید VP و SW را پوشش می‌دهد.

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

This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtual Prototype (VP)-based design flow. The authors emphasize automated formal verification methods, as well as advanced coverage-guided analysis and testing techniques, tailored for SystemC-based VPs and also the associated Software (SW). Coverage also includes VP modeling techniques that handle functional as well as non-functional aspects and also describes correspondence analyses between the Hardware- and VP-level to utilize information available at different levels of abstraction. All approaches are discussed in detail and are evaluated extensively, using several experiments to demonstrate their effectiveness in enhancing the VP-based design flow. Furthermore, the book puts a particular focus on the modern RISC-V ISA, with several case-studies covering modeling as well as VP and SW verification aspects.

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

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

دانلود کتاب Neoliberal Hegemony and the Pink Tide in Latin America: Breaking Up With TINA?

دانلود کتاب L’ipotesi comunista

دانلود کتاب 面向计算机科学的数理逻辑 /Mian xiang ji suan ji ke xue de shu li luo ji

دانلود کتاب Literatur und Justiz in der Weimarer Republik

دانلود کتاب Ya Te Enteraste? Did You Hear About Jake? (Lecturas Para Ninos De Verdad - Nivel 2 Real Kids Readers - Level 2) (Spanish Edition)