دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Hardware Design Verification: Simulation and Formal Method-Based Approaches
دانلود کتاب تأیید طراحی سخت افزار: شبیه سازی و رویکردهای مبتنی بر روش رسمی
مشخصات کتاب
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 مگابایت
قیمت کتاب (تومان) : 39,000
در صورت تبدیل فایل کتاب 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.
نظرات کاربران
کتاب های تصادفی
