Enhanced Virtual Prototyping for Heterogeneous Systems

این کتاب ترکیبی جامع از روش‌شناسی را توصیف می‌کند که به شدت جریان تأیید مبتنی بر نمونه اولیه مجازی (VP) مدرن را برای سیستم‌های ناهمگن روی تراشه (SOC) تقویت می‌کند. به طور خاص، این کتاب جنبه‌های تأیید و تجزیه و تحلیل را در مراحل مختلف جریان تأیید مبتنی بر VP ترکیب می‌کند و با استفاده از تکنیک‌های پیشرفته، مانند آزمایش دگرگونی، آزمایش جریان داده و آزمایش جریان اطلاعات، دیدگاه جدیدی در مورد تأیید ارائه می‌کند. علاوه بر این، این کتاب تأکید زیادی بر روش‌های پیشرفته پوشش محور برای تأیید رفتار عملکردی SOC و همچنین تضمین امنیت آن دارد.

</ p>

• مقدمه ای گسترده برای جریان تأیید مبتنی بر VP مدرن برای SOCهای ناهمگن ارائه می دهد؛
• یک تکنیک آزمایش دگرگونی جدید را برای SOC های ناهمگن معرفی می کند که به مدل های مرجع نیازی ندارد؛
• شامل روش های خودکار و پیشرفته مبتنی بر پوشش جریان داده که برای SystemC طراحی شده است. /VPهای مبتنی بر AMS؛
• روش‌های عملکردی مبتنی بر پوشش را برای تأیید رفتارهای عملکردی مختلف تقویت‌کننده‌های RF توضیح می‌دهد.

This book describes a comprehensive combination of methodologies that strongly enhance the modern Virtual Prototype (VP)-based verification flow for heterogeneous systems-on-chip (SOCs). In particular, the book combines verification and analysis aspects across various stages of the VP-based verification flow, providing a new perspective on verification by leveraging advanced techniques, like metamorphic testing, data flow testing, and information flow testing. In addition, the book puts a strong emphasis on advanced coverage-driven methodologies to verify the functional behavior of the SOC as well as ensure its security.

• Provides an extensive introduction to the modern VP-based verification flow for heterogeneous SOCs;
• Introduces a novel metamorphic testing technique for heterogeneous SOCs which does not require reference models;
• Includes automated advanced data flow coverage-driven methodologies tailored for SystemC/AMS-based VPs;
• Describes enhanced functional coverage-driven methodologies to verify various functional behaviors of RF amplifiers.