دانلود کتاب 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.





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

دانلود کتاب Basic clinical neuroscience

دانلود کتاب Interpretation of canine and feline cytology

دانلود کتاب Ultrasound in Obstetrics And Gynecology: Textbook and Atlas, Volume 2 - Gynecology

دانلود کتاب Atlas of Aesthetic Breast Surgery

دانلود کتاب Paravasation von Zytostatika: Ein Kompendium für Prävention und Therapie

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

دانلود کتاب C# Programming: From Problem Analysis to Program Design, 3rd Edition

دانلود کتاب Programming Social Applications: Building Viral Experiences with OpenSocial, OAuth, OpenID, and Distributed Web Frameworks

دانلود کتاب ASP.NET 3.5 For Dummies

دانلود کتاب Effective C++: 55 Specific Ways to Improve Your Programs and Designs (3rd Edition)

دانلود کتاب Problem Solving with C++, 7th Edition

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

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

دانلود کتاب More Concise Algebraic Topology: Localization, Completion, and Model Categories (Chicago Lectures in Mathematics)

دانلود کتاب Mathematics for the Trades: A Guided Approach

دانلود کتاب The Laplace Transformation (Lectures on applied mathematics volume 1)

دانلود کتاب Contemporary Business Mathematics for Colleges, 15th edition

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

دانلود کتاب Upgrading and Repairing PCs, w. CD-ROM

دانلود کتاب Lipid Nanocarriers in Cancer Diagnosis and Therapy

دانلود کتاب Ordered Polymeric Nanostructures at Surfaces

دانلود کتاب Industrial Sprays and Atomization: Design, Analysis and Applications

دانلود کتاب HPLC of Peptides and Proteins: Methods and Protocols

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

دانلود کتاب Thematic Guide to Biblical Literature

دانلود کتاب Christ and Culture (Challenges in Contemporary Theology)

دانلود کتاب The Baptism and Gifts of the Spirit

دانلود کتاب Confucianism

دانلود کتاب New Testament Introduction

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

دانلود کتاب Self-Therapy: A Step-By-Step Guide to Creating Wholeness and Healing Your Inner Child Using IFS, A New, Cutting-Edge Psychotherapy

دانلود کتاب The Kāma-Sūtra: Erotic figures in Indian art

دانلود کتاب The Ultimate Teaching Manual: A Route to Success for Beginning Teachers

دانلود کتاب Basic Statistics for the Behavioral Sciences, 6th Edition

دانلود کتاب Identity, Motivation and Autonomy in Language Learning (Second Language Acquisition)

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

دانلود کتاب The Matter of the Page: Essays in Search of Ancient and Medieval Authors (Wisconsin Studies in Classics)

دانلود کتاب The Second World War, Volume 2: Their Finest Hour

دانلود کتاب US Army Infantry Divisions 1944-45

دانلود کتاب Thompson Submachune Gun

دانلود کتاب Algeria Since 1989: Between Terror and Democracy (Global History of the Present)

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

دانلود کتاب Edible And Medicinal Plants

دانلود کتاب Reviews of Physiology, Biochemistry and Pharmacology

دانلود کتاب Flora of Kamtchatka and adjacent islands

دانلود کتاب Elite Cultures: Anthropological Perspectives

دانلود کتاب Non-marine algae of Africa. A bibliography (1799-2010).

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

دانلود کتاب The Economist - 18 August 2001

دانلود کتاب Contemporary Marketing

دانلود کتاب The Economist - 08 December 2001

دانلود کتاب Harvard Business Review - June 2009

دانلود کتاب Inventory Control and Management, 2nd Edition

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

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

دانلود کتاب Teach Yourself Visually Knitting Design: Working from a Master Pattern to Fashion Your Own Knits

دانلود کتاب Innovations in Hospice Architecture

دانلود کتاب Effective Teaching with Internet Technologies: Pedagogy and Practice

دانلود کتاب Smiley's Workshop for AVR

کتاب های حقوق

دانلود کتاب Atiyah's accidents, compensation and the law

دانلود کتاب The Philosophy of Law: An Encyclopedia (Garland Reference Library of the Humanities) (2 Volumes)

دانلود کتاب Unsolved Crimes (Criminal Investigations)

دانلود کتاب A criminal history of mankind

دانلود کتاب Forensic Evidence: Science and the Criminal Law

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

دانلود کتاب Political Communication Bundle: An Introduction to Political Communication (Communication and Society)

دانلود کتاب The Democracy Deficit: Taming Globalization Through Law Reform

دانلود کتاب TITANIC A Screenplay By James Cameron

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

دانلود کتاب Inside Out Advanced: Workbook with Key