کتاب الکترونیکی

تأیید طراحی سخت افزار: شبیه سازی و رویکردهای مبتنی بر روش رسمی

Hardware Design Verification: Simulation and Formal Method-Based Approaches

دانلود کتاب Hardware Design Verification: Simulation and Formal Method-Based Approaches (به فارسی: تأیید طراحی سخت افزار: شبیه سازی و رویکردهای مبتنی بر روش رسمی) نوشته شده توسط «William K. Lam»

اطلاعات کتاب تأیید طراحی سخت افزار: شبیه سازی و رویکردهای مبتنی بر روش رسمی

موضوع اصلی: 1

نوع: کتاب الکترونیکی

ناشر: Prentice Hall

نویسنده: William K. Lam

زبان: English

فرمت کتاب: chm (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2008

تعداد صفحه: 624

حجم کتاب: 7 مگابایت

کد کتاب: 9780137010929 , 0137010923

نوبت چاپ: 1

توضیحات کتاب تأیید طراحی سخت افزار: شبیه سازی و رویکردهای مبتنی بر روش رسمی

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

As digital logic designs grow larger and more complex, functional verification has become the number one bottleneck in the design process. Reducing verification time is crucial to project success, yet many practicing engineers have had little formal training in verification, and little exposure to the newest solutions. Hardware Design Verification systematically presents today’s most valuable simulation-based and formal verification techniques, helping test and design engineers choose the best approach for each project, quickly gain confidence in their designs, and move into fabrication far more rapidly. College students will find that coverage of verification principles and common industry practices will help them prepare for jobs as future verification engineers.Author William K. Lam, one of the world’s leading experts in design verification, is a recent winner of the Chairman’s Award for Innovation, Sun Microsystems’ most prestigious technical achievement award. Drawing on his wide-ranging experience, he introduces the foundational principles of verification, presents traditional techniques that have survived the test of time, and introduces emerging techniques for today’s most challenging designs. Throughout, Lam emphasizes practical examples rather than mathematical proofs; wherever advanced math is essential, he explains it clearly and accessibly.

دانلود کتاب «تأیید طراحی سخت افزار: شبیه سازی و رویکردهای مبتنی بر روش رسمی»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان