خرید و دانلود نسخه کامل کتاب Self-Powered Internet of Things: How Energy Harvesters Can Enable Energy-Positive Sensing, Processing, and Communication
خرید و دانلود نسخه کامل کتاب Self-Powered Internet of Things: How Energy Harvesters Can Enable Energy-Positive Sensing, Processing, and Communication قیمت اصلی 161,000 تومان بود.قیمت فعلی 86,000 تومان است.
بازگشت به محصولات
خرید و دانلود نسخه کامل کتاب Advanced Tutorial on Analog Circuit Design
خرید و دانلود نسخه کامل کتاب Advanced Tutorial on Analog Circuit Design قیمت اصلی 173,000 تومان بود.قیمت فعلی 98,000 تومان است.
📥 ترافیک اینترنت مصرفی جهت دانلود فایل‌ها در الی فایل، به‌صورت نیم‌بها می باشد.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
07ساعت
49دقیقه
19ثانیه

خرید و دانلود نسخه کامل کتاب Formal Verification: An Essential Toolkit for Modern VLSI Design

قیمت اصلی 159,000 تومان بود.قیمت فعلی 84,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 مگابایت
1 آیتم فروخته شده در 55 دقیقه
4 نفر در حال مشاهده این محصول هستند!
توضیحات

آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.

توضیحاتی در مورد کتاب



تأیید رسمی: یک جعبه ابزار ضروری برای طراحی مدرن VLSI، ویرایش دوم رویکردهای عملی را برای طراحی و اعتبار سنجی ارائه می‌کند، همراه با توصیه‌های عملی برای کمک به مهندسان شاغل در ادغام این تکنیک‌ها در کارشان. تأیید رسمی (FV) یک طراح را قادر می‌سازد تا بدون استفاده از شبیه‌سازی، کیفیت یا سایر جنبه‌های طراحی سطح انتقال ثبت (RTL) را مستقیماً تجزیه و تحلیل و بررسی کند. این می تواند زمان صرف شده برای اعتبارسنجی طرح ها را کاهش دهد و سریعتر به طرح نهایی برای تولید برسد. این کتاب با تکیه بر دانش اولیه SystemVerilog، FV را ابهام می‌کند و کاربردهای عملی را ارائه می‌کند که آن را وارد جریان اصلی طراحی و فرآیندهای اعتبار سنجی می‌کنند.

هر فصل در ویرایش دوم ارائه شده است. به روز شده تا منعکس کننده شیوه های در حال تحول FV و تکنیک های پیشرفته باشد. علاوه بر این، فصل جدیدی با نام رسمی Signoff در پروژه‌های واقعی، دستورالعمل‌هایی را برای پیاده‌سازی FV با کیفیت نشانه‌گیری ارائه می‌کند، که به طور کامل برخی از وظایف شبیه‌سازی را با روش‌های FV بسیار پربازده‌تر جایگزین می‌کند. پس از خواندن این کتاب، خوانندگان آماده خواهند بود تا FV را در سازمان خود معرفی کنند تا به طور موثر تکنیک های FV را که بهره وری طراحی و اعتبار سنجی را افزایش می دهد، به کار گیرند.

نظرات (0)

نقد و بررسی‌ها

هنوز بررسی‌ای ثبت نشده است.

اولین کسی باشید که دیدگاهی می نویسد “خرید و دانلود نسخه کامل کتاب Formal Verification: An Essential Toolkit for Modern VLSI Design”

نشانی ایمیل شما منتشر نخواهد شد. بخش‌های موردنیاز علامت‌گذاری شده‌اند *