مشخصات کتاب

Equivalence checking of digital circuits : fundamentals, principles, methods

ویرایش:  
نویسندگان: Paul Molitor,  Janett Mohnke  
سری:  
ISBN (شابک) : 140202603X, 9781402026034 
ناشر: Kluwer Academic Publishers  
سال نشر: 2004 
تعداد صفحات: 256 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 11 مگابایت 

در صورت تبدیل فایل کتاب Equivalence checking of digital circuits : fundamentals, principles, methods به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب بررسی هم ارزی مدارهای دیجیتال: مبانی، اصول، روش ها

راستی‌آزمایی سخت‌افزاری فرآیند بررسی انطباق طرح با ویژگی‌های عملکرد و زمان‌بندی آن است. در فرآیندهای طراحی امروزی اهمیت آن بیشتر و بیشتر می شود. مدارهای مجتمع (VLSI) در مقیاس بسیار بزرگ و سیستم‌های دیجیتال حاصل تقریباً در تمام زمینه‌های زندگی ما، حتی در برنامه‌های حساس امنیتی، جایگاهی را به خود اختصاص داده‌اند. سیستم های پیچیده دیجیتال کنترل هواپیماها، در بانک ها و در بخش های مراقبت های ویژه استفاده شده است. از این رو، تقاضا برای طراحی های بدون خطا بیش از هر زمان دیگری مهم است. علاوه بر این، دلایل اقتصادی نیز بر این تقاضا تأکید دارد. فرآیند طراحی و تولید مدارهای VLSI امروزی بسیار زمان بر و هزینه بر است. علاوه بر این، تعمیر مدارهای مجتمع تقریباً غیرممکن است. بنابراین، تشخیص خطاهای طراحی در مراحل اولیه طراحی و نه فقط پس از تولید تراشه نمونه مطلوب است. همه این حقایق توسط آمار توسعه و تولید شرکت های امروزی منعکس می شود. به عنوان مثال، In?neon Technologies [118] فرض کرد که حدود 60% تا 80% از زمان کلی طراحی برای تایید در سال 2000 صرف شده است. سایر منابع به نسبت تعداد سر 3 به 1 بین مهندسین تایید و تایید اشاره می کنند. طراحان منطق این نشان می‌دهد که تأیید صحت منطقی طراحی سیستم‌های سخت‌افزاری دروازه بزرگی برای مشکل زمان به بازار است (ر.ک. [113]). با افزایش مداوم پیچیدگی تراشه، دشواری و همچنین میزان تأیید عملکردی طرح‌های محصول جدید افزایش یافته است. به دست آوردن طرح های بدون خطا نه تنها مهم تر است.

توضیحاتی درمورد کتاب به خارجی

Hardware veri?cation is the process of checking whether a design conforms to its speci?cations of functionality and timing. In today’s design processes it becomes more and more important. Very large scale integrated (VLSI) circuits and the resulting digital systems have conquered a place in almost all areas of our life, even in security sensitive applications. Complex digital systems control airplanes, have been used in banks and on intensive-care units. Hence, the demand for error-free designs is more important than ever. In addition, economic reasons underline this demand as well. The design and production process of present day VLSI-circuits is highly time- and cost-intensive. Mo- over, it is nearly impossible to repair integrated circuits. Thus, it is desirable to detect design errors early in the design process and not just after producing the prototype chip. All these facts are re?ected by developing and prod- tion statistics of present day companies. For example, In?neon Technologies [118] assumed that about 60% to 80% of the overall design time was spent for veri?cation in 2000. Other sources cite the 3-to-1 head count ratio between veri?cation engineers and logic designers. This shows that verifying logical correctness of the design of hardware systems is a major gate to the problem of time-to-market (cf. [113]). With the chip complexity constantly increasing, the dif?culty as well as the - portance of functional veri?cation of new product designs has been increased. It is not only more important to get error-free designs.

فهرست مطالب

Introduction....Pages 1-6
Preliminaries....Pages 9-22
Representation of Boolean and Pseudo Boolean Functions....Pages 23-65
Use of Canonical Data Structures....Pages 71-97
SAT and ATPG Based Equivalence Checking....Pages 99-130
Exploiting Similarities....Pages 131-143
Checking Equivalence for Partial Implementations....Pages 145-167
Permutation Independent Boolean Comparison....Pages 169-204
Formal Basics....Pages 209-226
The Latch Correspondence Problem....Pages 227-239

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

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

دانلود کتاب DevOps Culture and Practice with OpenShift: Deliver continuous business value through people, processes, and technology

دانلود کتاب Lonely Planet Pocket Reykjavik and Southwest Iceland

دانلود کتاب

دانلود کتاب CompTIA Cloud Essentials+ study guide : Exam CLO-002

دانلود کتاب Crooked, but Never Common: The Films of Preston Sturges