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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Assertion-Based Design

دانلود کتاب طرح مبتنی بر ادعا

مشخصات کتاب

Assertion-Based Design

دسته بندی: سیستم های اطلاعاتی
ویرایش: 2nd 
نویسندگان: Harry D. Foster,  Adam C. Krolnik,  David J. Lacey  
سری: Information Technology: Transmission, Processing & Storage 
ISBN (شابک) : 1402080271, 9781402080272 
ناشر: Kluwer Academic 
سال نشر: 2004 
تعداد صفحات: 405 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت

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

کلمات کلیدی مربوط به کتاب طرح مبتنی بر ادعا: مهندسی انفورماتیک و کامپیوتر، طراحی سیستم های اطلاعاتی

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

در صورت تبدیل فایل کتاب Assertion-Based Design به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب طرح مبتنی بر ادعا

تمرکز طراحی مبتنی بر ادعا، ویرایش دوم، سه مورد است: - نحوه مشخص کردن ادعاها، - نحوه ایجاد و اتخاذ روشی که از طراحی مبتنی بر ادعا (عمدتا برای طراحی RTL) پشتیبانی می کند، - با ادعاها چه باید کرد و روش‌شناسی زمانی که آنها را داشته باشید. برای پشتیبانی از این سه هدف کلی، ما اشکال متعددی از مشخصات ادعا را به نمایش می‌گذاریم: کتابخانه تأیید باز Accellera (OVL)، Accellera Property Specification Language (PSL) و Accellera System Verilog. توصیه‌ها و ادعاهایی که ارائه می‌کنیم. در این کتاب بر اساس تجربیات واقعی ترکیبی ما در به کارگیری روش شناسی مبتنی بر ادعا برای طراحی و تأیید واقعی و همچنین کار ما در توسعه استانداردهای ادعای صنعت است. تفاوت بین نسخه اول و ویرایش دوم شامل موارد زیر است: در نسخه‌های جدیدتر استانداردها، - تصحیح اشتباهات شناسایی شده در بازخورد بازبین، - مطالب جدیدی که تکنیک‌هایی را برای جلوگیری از اشتباهات رایج ابهام ارائه می‌کند، - مقاله جدید مقاله ای که مدل سازی الزامات سطح بالا برای مشخصات را مورد بحث قرار می دهد.

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

The focus of Assertion-Based Design, Second Edition is three-fold:-How to specify assertions,-How to create and adopt a methodology that supports assertion-based design (predominately for RTL design),-What to do with the assertions and methodology once you have them.To support these three over-arching goals, we showcase multiple forms of assertion specifications: Accellera Open Verification Library (OVL), Accellera Property Specification Language (PSL), and Accellera System Verilog.The recommendations and claims we make in this book are based on our combined actual experiences in applying an assertion-based methodology to real design and verification as well as our work in developing industry assertion standards.Differences between the first edition and the second edition include:-Updates to the manuscript based on newer versions of standards,-Corrections to errata identified during reviewer feedback,-New material that presents techniques on how to avoid common ambiguity errors,-New material that discusses high-level requirements modeling for specification.

فهرست مطالب

Introduction....Pages 1-20
Assertion Methodology....Pages 21-59
Specifying RTL Properties....Pages 61-102
PLI-Based Assertions....Pages 103-123
Functional Coverage....Pages 125-160
Assertion Patterns....Pages 161-210
Assertion Cookbook....Pages 211-266
Specifying Correct Behavior....Pages 267-289