مشخصات کتاب

Hardware Design Verification: Simulation and Formal Method-Based Approaches

ویرایش: 1 
نویسندگان: William K. Lam  
سری:  
ISBN (شابک) : 9780137010929, 0137010923 
ناشر: Prentice Hall 
سال نشر: 2008 
تعداد صفحات: 0 
زبان: English 
فرمت فایل : CHM (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 مگابایت 

در صورت تبدیل فایل کتاب Hardware Design Verification: Simulation and Formal Method-Based Approaches به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب تأیید طراحی سخت افزار: شبیه سازی و رویکردهای مبتنی بر روش رسمی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

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

همانطور که طرح های منطق دیجیتال بزرگتر و پیچیده تر می شوند، تأیید عملکرد به گلوگاه شماره یک در فرآیند طراحی تبدیل شده است. کاهش زمان تأیید برای موفقیت پروژه بسیار مهم است، با این حال بسیاری از مهندسان شاغل آموزش رسمی کمی در راستی‌آزمایی گذرانده‌اند و در معرض جدیدترین راه‌حل‌ها قرار نگرفته‌اند. راستی‌آزمایی طراحی سخت‌افزار به‌طور سیستماتیک ارزشمندترین تکنیک‌های تأیید مبتنی بر شبیه‌سازی و تأیید رسمی امروزی را ارائه می‌کند، و به مهندسان آزمایش و طراحی کمک می‌کند تا بهترین رویکرد را برای هر پروژه انتخاب کنند، به سرعت به طرح‌های خود اطمینان پیدا کنند و با سرعت بسیار بیشتری به سمت ساخت حرکت کنند. دانشجویان کالج متوجه خواهند شد که پوشش اصول راستی‌آزمایی و شیوه‌های رایج صنعت به آن‌ها کمک می‌کند تا برای مشاغل به‌عنوان مهندسان تأیید اعتبار آینده آماده شوند. نویسنده ویلیام کی لام، یکی از کارشناسان برجسته جهان در تأیید طراحی، برنده اخیر جایزه رئیس برای نوآوری است. ، معتبرترین جایزه دستاورد فنی 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.

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Science Discoveries on the Net: An Integrated Approach (Teacher Ideas Press)

دانلود کتاب Fluorescence Diagnosis and Photodynamic Therapy of Skin Diseases: Atlas and Handbook

دانلود کتاب Nanolithography and Patterning Techniques in Microelectronics (Woodhead Publishing in Materials)

دانلود کتاب Геометрия. 9 класс

دانلود کتاب Dit kan ook een goede tijd zijn