دانلود کتاب Hardware Design Verification: Simulation and Formal Method-Based Approaches

ترجمه فارسی توضیحات (ترجمه ماشینی)

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

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

Hardware Design Verification: Simulation and Formal Method-Based Approaches

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.