دانلود کتاب High-Level Verification: Methods and Tools for Verification of System-Level Designs – تأیید سطح بالا: روش ها و ابزارهای تأیید طرح های سطح سیستم

توضیحات

Given the growing size and heterogeneity of Systems on Chip (SOC), the design process from initial specification to chip fabrication has become increasingly complex. This growing complexity provides incentive for designers to use high-level languages such as C, SystemC, and SystemVerilog for system-level design. While a major goal of these high-level languages is to enable verification at a higher level of abstraction, allowing early exploration of system-level designs, the focus so far for validation purposes has been on traditional testing techniques such as random testing and scenario-based testing. This book focuses on high-level verification, presenting a design methodology that relies upon advances in synthesis techniques as well as on incremental refinement of the design process. These refinements can be done manually or through elaboration tools. This book discusses verification of specific properties in designs written using high-level languages, as well as checking that the refined implementations are equivalent to their high-level specifications. The novelty of each of these techniques is that they use a combination of formal techniques to do scalable verification of system designs completely automatically. The verification techniques presented in this book include methods for verifying properties of high-level designs and methods for verifying that the translation from high-level design to a low-level Register Transfer Language (RTL) design preserves semantics. Used together, these techniques guarantee that properties verified in the high-level design are preserved through the translation to low-level RTL.

————————————————————–

ترجمه ماشینی :

با توجه به اندازه و ناهمگونی رو به رشد سیستم های روی تراشه (SOC)، فرآیند طراحی از مشخصات اولیه تا ساخت تراشه به طور فزاینده ای پیچیده شده است. این پیچیدگی فزاینده انگیزه ای را برای طراحان ایجاد می کند تا از زبان های سطح بالا مانند C، SystemC و SystemVerilog برای طراحی در سطح سیستم استفاده کنند. در حالی که هدف اصلی این زبان‌های سطح بالا فعال کردن تأیید در سطح بالاتری از انتزاع است که امکان کاوش اولیه طرح‌های سطح سیستم را فراهم می‌کند، تمرکز تا کنون برای اهداف اعتبارسنجی بر روی تکنیک‌های آزمایش سنتی مانند آزمایش تصادفی و سناریو بوده است. تست مبتنی بر این کتاب بر تأیید سطح بالا تمرکز دارد و یک روش طراحی را ارائه می دهد که بر پیشرفت در تکنیک های سنتز و همچنین بر اصلاح تدریجی فرآیند طراحی متکی است. این اصلاحات را می توان به صورت دستی یا از طریق ابزارهای تفصیلی انجام داد. این کتاب تأیید ویژگی‌های خاص در طرح‌هایی که با استفاده از زبان‌های سطح بالا نوشته شده‌اند را مورد بحث قرار می‌دهد و همچنین بررسی می‌کند که پیاده‌سازی‌های اصلاح‌شده معادل مشخصات سطح بالا هستند. تازگی هر یک از این تکنیک ها این است که از ترکیبی از تکنیک های رسمی برای انجام تأیید مقیاس پذیر طراحی های سیستم به طور کاملاً خودکار استفاده می کنند. تکنیک‌های راستی‌آزمایی ارائه‌شده در این کتاب شامل روش‌هایی برای تأیید ویژگی‌های طرح‌های سطح بالا و روش‌هایی برای تأیید اینکه ترجمه از طراحی سطح بالا به طراحی سطح پایین ثبت زبان انتقال (RTL) معنایی را حفظ می‌کند، است. با استفاده از این تکنیک‌ها، این تکنیک‌ها تضمین می‌کنند که ویژگی‌های تأیید شده در طراحی سطح بالا از طریق ترجمه به RTL سطح پایین حفظ می‌شوند.

tag : دانلود کتاب تأیید سطح بالا: روش ها و ابزارهای تأیید طرح های سطح سیستم , Download تأیید سطح بالا: روش ها و ابزارهای تأیید طرح های سطح سیستم , دانلود تأیید سطح بالا: روش ها و ابزارهای تأیید طرح های سطح سیستم , Download High-Level Verification: Methods and Tools for Verification of System-Level Designs Book , تأیید سطح بالا: روش ها و ابزارهای تأیید طرح های سطح سیستم دانلود , buy تأیید سطح بالا: روش ها و ابزارهای تأیید طرح های سطح سیستم , خرید کتاب تأیید سطح بالا: روش ها و ابزارهای تأیید طرح های سطح سیستم , دانلود کتاب High-Level Verification: Methods and Tools for Verification of System-Level Designs , کتاب High-Level Verification: Methods and Tools for Verification of System-Level Designs , دانلود High-Level Verification: Methods and Tools for Verification of System-Level Designs , خرید High-Level Verification: Methods and Tools for Verification of System-Level Designs , خرید کتاب High-Level Verification: Methods and Tools for Verification of System-Level Designs ,