دانلود کتاب Formal Hardware Verification: Methods and Systems in Comparison (به فارسی: راستی‌آزمایی سخت‌افزار رسمی: روش‌ها و سیستم‌ها در مقایسه) نوشته شده توسط «Scott Hazelhurst – Carl-Johan H. Seger (auth.) – Thomas Kropf (eds.)»
اطلاعات کتاب راستی‌آزمایی سخت‌افزار رسمی: روش‌ها و سیستم‌ها در مقایسه
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Scott Hazelhurst – Carl-Johan H. Seger (auth.) – Thomas Kropf (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1997
تعداد صفحه: 376
حجم کتاب: 4 مگابایت
کد کتاب: 3540634754 , 9783540634751
نوبت چاپ: 1
توضیحات کتاب راستی‌آزمایی سخت‌افزار رسمی: روش‌ها و سیستم‌ها در مقایسه
این تک نگاری پیشرفته یک بررسی منسجم از انواع روش ها و سیستم ها برای تأیید صحت سخت افزار رسمی ارائه می دهد. این بر ارائه رویکردهایی تأکید دارد که به ابزارها و سیستم‌های قابل استفاده برای تأیید واقعی مدارهای غیر ضروری تبدیل شده‌اند. در مجموع، این کتاب یک بررسی معرف و ساختار یافته در مورد موفقیت و پتانسیل آینده روش های رسمی در اثبات صحت مدارها است. فصول مختلف رویکردهای مربوطه را با ارائه مبانی نظری و همچنین با در نظر گرفتن دیدگاه کاربرد توصیف می کنند. با استفاده از تمام روش‌ها و سیستم‌های ارائه‌شده در مجموعه مشابهی از نمونه‌های راستی‌آزمایی سخت‌افزاری IFIP WG10.5، یک تحلیل ارزشمند و منصفانه از نقاط قوت و ضعف رویکردهای مختلف ارائه می‌شود.
This state-of-the-art monograph presents a coherent survey of a variety of methods and systems for formal hardware verification. It emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verification of nontrivial circuits. All in all, the book is a representative and well-structured survey on the success and future potential of formal methods in proving the correctness of circuits. The various chapters describe the respective approaches supplying theoretical foundations as well as taking into account the application viewpoint. By applying all methods and systems presented to the same set of IFIP WG10.5 hardware verification examples, a valuable and fair analysis of the strenghts and weaknesses of the various approaches is given.
دانلود کتاب «راستی‌آزمایی سخت‌افزار رسمی: روش‌ها و سیستم‌ها در مقایسه»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.