Open verification methodology cookbook

کتاب آشپزی Glasser، روش تأیید باز

تأیید عملکردی است یک هنر به اندازه یک علم این نه تنها به خلاقیت و حیله گری نیاز دارد، بلکه به یک روش شناسی روشن نیز برای نزدیک شدن به مشکل نیاز دارد. روش تأیید باز (OVM) یک روش پیشرو برای تأیید طرح ها در سطوح چندگانه انتزاعی است. این ایده‌ها از مهندسی برق، سیستم‌ها و نرم‌افزار را گرد هم می‌آورد تا یک روش کامل برای تأیید طرح‌های سیستم روی تراشه (SoC) در مقیاس بزرگ ارائه دهد. OVM رویکردی را برای توسعه معماری‌های testbench تعریف می‌کند تا ماژولار، قابل تنظیم و قابل استفاده مجدد باشند.

این کتاب برای کمک به مهندسان تازه کار و باتجربه راستی‌آزمایی برای تسلط بر OVM از طریق مثال‌های گسترده طراحی شده است. اصول اولیه تأیید را تشریح می کند و اصول مدل سازی در سطح تراکنش (TLM) را توضیح می دهد. این خوانندگان را از ارتباط ساده یک تولید کننده و یک مصرف کننده از طریق میزهای آزمایشی کامل خود بررسی می کند. تکنیک های ساخت و ساز برای ساخت اجزای تست قابل تنظیم و قابل استفاده مجدد و نحوه استفاده از TLM برای برقراری ارتباط بین آنها را توضیح می دهد. عناصری مانند عوامل و توالی به تفصیل توضیح داده شده است.

• ارجاع ضروری به روش تأیید باز (OVM) را ارائه می دهد؛

< LI>یک تازه کار OVM را قادر می سازد تا میزهای آزمایشی با کیفیت تولید بسازد؛

• بر توسعه عناصر میز تست قابل استفاده مجدد تمرکز می کند؛
• نمونه‌های متعدد، کامل و کاربردی ارائه می‌کند که نکات کلیدی متن را نشان می‌دهد و خوانندگان می‌توانند به عنوان الگو در کار خود استفاده کنند.

</ P>

\"کتاب آشپزی OVM مانند کتاب‌های الگوی موفق برای زبان‌های برنامه‌نویسی، راه ثابتی برای حل مشکلات تأیید ارائه می‌کند، فراتر از آنچه قراردادهای نام‌گذاری و یک چارچوب خوب طراحی شده می‌توانند ارائه دهند. من کتاب آشپزی OVM را منبع ارزشمندی برای خودم و همچنین به عنوان راهی برای شروع سریع بقیه یک تیم بر روی یک متدولوژی جدید یافته‌ام. این کتاب بینش بسیار خوبی در مورد استفاده از روش OVM ارائه می‌کند و اصطلاحات مورد استفاده در محیط‌های تأیید مدرن را روشن می‌کند. \"

- وارن استپلتون (همکار ارشد، AMD)

Glasser, Open Verification Methodology Cookbook

Functional verification is an art as much as a science. It requires not only creativity and cunning, but also a clear methodology to approach the problem. The Open Verification Methodology (OVM) is a leading-edge methodology for verifying designs at multiple levels of abstraction. It brings together ideas from electrical, systems, and software engineering to provide a complete methodology for verifying large scale System-on-Chip (SoC) designs. OVM defines an approach for developing testbench architectures so they are modular, configurable, and reusable.

This book is designed to help both novice and experienced verification engineers master the OVM through extensive examples. It describes basic verification principles and explains the essentials of transaction-level modeling (TLM). It leads readers from a simple connection of a producer and a consumer through complete self-checking testbenches. It explains construction techniques for building configurable, reusable testbench components and how to use TLM to communicate between them. Elements such as agents and sequences are explained in detail.

• Offers a must-have reference to the Open Verification Methodology (OVM);
• Enables an OVM novice to build production-quality testbenches;
• Focuses on developing reusable testbench elements;
• Provides numerous, complete, working examples that illustrate the key points in the text and readers can use as templates in their own work.

"Similar in concept to the successful pattern books for programming languages, the OVM Cookbook provides a consistent way to solve verification problems, beyond what naming conventions and a well designed framework can provide. I have found the OVM Cookbook a valuable resource for myself and also as a way to jumpstart the rest of a team on a new methodology. The book provides excellent insights into the use of the OVM methodology and clarifies the terminology used in modern verification environments. "

- Warren Stapleton (Senior Fellow, AMD)