تایید صوری: ابزاری ضروری برای طراحی مدرن VLSI ۲۰۲۳
Formal Verification: An Essential Toolkit for Modern VLSI Design 2023

دانلود کتاب تایید صوری: ابزاری ضروری برای طراحی مدرن VLSI ۲۰۲۳ (Formal Verification: An Essential Toolkit for Modern VLSI Design 2023) با لینک مستقیم و فرمت pdf (پی دی اف)

نویسنده

Erik Seligman, Tom Schubert, M. V. Achutha Kiran Kumar

voucher (1)

۳۰ هزار تومان تخفیف با کد «OFF30» برای اولین خرید

سال انتشار

2023

زبان

English

تعداد صفحه‌ها

424

نوع فایل

pdf

حجم

7 Mb

از: قیمت اصلی 200,000 تومان بود.قیمت فعلی 129,000 تومان است.

🏷️ قیمت اصلی: ۳۷۸٬۰۰۰ تومان بود. قیمت فعلی: ۲۹۸٬۰۰۰ تومان.

📥 دانلود نسخه‌ی اصلی کتاب به زبان انگلیسی(PDF)
🧠 به همراه ترجمه‌ی فارسی با هوش مصنوعی 🔗 مشاهده جزئیات

پیش‌خرید با تحویل فوری(⚡️) | فایل کتاب حداکثر تا ۳۰ دقیقه(🕒) پس از ثبت سفارش آماده دانلود خواهد بود.

دانلود مستقیم PDF

ارسال فایل به ایمیل

پشتیبانی ۲۴ ساعته

توضیحات

معرفی کتاب تایید صوری: ابزاری ضروری برای طراحی مدرن VLSI ۲۰۲۳

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

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

توضیحات(انگلیسی)

Formal Verification: An Essential Toolkit for Modern VLSI Design, Second Edition presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these techniques into their work. Formal Verification (FV) enables a designer to directly analyze and mathematically explore the quality or other aspects of a Register Transfer Level (RTL) design without using simulations. This can reduce time spent validating designs and more quickly reach a final design for manufacturing. Building on a basic knowledge of SystemVerilog, this book demystifies FV and presents the practical applications that are bringing it into mainstream design and validation processes.

Every chapter in the second edition has been updated to reflect evolving FV practices and advanced techniques. In addition, a new chapter, Formal Signoff on Real Projects, provides guidelines for implementing signoff quality FV, completely replacing some simulation tasks with significantly more productive FV methods. After reading this book, readers will be prepared to introduce FV in their organization to effectively deploy FV techniques that increase design and validation productivity.

دیگران دریافت کرده‌اند

سایر کتاب‌های ناشر

ارتباطات بی سیم ۲۰۲۴
Wireless Communications 2024

از: قیمت اصلی 200,000 تومان بود.قیمت فعلی 129,000 تومان است.

✨ ضمانت تجربه خوب مطالعه

بازگشت کامل وجه

در صورت مشکل، مبلغ پرداختی بازگردانده می شود.

دانلود پرسرعت

دانلود فایل کتاب با سرعت بالا

ارسال فایل به ایمیل

دانلود مستقیم به همراه ارسال فایل به ایمیل.

پشتیبانی ۲۴ ساعته

با چت آنلاین و پیام‌رسان ها پاسخگو هستیم.

ضمانت کیفیت کتاب

کتاب ها را از منابع معتیر انتخاب می کنیم.