![دانلود کتاب [Journal] Assembly Automation. Volume 23. Number 2](https://balyan.ir/wp-content/uploads/2023/03/0201/0a36f9917575bc635182e47e19839ceb-150x150.jpg)
دانلود کتاب Assertion-Based Design
49,000 تومان
طراحی مبتنی بر ادعا
| موضوع اصلی | سیستم های اطلاعاتی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Kluwer Academic |
| تعداد صفحه | 405 |
| حجم فایل | 5 مگابایت |
| کد کتاب | 1402080271,9781402080289,9781402080272 |
| نوبت چاپ | دومین |
| نویسنده | Adam C. Krolnik, David J. Lacey, Harry D. Foster |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2004 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
طراحی مبتنی بر ادعا
تمرکز طراحی مبتنی بر ادعا، ویرایش دوم، سه مورد است: – نحوه مشخص کردن ادعاها، – نحوه ایجاد و اتخاذ روشی که از طراحی مبتنی بر ادعا (عمدتا برای طراحی RTL) پشتیبانی میکند، – با اظهارات چه باید کرد و روششناسی زمانی که آنها را داشته باشید. برای حمایت از این سه هدف فراگیر، انواع مختلفی از مشخصات ادعا را به نمایش میگذاریم: کتابخانه تأیید باز Accellera (OVL)، Accellera Property Specification Language (PSL) و Accellera System Verilog. توصیهها و ادعاهایی که ارائه میکنیم. در این کتاب بر اساس تجربیات واقعی ترکیبی ما در به کارگیری روش شناسی مبتنی بر ادعا برای طراحی و تأیید واقعی و همچنین کار ما در توسعه استانداردهای ادعای صنعت است. تفاوت بین نسخه اول و ویرایش دوم شامل موارد زیر است: در نسخههای جدیدتر استانداردها، – تصحیح اشتباهات شناسایی شده در بازخورد بازبین، – مطالب جدیدی که تکنیکهایی را برای جلوگیری از اشتباهات رایج ابهام ارائه میکند، – کار جدید مقاله ای که مدل سازی الزامات سطح بالا برای مشخصات را مورد بحث قرار می دهد.
Assertion-Based Design
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.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.