دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Enhanced Virtual Prototyping: Featuring RISC-V Case Studies
دانلود کتاب نمونه سازی مجازی پیشرفته: دارای مطالعات موردی RISC-V
مشخصات کتاب
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
قیمت کتاب (تومان) : 60,000
در صورت تبدیل فایل کتاب 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.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Magnetism. / Vol. 2, Materials and applications
دانلود کتاب How Much Can a Bare Bear Bear?: What Are Homonyms and Homophones? (Words Are Categorical)
