خرید و دانلود نسخه کامل کتاب Formal Verification: An Essential Toolkit for Modern VLSI Design
قیمت اصلی 79,500 تومان بود.42,000 تومانقیمت فعلی 42,000 تومان است.
تعداد فروش: 76
| عنوان فارسی | تأیید رسمی: یک جعبه ابزار ضروری برای طراحی مدرن VLSI |
|---|---|
| عنوان اصلی | Formal Verification: An Essential Toolkit for Modern VLSI Design |
| ویرایش | 2 |
| ناشر | Morgan Kaufmann |
| نویسنده | Erik Seligman, Tom Schubert, M. V. Achutha Kiran Kumar |
| ISBN | 0323956122, 9780323956130 |
| سال نشر | 2023 |
| زبان | English |
| تعداد صفحات | 428 |
| دسته | الکترونیک: VLSI |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 7 مگابایت |
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
تأیید رسمی: یک جعبه ابزار ضروری برای طراحی مدرن VLSI، ویرایش دوم رویکردهای عملی را برای طراحی و اعتبار سنجی ارائه می‌کند، همراه با توصیه‌های عملی برای کمک به مهندسان شاغل در ادغام این تکنیک‌ها در کارشان. تأیید رسمی (FV) یک طراح را قادر می‌سازد تا بدون استفاده از شبیه‌سازی، کیفیت یا سایر جنبه‌های طراحی سطح انتقال ثبت (RTL) را مستقیماً تجزیه و تحلیل و بررسی کند. این می تواند زمان صرف شده برای اعتبارسنجی طرح ها را کاهش دهد و سریعتر به طرح نهایی برای تولید برسد. این کتاب با تکیه بر دانش اولیه SystemVerilog، FV را ابهام می‌کند و کاربردهای عملی را ارائه می‌کند که آن را وارد جریان اصلی طراحی و فرآیندهای اعتبار سنجی می‌کنند.
هر فصل در ویرایش دوم ارائه شده است. به روز شده تا منعکس کننده شیوه های در حال تحول FV و تکنیک های پیشرفته باشد. علاوه بر این، فصل جدیدی با نام رسمی Signoff در پروژه‌های واقعی، دستورالعمل‌هایی را برای پیاده‌سازی FV با کیفیت نشانه‌گیری ارائه می‌کند، که به طور کامل برخی از وظایف شبیه‌سازی را با روش‌های FV بسیار پربازده‌تر جایگزین می‌کند. پس از خواندن این کتاب، خوانندگان آماده خواهند بود تا FV را در سازمان خود معرفی کنند تا به طور موثر تکنیک های FV را که بهره وری طراحی و اعتبار سنجی را افزایش می دهد، به کار گیرند.
نقد و بررسی‌ها
هنوز بررسی‌ای ثبت نشده است.