ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب The e-Hardware Verification Language (Information Technology: Transmission, Processing and Storage)

دانلود کتاب زبان تایید سخت افزار الکترونیکی (فناوری اطلاعات: انتقال، پردازش و ذخیره سازی)

The e-Hardware Verification Language (Information Technology: Transmission, Processing and Storage)

مشخصات کتاب

The e-Hardware Verification Language (Information Technology: Transmission, Processing and Storage)

دسته بندی: زبانشناسی
ویرایش: 1 
نویسندگان:   
سری:  
ISBN (شابک) : 1402080239, 9781402080234 
ناشر: Springer 
سال نشر: 2004 
تعداد صفحات: 372 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 مگابایت

قیمت کتاب (تومان) : 54,000

در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 8


در صورت تبدیل فایل کتاب The e-Hardware Verification Language (Information Technology: Transmission, Processing and Storage) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب زبان تایید سخت افزار الکترونیکی (فناوری اطلاعات: انتقال، پردازش و ذخیره سازی) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب زبان تایید سخت افزار الکترونیکی (فناوری اطلاعات: انتقال، پردازش و ذخیره سازی)

من خوشحالم که این کتاب جدید در مورد زبان الکترونیکی و تأیید را می بینم. من به ویژه خوشحالم که شرحی از روش استفاده مجدد الکترونیکی (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




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی