Logic Synthesis and Verification Algorithms

دانلود کتاب Logic Synthesis and Verification Algorithms

عنوان فارسی :

دانلود کتاب سنتز منطقی و الگوریتم های تایید

عنوان انگلیسی :

زبان : English

موضوع : Mathematics->Discrete Mathematics

نویسندگان : Gary D. Hachtel Fabio Somenzi

ناشر :

ISBN (شابک) : 0792397460, 9780792397465, 9780306475924

تعداد صفحات : 568\568

سال نشر :      ویرایش : 1

حجم : 40 MB       فرمت : pdf

قیمت : 4000 تومان

خلاصه کتاب به فارسی (ترجمه خودکار و سیستمی) و خارجی:
سنتز منطقی و الگوریتم های تایید یک کتاب درسی است که برای دوره های سنتز منطقی VLSI و تایید، اتوماسیون طراحی، CAD و ریاضیات گسسته سطح پیشرفته طراحی شده است. این همچنین به عنوان یک کار مرجع اساسی در اتوماسیون طراحی برای حرفه ای ها و دانش آموزان عمل می کند. سنتز منطقی و الگوریتم های تایید در مورد مبانی نظری VLSI (مدارهای یکپارچه مقیاس بسیار بزرگ) است. این ترکیب و ادغام تحولات مدرن در سنتز منطق و تایید رسمی با موضوع سنتی تر سوئیچینگ و نظریه اتوماتیک محدود است. این کتاب همچنین حاوی مطالب پس زمینه بر روی جبر بولی و ریاضیات گسسته است. یک ویژگی منحصر به فرد از این متن، مجموعه ای بزرگ از مشکلات حل شده است. در طول متن، الگوریتم هایی که تحت پوشش قرار می گیرند، موضوع یک یا چند مشکل بر اساس استفاده از برنامه های سنتز موجود هستند.

خلاصه کتاب به زبان اصلی :

Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced level discrete mathematics. It also serves as a basic reference work in design automation for both professionals and students. Logic Synthesis and Verification Algorithms is about the theoretical underpinnings of VLSI (Very Large Scale Integrated Circuits). It combines and integrates modern developments in logic synthesis and formal verification with the more traditional matter of Switching and Finite Automata Theory. The book also provides background material on Boolean algebra and discrete mathematics. A unique feature of this text is the large collection of solved problems. Throughout the text the algorithms covered are the subject of one or more problems based on the use of available synthesis programs.





کتاب های پزشکی

دانلود کتاب Quick Reference Dictionary of Eyecare Terminology

دانلود کتاب diFiore's Atlas of Histology with Functional Correlations (Point (Lippincott Williams & Wilkins))

دانلود کتاب Anatomy of Hatha Yoga: A Manual for Students, Teachers, and Practitioners

دانلود کتاب Biomagnetic Stimulation

دانلود کتاب Anatomy of the Ship - Essex

کتاب های کامپیوتر

دانلود کتاب IMAGE SEGMENTATION

دانلود کتاب IPhone SDK 3 Programming: Advanced Mobile Development for Apple IPhone and IPod Touch

دانلود کتاب PHP 5 CMS Framework Development, 2nd Edition

دانلود کتاب Embedded C Programming and the Atmel AVR, 2nd Edition

دانلود کتاب C++ Coding Standards: 101 Rules, Guidelines, and Best Practices

کتاب های ریاضی

دانلود کتاب Algebra: Form and Function

دانلود کتاب Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies

دانلود کتاب Multirate and Wavelet Signal Processing

دانلود کتاب Handbook of the History of Logic. Volume 05: Logic from Russell to Church

دانلود کتاب Precalculus with Limits

کتاب های تکنولوژی

دانلود کتاب Design and Analysis of Composite Structures: With Applications to Aerospace Structures

دانلود کتاب Manufacturing Technology Research, Volume 1

دانلود کتاب Restoring Antiques

دانلود کتاب Composite Materials in Aerospace Design

دانلود کتاب MIG Welding Guide (Woodhead Publishing in Materials)

کتاب های مذهبی

دانلود کتاب Augustine (Blackwell Great Minds)

دانلود کتاب Philosophizing the Everyday: Revolutionary Praxis and the Fate of Cultural Theory (Marxism and Culture)

دانلود کتاب Slavery, Sabbath, War and Women: Case Issues in Biblical Interpretation (Conrad Grebel Lecture)

دانلود کتاب Systematic Theology: An Introduction to Biblical Doctrine

دانلود کتاب He Chose the Nails: What God Did to Win Your Heart

کتاب های فیزیولوژی

دانلود کتاب Reading and Dyslexia in Different Orthographies

دانلود کتاب Statistics without maths for psychology

دانلود کتاب The Body Myth: Adult Women and the Pressure to be Perfect

دانلود کتاب Desperately Seeking Madonna/Adam Sexton

دانلود کتاب Hypnosis for Chronic Pain Management: Therapist Guide

کتاب های تاریخی

دانلود کتاب Splendeur des Uniformes de Napoléon: Infanterie et Régiments étrangers

دانلود کتاب Knives and Swords: A Visual History

دانلود کتاب Warfare in the Seventeenth Century

دانلود کتاب Sea Eagles Volume One: Luftwaffe Anti-Shipping Units 1939-1941 (Luftwaffe Colours)

دانلود کتاب Paras Versus the Reich: Canada's Paratroopers at War, 1942-45

کتاب های زیست شناسی

دانلود کتاب Visual Methods in Social Research

دانلود کتاب Biological Petri Nets - Volume 162 Studies in Health Technology and Informatics

دانلود کتاب German Heavy Cruisers 1939-45

دانلود کتاب Ami yarn plants. Crocheted Accessories

دانلود کتاب Multivariable Analysis: A Practical Guide for Clinicians and Public Health Researchers

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

دانلود کتاب Management Accounting for Decision Makers, 5th Edition

دانلود کتاب Architectural Management

دانلود کتاب The Economist - 20 January 2001

دانلود کتاب Corporate Value of Enterprise Risk Management: The Next Step in Business Management

دانلود کتاب

کتاب های آموزشی

دانلود کتاب Modern naval combat

دانلود کتاب Innovation in Architecture: A Path to the Future

دانلود کتاب Workbook Beginner. Enterprise 1

دانلود کتاب Sewing for Beginners: learn to Sew with Free Sewing Patterns Шитье для начинающих

دانلود کتاب Proceedings 10th international congress of world equine veterinary association /Сборник материалов 10-го всемирного конского конгресса

کتاب های حقوق

دانلود کتاب Law and globalization from below

دانلود کتاب Law and Society in Vietnam: The Transition from Socialism in Comparative Perspective

دانلود کتاب The Right Not to be Criminalized (Applied Legal Philosophy)

دانلود کتاب The Essential Law Dictionary (Sphinx Dictionaries)

دانلود کتاب The Encyclopedia Of International Organized Crime (Facts on File Crime Library)

کتاب های علوم انسانی

دانلود کتاب Geopolitics: A Guide to the Issues (Contemporary Military, Strategic, and Security Issues)

دانلود کتاب Catholicism: The Story of Catholic Christianity

دانلود کتاب New Illustrated Treasury of Disney Songs

دانلود کتاب Culture, Class, Distinction

دانلود کتاب In His Own Write