مشخصات کتاب

The E hardware verification language

ویرایش:  
نویسندگان: Sasan Iman,  Sunita Joshi  
سری:  
ISBN (شابک) : 1402080247, 9781402080241 
ناشر: Kluwer Academic Publishers  
سال نشر: 2004 
تعداد صفحات: 372 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 8 مگابایت 

در صورت تبدیل فایل کتاب The E hardware verification language به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب زبان تأیید سخت افزار E نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب زبان تأیید سخت افزار E

من خوشحالم که این کتاب جدید در مورد زبان الکترونیکی و تأیید را می بینم. من به ویژه خوشحالم که شرحی از روش استفاده مجدد الکترونیکی (eRM) را می بینم. هدف اصلی تأیید، در نهایت، یافتن سریعتر اشکالات بیشتر با استفاده از منابع داده شده است، و استفاده مجدد تأیید (ماژول به سیستم، سیستم قدیمی به سیستم جدید و غیره) یک مؤلفه فعال کننده کلیدی است. این کتاب رویکرد جدیدی را در آموزش زبان تأیید سخت‌افزار الکترونیکی در چارچوب روش‌شناسی تأیید پوشش محور ارائه می‌دهد. امیدوارم به خواننده کمک کند تا بسیاری از موضوعات مهم و جالب در مورد تأیید سخت افزار را درک کند. Yoav Hollander موسس و CTO، Verisity Inc. مقدمه این کتاب پوشش مفصلی از زبان تأیید سخت افزار الکترونیکی (HVL)، روش های پیشرفته تأیید صحت، و استفاده از e HVL به عنوان یک ابزار تأیید تسهیل کننده در اجرای وضعیت ارائه می کند. محیط تأیید هنر این شامل توصیفات جامعی از مفاهیم جدید معرفی شده توسط زبان الکترونیکی، نحو زبان الکترونیکی و معناشناسی مرتبط با آن است. این کتاب همچنین نماها و الزامات معماری محیط‌های تأیید (محیط‌های تولید شده به‌طور تصادفی، محیط‌های تأیید پوشش محور و غیره)، بلوک‌های تأیید در نماهای معماری (به عنوان مثال ژنراتورها، آغازگرها، نمایشگرها، چک‌کننده‌ها، مانیتورها، تعاریف پوشش) را توضیح می‌دهد. و غیره) و پیاده سازی آنها با استفاده از e HVL. علاوه بر این، روش استفاده مجدد الکترونیکی (eRM)، انگیزه تعریف چنین دستورالعملی، و دستورالعمل های گام به گام برای ساخت مؤلفه تأیید الکترونیکی سازگار با eRM (eVC) نیز مورد بحث قرار گرفته است.

توضیحاتی درمورد کتاب به خارجی

I am glad to see this new book on the e language and on verification. I am especially glad to see a description of the e Reuse Methodology (eRM). The main goal of verification is, after all, finding more bugs quicker using given resources, and verification reuse (module-to-system, old-system-to-new-system etc. ) is a key enabling component. This book offers a fresh approach in teaching the e hardware verification language within the context of coverage driven verification methodology. I hope it will help the reader und- stand the many important and interesting topics surrounding hardware verification. Yoav Hollander Founder and CTO, Verisity Inc. Preface This book provides a detailed coverage of the e hardware verification language (HVL), state of the art verification methodologies, and the use of e HVL as a facilitating verification tool in implementing a state of the art verification environment. It includes comprehensive descriptions of the new concepts introduced by the e language, e language syntax, and its as- ciated semantics. This book also describes the architectural views and requirements of verifi- tion environments (randomly generated environments, coverage driven verification environments, etc. ), verification blocks in the architectural views (i. e. generators, initiators, c- lectors, checkers, monitors, coverage definitions, etc. ) and their implementations using the e HVL. Moreover, the e Reuse Methodology (eRM), the motivation for defining such a gui- line, and step-by-step instructions for building an eRM compliant e Verification Component (eVC) are also discussed.

فهرست مطالب

Cover......Page 1
Table of Contents......Page 8
CHAPTER 1 Introduction......Page 24
CHAPTER 2 Verification Methodologies......Page 34
CHAPTER 3 Anatomy of a Verification Environment......Page 54
CHAPTER 4 e as a Programming Language......Page 76
CHAPTER 5 e as a Verification Language......Page 104
CHAPTER 6 Generator Operation......Page 128
CHAPTER 7 Data Modeling and Stimulus Generation......Page 144
CHAPTER 8 Sequence Generation......Page 160
CHAPTER 9 Temporal Expressions......Page 188
CHAPTER 10 Messages......Page 212
CHAPTER 11 Collectors and Monitors......Page 222
CHAPTER 12 Scoreboarding......Page 236
CHAPTER 13 Coverage Engine......Page 248
CHAPTER 14 Coverage Modeling......Page 268
CHAPTER 15 e Reuse Methodology......Page 290
CHAPTER 16 si_util Package......Page 302
Appendices......Page 326
Index......Page 366

نظرات کاربران

کتاب های تصادفی

دانلود کتاب The Bioarchaeology of Violence

دانلود کتاب Eat Rich, Live Long

دانلود کتاب Handbook of Effective Management: How to Manage or Supervise Strategically

دانلود کتاب Glotta 70 [3-4]

دانلود کتاب The Letters of Peter Damian (151-180)