توضیحات
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.
————————————————————–
ترجمه ماشینی :
این کتاب مجموعهای جامع از تکنیکها را ارائه میکند که تمام جنبههای کلیدی یک جریان طراحی مبتنی بر نمونه اولیه مجازی (VP) را بهبود میبخشد. نویسندگان بر روشهای تأیید رسمی خودکار، و همچنین تکنیکهای تجزیه و تحلیل و آزمایش با هدایت پوشش پیشرفته، که برای VPهای مبتنی بر SystemC و همچنین نرمافزار مرتبط (SW) طراحی شده است، تأکید میکنند. پوشش همچنین شامل تکنیکهای مدلسازی VP است که جنبههای عملکردی و غیرعملکردی را مدیریت میکند و همچنین تحلیلهای متناظر بین سطح سختافزار و VP را برای استفاده از اطلاعات موجود در سطوح مختلف انتزاع توصیف میکند. همه رویکردها به تفصیل مورد بحث قرار گرفته و به طور گسترده مورد ارزیابی قرار می گیرند، با استفاده از چندین آزمایش برای نشان دادن اثربخشی آنها در افزایش جریان طراحی مبتنی بر VP. علاوه بر این، کتاب تمرکز ویژهای بر RISC-V ISA مدرن دارد، با چندین مطالعه موردی که مدلسازی و همچنین جنبههای تأیید VP و SW را پوشش میدهد.
tag : دانلود کتاب نمونه سازی مجازی پیشرفته: دارای مطالعات موردی RISC-V , Download نمونه سازی مجازی پیشرفته: دارای مطالعات موردی RISC-V , دانلود نمونه سازی مجازی پیشرفته: دارای مطالعات موردی RISC-V , Download Enhanced Virtual Prototyping: Featuring RISC-V Case Studies Book , نمونه سازی مجازی پیشرفته: دارای مطالعات موردی RISC-V دانلود , buy نمونه سازی مجازی پیشرفته: دارای مطالعات موردی RISC-V , خرید کتاب نمونه سازی مجازی پیشرفته: دارای مطالعات موردی RISC-V , دانلود کتاب Enhanced Virtual Prototyping: Featuring RISC-V Case Studies , کتاب Enhanced Virtual Prototyping: Featuring RISC-V Case Studies , دانلود Enhanced Virtual Prototyping: Featuring RISC-V Case Studies , خرید Enhanced Virtual Prototyping: Featuring RISC-V Case Studies , خرید کتاب Enhanced Virtual Prototyping: Featuring RISC-V Case Studies ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.